lambda-Prolog

An extension of standard Prolog in which terms are typed lambda-terms. The Prolog/Mali compiler uses the MALI abstract memory system.