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