The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali

Pascal Brisset, Olivier Ridoux. The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. In Workshop on Design and Impl. of Parallel Logic Programming Systems. 1994. [doi]

Abstract

Abstract is missing.