https://hal.inria.fr/inria-00074283
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:56:14 PM Last modification on : Thursday, January 7, 2021 - 4:29:04 PM Long-term archiving on: : Monday, April 5, 2010 - 12:07:46 AM
Pascal Brisset, Olivier Ridoux. The Architecture of an Implementation of LambdaProlog: Prolog/Mali. [Research Report] RR-2392, INRIA. 1994. ⟨inria-00074283⟩