Title: Application programming in Quintus Prolog
First published: 1993