¿Hay una descripción del lenguaje Prolog (sintaxis y semántica) disponible en línea? Hay muchos manuales de referencia para implementaciones. Pero ninguna de esas es una descripción del lenguaje. Por
Soy nuevo en Prolog y noté que' y 'dan un comportamiento diferente, pero tengo curiosidad por saber por qué. Específicamente, al cargar un archivo, ?- ['test1.pl']. funciona, mientras que ?- ["test1.p
Supongamos que tengo las siguientes reglas: unify('test', 'this is a test').
run :- write('Enter something: '),
read(X),
unify(X, Y),
write('The answer is '), write(Y).
Y luego lo
En reglas de la gramática (dcg), hay varias construcciones predefinidas: (',')//2 significado concatenación, ('|')//2 significa alternancia etc. Una construcción que es apoyado por varios pero no todo
Considere la siguiente extensión de gramáticas libres de contexto que permite que las reglas tengan en el lado izquierdo, uno (o más) terminal en el lado derecho del no terminal. Es decir, reglas de l