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:

[email protected].