Turbo Prolog
(ver 1.1)
Abandonware


Borland Turbo Prolog uses a special Prolog dialect with typed
variables and some other restrictions that does not comply with
the Edinborough Standard . However, it is very fast, and
contains a convenient visual debugger.  Observing the debugger
is an excellent way to learn Prolog.