Lambda Prolog

(language)An extension of standard Prolog defined by DaleA. Miller and Gopalan Nadathur in 1986, in which terms arestrongly typed lambda terms. Clauses are higher orderhereditary Harrop formulas. The main novelties areuniversal quantification on goals and implication.

The Prolog/Mali compiler compiles Lambda Prolog for theMALI abstract memory system.

Teyjus is an implementation ofLambda Prolog.

Lambda Prolog home.

Mailing list: lprolog@cs.umn.edu.

["Higher-order logic programming", Miller D.A. and NadathurG., 3rd International Conference on Logic Programming, pp448-462, London 1986].

[Nadathur G. "A Higher-Order Logic as a Basis for LogicProgramming", Thesis, University of Pennsylvania, 1987].

单词	lambda prolog
释义	Lambda Prolog Lambda Prolog (language)An extension of standard Prolog defined by DaleA. Miller and Gopalan Nadathur in 1986, in which terms arestrongly typed lambda terms. Clauses are higher orderhereditary Harrop formulas. The main novelties areuniversal quantification on goals and implication. The Prolog/Mali compiler compiles Lambda Prolog for theMALI abstract memory system. Teyjus is an implementation ofLambda Prolog. Lambda Prolog home. Mailing list: lprolog@cs.umn.edu. ["Higher-order logic programming", Miller D.A. and NadathurG., 3rd International Conference on Logic Programming, pp448-462, London 1986]. [Nadathur G. "A Higher-Order Logic as a Basis for LogicProgramming", Thesis, University of Pennsylvania, 1987].
随便看	aweec a week a week ago a weekend in the city a week from next tuesday a week from today a week is a long time in politics a week last friday a week last friday etc a week last monday a week last saturday a week last sunday a week last thursday a week last tuesday a week last wednesday a week on a week on friday a week on monday a week on saturday a week on sunday a week on thursday a week on tuesday a week on wednesday a week tomorrow a week tomorrow, last monday, etc.