Tags: Programming Language.
λProlog also written lambda Prolog is a logic programming language featuring polymorphic typing modular programming and higher-order programming. These extensions to Prolog are derived from the higher-order hereditary Harrop formulas used to justify the foundations of λProlog.