Support files for PDT: Prolog Development Tools