Que signifie le/2/3 dans prolog?

Question

Que font les /2 /3 que je vois dans l'exemple de code?

Comme celui-ci:

4 ?- trace([equals,contains]). 

% equals/2: [call, redo, exit, fail] 

% contains/2: [call, redo, exit, fail] 

En outre, Toute recommandation sur un bon tutoriel vidéo/livre que je peux revenir à plusieurs reprises serait de tant d'aide.

Answer 1

Learn Prolog Now! est un joli tutoriel.

En Prolog, les lignes commençant par '%' sont des commentaires.

equals/2 décrit un foncteur nommé equals avec l'arité de deux, ce qui signifie qu'il attend deux arguments.