GNU prolog compiler and interpreter