Explore relationships

ΛProlog

λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming.

Use + to expand a branch. Click a topic name to open its summary.