Comment by wbolt

No. It is actually λProlog which seems to be an extension of Prolog.