Recherche:

Oui, je parlais juste de la notion de "prédicats du premier ordre" etc. On peut faire du prolog sans comprendre ça (d'aillleurs, j'en ai fait, et j'ai compris tout ce qui va avec que bien après :aie:...

Déplacé dans le forum Algorithmes car la question fait plus référence à la théorie du calcul des prédicats qu'à prolog.

Ca dépend ce que tu entends par acquis mathématique ?
Mais dès que tu fais...