DUAL: AN EXTENDED PROLOG LANGUAGE.

Shigeki Goto

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

This paper proposes a new programming language DURAL which is an extension of the Prolog language. DURAL takes advantage of modal logic to classify clauses. The main features of DURAL are the following: 1) Modal symbols are introduced to discriminate between clauses. 2) The relative Horn clause represents the clause containing executable predicates. 3) The unit resolution as well as input resolution is adopted to facilitate debugging.

本文言語English
ホスト出版物のタイトルLecture Notes in Computer Science
Place of PublicationBerlin, West Ger
出版社Springer-Verlag
ページ73-87
ページ数15
ISBN(印刷版)3540119809
出版ステータスPublished - 1983
外部発表はい

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント 「DUAL: AN EXTENDED PROLOG LANGUAGE.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル