problème de syntaxe Prolog

Question

Je ne peux pas distinguer ces symboles:

= et =:=

\= et =\=

[X,Y] et [X|Y]

Quelle est la différence?

Answer 1

Pour les opérateurs de comparaison (=, =:=, \=, =\=):

• = réussit si les conditions unify (essentiellement, si elles sont liées entre elles)
• =:= réussit si les valeurs de la les termes sont égaux (devraient être équivalents à = si vous traitez des nombres, je crois)
• \= est la négation de =
• =\= est la négation de =:=

Pour plus d'informations sur ces opérateurs et plus, voir this page.

Pour les opérateurs de liste, [X|Y] est un moyen de faire référence à une liste où X est le premier élément et Y est la liste des éléments restants. [X, Y] est juste une autre façon de se référer à cela, mais il limite Y à être un seul élément, au lieu d'éventuellement une liste complète d'entre eux. Pour plus d'informations, voir this section of the same page.