Comment by anonzzzies

λProlog or Prolog? Probably Prolog I guess?