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

Fingerprint

PROLOG (programming language)
Computer programming languages

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Goto, S. (1983). DUAL: AN EXTENDED PROLOG LANGUAGE. In Lecture Notes in Computer Science (pp. 73-87). Berlin, West Ger: Springer-Verlag.

DUAL : AN EXTENDED PROLOG LANGUAGE. / Goto, Shigeki.

Lecture Notes in Computer Science. Berlin, West Ger : Springer-Verlag, 1983. p. 73-87.

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

Goto, S 1983, DUAL: AN EXTENDED PROLOG LANGUAGE. in Lecture Notes in Computer Science. Springer-Verlag, Berlin, West Ger, pp. 73-87.
Goto S. DUAL: AN EXTENDED PROLOG LANGUAGE. In Lecture Notes in Computer Science. Berlin, West Ger: Springer-Verlag. 1983. p. 73-87
Goto, Shigeki. / DUAL : AN EXTENDED PROLOG LANGUAGE. Lecture Notes in Computer Science. Berlin, West Ger : Springer-Verlag, 1983. pp. 73-87
@inproceedings{d5a28e7a9f5b4759b9fb767ffb4682a6,
title = "DUAL: AN EXTENDED PROLOG LANGUAGE.",
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.",
author = "Shigeki Goto",
year = "1983",
language = "English",
isbn = "3540119809",
pages = "73--87",
booktitle = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",

}

TY - GEN

T1 - DUAL

T2 - AN EXTENDED PROLOG LANGUAGE.

AU - Goto, Shigeki

PY - 1983

Y1 - 1983

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0020922903&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0020922903&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0020922903

SN - 3540119809

SP - 73

EP - 87

BT - Lecture Notes in Computer Science

PB - Springer-Verlag

CY - Berlin, West Ger

ER -