OnlineWoerterBuecher.de
Internes

Lexikon


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 is an implementation of Lambda Prolog. Lambda Prolog home . 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)

In addition suitable contents:
[ 2 ] [ = ] [ @ ] [ ad ] [ ag ] [ ai ] [ AL ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ au ] [ B ] [ b ] [ bd ] [ bs ] [ by ] [ C ] [ ca ] [ cat ] [ ch ] [ co ] [ com ] [ compiler ] [ D ] [ de ] [ do ] [ du ] [ ed ] [ edu ] [ er ] [ es ] [ extension ] [ fi ] [ file ] [ fo ] [ for ] [ formula ] [ G ] [ ge ] [ gh ] [ gi ] [ gl ] [ Go ] [ goal ] [ gr ] [ gu ] [ h ] [ hr ] [ ht ] [ hu ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ is ] [ it ] [ la ] [ language ] [ Lex ] [ li ] [ list ] [ logic programming ] [ lpr ] [ ls ] [ lt ] [ lv ] [ ly ] [ M ] [ ma ] [ MAL ] [ MALI ] [ memory ] [ mm ] [ mn ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ mu ] [ N ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ nn ] [ no ] [ ns ] [ O ] [ om ] [ op ] [ pa ] [ pe ] [ ph ] [ pl ] [ pr ] [ program ] [ programming ] [ Prolog ] [ Prolog/Mali ] [ query ] [ rc ] [ re ] [ ro ] [ sa ] [ se ] [ si ] [ sit ] [ st ] [ standard ] [ strongly typed ] [ su ] [ sy ] [ system ] [ T ] [ tar ] [ th ] [ tp ] [ tr ] [ tron ] [ tt ] [ type ] [ ua ] [ um ] [ University of Pennsylvania ] [ us ] [ va ] [ ve ] [ ~ ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (6451 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0862 Seconds, with 16 Database-Queries
Zurück zur Startseite