GNU prolog compiler and interpreter
