Micro-prolog, programmer en logique — Frank G. MacCabe, Keith L. Clark