iso-prolog

5calore

2risposta

In Prolog, l'unificazione X = [1|X] è un modo sano per ottenere una lista infinita di quelli? SWI-Prolog non ha alcun problema con esso, ma GNU Prolog si blocca semplicemente. So che nella maggior par

5calore

1risposta

Argomenti di errore Prolog

Mi chiedo come aggiungere la verifica degli errori in Prolog. Per esempio Ho un programma che troverà per quanto tempo una lista è: listlen([],0). listlen([_|T],N) :- listlen(T,X), N is X+1

13calore

2risposta

Perché le parentesi tonde non sono necessarie per gli atomi che sono operatori con priorità alta?

Nel testo anziane si incontrano frequentemente dichiarazioni dell'esercente come la seguente: ?- op(1200,fx,(:-)). ^^ Queste parentesi tonde utilizzati siano necessarie. Ma oggi non sono più

5calore

1risposta

Testing predicato "ordine sicura termine"

In una recente interrogazione (How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?) @false chiesto un'implementazione del termine ordinamento predicato lt/2, una

17calore

2risposta

Unione di due serie variabili

Dato due elenchi di variabili, qual è il modo più compatto e canonico in ISO Prolog per determinare l'unione di entrambi? Cioè, vogliamo una definizione per la (meta-logico) predicati varset_union(Var

8calore

2risposta

usi legittimi (\ +) // 1

Nelle regole grammaticali (dcg), ci sono diversi costrutti predefiniti: (',')//2 significato concatenazione, ('|')//2 significato alternanza ecc Un costrutto che è supportato da più ma non tutti i sis

7calore

3risposta

Estensione al CFG, che cos'è?

Si consideri la seguente estensione alle grammatiche context-free che consente alle regole di avere sul lato sinistro, uno (o più) terminale sul lato destro del non-terminale. Cioè, le regole della fo

18calore

2risposta

Prolog: clausole non sono insieme nella sorgente file

ho questo pezzo di codice: % Family tree female(pen). male(tom). male(bob). female(liz). female(pat). female(ann). male(jim). parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(b

7calore

1risposta

Termini Hilog in (XSB) Prolog

I termini Hilog (cioè i composti che hanno come termini arbitrari dei funtori) sono ancora considerati una caratteristica potente in XSB Prolog (o in qualsiasi altro Prolog)? Esistono attualmente molt

14calore

1risposta

Verificare che il termine sia un elenco di variabili distinte

Qual è il modo più compatto e canonico in ISO Prolog per verificare un elenco di variabili distinte? Chiamiamo questo predicato meta-logico is_varset/1. Quindi dovrebbe riuscire se il suo argomento è