Near-Horn Prolog (1987)

by D W Loveland
Venue:Logic Programming: Proc. of the Fourth Int’l Conf