TDProlog: An extended Prolog with term description

  • Satoru Tomura
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)


TDProlog is an extended Prolog with a term description feature. A term description is a pair of a term and a description that the term must satisfy. Declarative and procedural semantics are given. Completeness and soundness of term description is discussed.

In TDProlog, terms are classified into three groups: term descriptions, functional terms and constructive terms. Functional term is defined as a specialized term description. TDProlog provides a way to define a functional term in term rewriting rules. The relation between term description and term rewriting system on functional terms is discussed.

The interpreter of TDProlog is given in Prolog. And TDProlog compiler written in Prolog is also explained. The compiler translates TDProlog programs into Prolog programs. The compiler can deal with mode declarations that help the compiler to execute some unifications at the compilation time.

Bench mark programs show that TDProlog programs run 2 to 5 times slower than Prolog programs and run 9 to 15 times faster than Uranus programs.


Compilation Time Term Description Horn Clause Functional Term Prolog Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bowen DL(ed.), Byrd L, Pereira LM, Warren DHD (1983) DECsystem-10 PROLOG User's Manual, Dept. of Artificial Intelligence, Univ. of EdinburghGoogle Scholar
  2. Nakashima H (1982) Prolog/KR — Language Features, Proc. of the First International Logic Programming Conf., pp. 65–70Google Scholar
  3. Nakashima H (1984) Term Description, Proc. of the Logic Programming Conference '84 (in Japanese)Google Scholar
  4. Nakashima H (1985a) Uranus Reference Manual, Research Memorandum 85-1, Information Processing Group, Electrotechnical LaboratoryGoogle Scholar
  5. Nakashima H (1985b) Term Description: A Simple Powerful Extension to Prolog Data Structures, Proc. of IJCAI-IXGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Satoru Tomura
    • 1
  1. 1.Language Processing SectionComputer Science Division ElectroTechnical LaboratoryIbarakiJapan

Personalised recommendations