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.

Loading...

This page contains content from the copyrighted Wikipedia article "ΛProlog"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.