Title: Knowledge Systems and Prolog
First published: January 1987