Add GNU Prolog library