Edinburgh Prolog
Port
C-Prolog (5860)