Lambda Calcul

Les lambda-termes seront représentés en Prolog de la manière suivante :

MN	$\to$	M @ N
$\lambda X.f(X)$	$\to$	$X \char93 f(X)$, où X est une variable Prolog
$\lambda Z.Z(a,b)$	$\to$	$Z \char93 Z@a@b$

La construction d'un lambda-terme se fait de manière triviale en Prolog, il suffit de l'écrire en utilisant la syntaxe précédente. Il faut ensuite pouvoir simplifier un lambda-terme (béta-réductions et construction des prédicats). Le prédicat simplifier/2 permet de simplifier un terme en faisant les béta-réductions possibles.