Source : Free On-Line Dictionary of Computing

Turbo Prolog
     
        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:
        .