PROLOG is a programming language using logic. My favorite PROLOG compiler is SWI-PROLOG (
http://www.swi-prolog.org
).