follow Dictionary.com

Do you know ghouls from goblins and ghosts?

lambda prolog

lambda prolog in Technology
language
An extension of standard Prolog defined by Dale A. Miller and Gopalan Nadathur in 1986, in which terms are strongly typed lambda terms. Clauses are higher order hereditary Harrop formulas. The main novelties are universal quantification on goals and implication.
The Prolog/Mali compiler compiles Lambda Prolog for the MALI abstract memory system.
Teyjus (http://teyjus.cs.umn.edu/) is an implementation of Lambda Prolog.
Lambda Prolog home (http://cse.psu.edu/~dale/lProlog/).
Mailing list: lprolog@cs.umn.edu.
["Higher-order logic programming", Miller D.A. and Nadathur G., 3rd International Conference on Logic Programming, pp 448-462, London 1986].
[Nadathur G. "A Higher-Order Logic as a Basis for Logic Programming", Thesis, University of Pennsylvania, 1987].
(2002-10-15)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for lambda

11
14
Scrabble Words With Friends