Implementation of Prolog as Binary Definite Programs.

Bart Demoen, Andr Marin

Browse the full LPAR paper archive.