Title: Beginning micro-PROLOG
First published: 1983