The implementation of Prolog - Boizumault, Patrice, 1959- (Princeton series in computer science, 1993)