UNSW Prolog and iProlog

The first version of UNSW Prolog was written in 1979 and was one of the first Prolog interpeters to be widely available. By 1985, it was in use in about 4,000 sites around the world. Prolog compilers for large scale applications are now common, so development of UNSW has ceased.

Another Prolog interpreter, iProlog, is being used for teaching and for experimental development of new Inductive Logic Programming tools. While trying to be compatible with the ISO standard, iProlog also includes eager functional evaluation, a frame representation language, ripple-down rules for expert system development and a variety of machine learning algorithms.

The iProlog Programmer' Manual can be found here.

The source code is here.


Sammut, R. and Sammut, C. (1983). PROLOG: A Tutorial Introduction. Australian Computer Journal, 15(2), pp. 42-51.

Sammut, C. and Sammut, R.A. (1983). The Implementation of UNSW-Prolog. Australian Computer Journal, 15(2), pp. 68-64.

Sammut, C. and Pollaers, J. (1986). A Frame Based Knowledge Representation System for Prolog. Proceedings of the Ninth Australian Computer Science Conference, Canberra, pp 201-20

Sammut, C. (1997).  Using background knowledge to build multistrategy learners. Machine Learning, 27, 241-257.

Sammut, C. (1998). Prolog, Refinements and RLGG's. In D. Page (Ed.), International Conference on Inductive Logic Programming, Madison, Wisconsin: Springer-Verlag.