SWI-Prolog offers a comprehensive free Prolog environment.
SWI-Prolog offers a ... in 1987, SWI-Prolog development ... world applications. SWI-Prolog is