prolog

6calore

5risposta

Intersezione di due elenchi senza elementi duplicati in Prolog

Ho bisogno di scrivere un programma che trovi l'intersezione di due liste. Non posso usare i tagli e non ci dovrebbero essere elementi duplicati nella lista dei risultati. Questo è il mio codice: inte

5calore

1risposta

Vincolo non propagato all'istanziazione dei membri dell'elenco

Sto costruendo un parser e un generatore per date e orari. In un normale linguaggio di programmazione questi sarebbero scritti separatamente. In Prolog + CLP (FD) posso scrivere un predicato che fa en

5calore

1risposta

prologo ottenere un termine da un composto

ottengo questo termine composto: e(currentNode,"http://localhost:9000/") Come posso ottenere solo http://localhost:9000/ separatamente da quello composto? O meno, c'è un modo per trasformare il term

5calore

2risposta

Come implementare la logica Horn pienamente dichiarativa?

Vorrei formalizzare alcune conoscenze ed eseguire query in quello che può essere definito come completamente dichiarativo Horn logic (o Prologo pienamente dichiarativo). Qualcuno potrebbe fornire alcu

6calore

1risposta

Qual è la differenza tra _ e _variable in prolog?

Ho riscontrato un sacco di problemi con un valore letterale che inizia con un _ come _Peter. Così che cosa esattamente sarebbe la differenza tra: good(_,_). e good(_,_Peter). Grazie per aver risposto

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

Visualizzare un elenco nel suo formato 'raw' ./2

È possibile visualizzare un elenco Prolog nel suo formato ./2, ad es. per la lista: | ?- L=[a,b,c]. L = [a,b,c] ? yes C'è un mezzo per visualizzare: L = .(a, .(b, .(c, []))).

5calore

1risposta

Qual è la differenza tra "false" e "no" in Prolog

Ho iniziato a imparare Prolog seguendo il libro Programming in Prolog: Using the ISO Standard. A pagina 7 del intro alla lingua hanno fatto l'affermazione: "In Prolog la risposta non viene usato per i

7calore

4risposta

In che modo questa grammatica libera dal contesto utilizza gli elenchi di differenze nel funzionamento di Prolog?

Sto leggendo questo tutorial sul contesto grammatiche gratuiti a Prolog, e parlare in fondo alla pagina l'implementazione di una grammatica libera dal contesto in Prolog utilizzando gli elenchi di dif

5calore

2risposta

Prolog: funzione mancante?

Qualsiasi programmatore con una certa esperienza in Prolog conosce i vantaggi dell'uso notazione unaria per i numeri. Con l'esempio, se rappresentiamo un numero come elenco di 1" ('4' è la lista '[1,1