L'opérateur de tuyau dans prolog retourne une ou plusieurs têtes atomiques et une liste de queues. ?- [a,b,c] = [a,b|[c]].
true.
pipes multiples nichant dans une seule peut être fait semblable à ce
Supposons que je les règles suivantes: unify('test', 'this is a test').
run :- write('Enter something: '),
read(X),
unify(X, Y),
write('The answer is '), write(Y).
Et puis je le l
J'ai employé le thingy de gprolog pour faire quelques choses dans le prologue. Mais maintenant, en testant un peu plus de code, j'ai découvert qu'il ne supporte pas "false". Quel est le support de swi