Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Lambda Prolog
Jump to user comments
language An extension of standard Prolog defined by Dale
A. Miller and Gopalan Nadathur in 1986, in which terms are
hereditary Harrop formulas. The main novelties are
The Prolog/Mali compiler compiles Lambda Prolog for the
MALI abstract memory system.
Teyjus is an implementation of
Lambda Prolog.