Skip to main content
SpringerLink
Log in

TDProlog: An extended Prolog with term description

  • Conference paper
  • First Online:
Logic Programming '85 (LP 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 221))

Included in the following conference series:

  • 138 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  • Bowen DL(ed.), Byrd L, Pereira LM, Warren DHD (1983) DECsystem-10 PROLOG User's Manual, Dept. of Artificial Intelligence, Univ. of Edinburgh

    Google Scholar 

  • Nakashima H (1982) Prolog/KR — Language Features, Proc. of the First International Logic Programming Conf., pp. 65–70

    Google Scholar 

  • Nakashima H (1984) Term Description, Proc. of the Logic Programming Conference '84 (in Japanese)

    Google Scholar 

  • Nakashima H (1985a) Uranus Reference Manual, Research Memorandum 85-1, Information Processing Group, Electrotechnical Laboratory

    Google Scholar 

  • Nakashima H (1985b) Term Description: A Simple Powerful Extension to Prolog Data Structures, Proc. of IJCAI-IX

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Language Processing Section, Computer Science Division ElectroTechnical Laboratory, Ibaraki, Japan

    Satoru Tomura

Authors
  1. Satoru Tomura
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eiiti Wada

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tomura, S. (1986). TDProlog: An extended Prolog with term description. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-16479-0_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16479-1

  • Online ISBN: 978-3-540-39820-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation