NU-Prolog
The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.

No queries for www.cs.mu.oz.au/~lee/src/nuprolog