Salut a tous,
Je suis nouvelle ici et j'aimerai bien avoir une aide sur l'implémentation du lambda calcul d'ordre supérieur en prolog.
Je suis débutante en Prolog et je commence a connaitre le lambda calcul, j'aimerai bien faire une implémentation du lambda calcul en prolog.
Je voudrais avoir de l'aide juste pour commencer, j'aimerai bien voir un exemple qui marche et puis je pourrais faire la suite après.
Merci a tous.
Partager