slovodefinícia
lambda prolog
(foldoc)		Lambda Prolog

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)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4