N'utilisez pas cette balise comme Prologue et Epilogue. Prolog est le langage de programmation logique le plus couramment utilisé. Il prend en charge la programmation non déterministe grâce à un retour en arrière chronologique et à la correspondance de modèles grâce à l'unification.
J'essaie de mettre en œuvre une routine de différence de liste dans Prolog.
Pour une raison quelconque, ce qui suit échoue: ERROR: '.'/2: Type error: `[]' expected, found ...