Google

"http://www.w3.org/TR/html4/loose.dtd"> > PROLOG is a programming language using logic. My favorite PROLOG compiler is SWI-PROLOG ( http://www.swi-prolog.org).