A strongly typed Prolog-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: .