Turbo Prolog

1986

A Prolog-like language with strong typing and user-defined domains. Programs are arranged in sections: DOMAINS, CLAUSES, PREDICATES, DATABASE and GOAL. Currently known as PDC Prolog.