4 ms·

λProlog or Prolog? Probably Prolog I guess?

• wbolt 8mo ago
  No. It is actually λProlog which seems to be an extension of Prolog.
  • anonzzzies 8mo ago
    I was responding to @TheRoque GP; I know λProlog quite well and I would be pleasantly surprised if they saw that in university, but I think they got taught Prolog. If you mean to say that they saw Lambda Prolog and it is therefor a lot more popular than I believed it to be, then excellent and ignore this reply.
  • ux266478 8mo ago
    Not at all, it's a completely different language with a very different computational foundation. It's an SML-Haskell type situation.
• TheRoque 8mo ago
  My bad. Was regular prolog yeah