TDProlog: An extended Prolog with term description
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.
KeywordsCompilation Time Term Description Horn Clause Functional Term Prolog Program
Unable to display preview. Download preview PDF.
- Bowen DL(ed.), Byrd L, Pereira LM, Warren DHD (1983) DECsystem-10 PROLOG User's Manual, Dept. of Artificial Intelligence, Univ. of EdinburghGoogle Scholar
- Nakashima H (1982) Prolog/KR — Language Features, Proc. of the First International Logic Programming Conf., pp. 65–70Google 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 LaboratoryGoogle Scholar
- Nakashima H (1985b) Term Description: A Simple Powerful Extension to Prolog Data Structures, Proc. of IJCAI-IXGoogle Scholar