Cogent prolog

A full Edinburgh standard Prolog with debugger, listener, DCG, many built-ins, text windows, support for modules, and support for both 16-bit and 32-bit protected mode.

Free Online Dictionary of Computing