DUAL: AN EXTENDED PROLOG LANGUAGE.

Shigeki Goto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science
Place of PublicationBerlin, West Ger
PublisherSpringer-Verlag
Pages73-87
Number of pages15
ISBN (Print)3540119809
Publication statusPublished - 1983
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'DUAL: AN EXTENDED PROLOG LANGUAGE.'. Together they form a unique fingerprint.

Cite this