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.
Publications
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.