ΛProlog
[fr] Lambda Prolog