Title: Logic, programming, and Prolog
First published: 1990
Subjects: Logic programming, Prolog (Computer program language)