PROLOG: A Tutorial Introduction. - R. A. Sammut; Claude Sammut (Aust. Comput. J., 1983)

The Implementation of UNSW-PROLOG. - Claude Sammut; R. A. Sammut (Aust. Comput. J., 1983)