λProlog or Prolog? Probably Prolog I guess?
My bad. Was regular prolog yeah
No. It is actually λProlog which seems to be an extension of Prolog.
My bad. Was regular prolog yeah