抄録
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 Publication | Berlin, West Ger |
出版社 | Springer-Verlag |
ページ | 73-87 |
ページ数 | 15 |
ISBN(印刷版) | 3540119809 |
出版ステータス | Published - 1983 |
外部発表 | はい |
ASJC Scopus subject areas
- 工学(全般)