Lambda prolog



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)

Tagged:

Read Also:

  • Lambdoidal-suture

    noun, Anatomy. 1. the lambda-shaped seam or line of joining between the occipital and two parietal bones at the back part of the skull.

  • Lambdoid

    [lam-doid] /ˈlæm dɔɪd/ adjective 1. having the shape of the Greek capital lambda. /ˈlæmdɔɪd/ adjective 1. having the shape of the Greek letter lambda 2. of or denoting the suture near the back of the skull between the occipital and parietal bones lambdoid lamb·doid (lām’doid’) adj.



  • Lambdoid suture

    lambdoid suture n. The line of union between the occipital and the parietal bones of the skull.

  • Lamb down

    verb (adverb) 1. (intransitive) another term for lamb (sense 6) 2. (transitive) (Austral, informal) to persuade (someone) to spend all his money



Disclaimer: Lambda prolog definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.