lambda prolog

L l

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of lambda prolog words

noun Technical meaning of 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. Mailing list: [email protected] 1

Just one definition for lambda prolog

Information block about the term

Parts of speech for Lambda prolog

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Lambda prolog

See also

All definitions of lambda prolog

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?