A strongly typedprolog-like logic programming language. 1986. It has user-defined domains. programs are arranged in sections: DOMAINS, CLAUSES, prEDICATES, DATABASE and GOAL. It is currently known as PDC prolog and is distributed by prolog Development Center, Atlanta +1 404 873 1366. E-mail: .