University of Melbourne - Australia - Prolog Systems. Especially MU-Prolog and NU-Prolog.