The implementation of Prolog / - Boizumault, Patrice, (Princeton University Press,, 1993)