N-Prolog: An extension of Prolog with hypothetical implications. I.

D. M. Gabbay; U. Reyle

doi:10.1016/0743-1066(84)90029-3

N-Prolog: An extension of Prolog with hypothetical implications. I.

D. M. Gabbay, U. Reyle

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

109 Scopus citations

Abstract

An extension of PROLOG called N-PROLOG is presented. N-PROLOG allows hypothetical implications in the clauses. For clauses without implication, N-PROLOG acts like PROLOG. Examples are given to show the need for N-PROLOG. N-PROLOG is a self-reflecting language; it is equal to its own metalanguage. N-PROLOG is more suitable for expressing temporal behavior (change in time). Ordinary PROLOG is conceptually weaker than N-PROLOG.

Original language	English
Pages (from-to)	319-355
Number of pages	37
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	1
Issue number	4
DOIs	https://doi.org/10.1016/0743-1066(84)90029-3
State	Published - Dec 1984

Access to Document

10.1016/0743-1066(84)90029-3

Cite this

@article{34bb6850083646d49696947fd56058a1,

title = "N-Prolog: An extension of Prolog with hypothetical implications. I.",

abstract = "An extension of PROLOG called N-PROLOG is presented. N-PROLOG allows hypothetical implications in the clauses. For clauses without implication, N-PROLOG acts like PROLOG. Examples are given to show the need for N-PROLOG. N-PROLOG is a self-reflecting language; it is equal to its own metalanguage. N-PROLOG is more suitable for expressing temporal behavior (change in time). Ordinary PROLOG is conceptually weaker than N-PROLOG.",

author = "Gabbay, \{D. M.\} and U. Reyle",

year = "1984",

month = dec,

doi = "10.1016/0743-1066(84)90029-3",

language = "אנגלית",

volume = "1",

pages = "319--355",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "0743-1066",

publisher = "Elsevier Inc.",

number = "4",

}

TY - JOUR

T1 - N-Prolog

T2 - An extension of Prolog with hypothetical implications. I.

AU - Gabbay, D. M.

AU - Reyle, U.

PY - 1984/12

Y1 - 1984/12

N2 - An extension of PROLOG called N-PROLOG is presented. N-PROLOG allows hypothetical implications in the clauses. For clauses without implication, N-PROLOG acts like PROLOG. Examples are given to show the need for N-PROLOG. N-PROLOG is a self-reflecting language; it is equal to its own metalanguage. N-PROLOG is more suitable for expressing temporal behavior (change in time). Ordinary PROLOG is conceptually weaker than N-PROLOG.

AB - An extension of PROLOG called N-PROLOG is presented. N-PROLOG allows hypothetical implications in the clauses. For clauses without implication, N-PROLOG acts like PROLOG. Examples are given to show the need for N-PROLOG. N-PROLOG is a self-reflecting language; it is equal to its own metalanguage. N-PROLOG is more suitable for expressing temporal behavior (change in time). Ordinary PROLOG is conceptually weaker than N-PROLOG.

UR - https://www.scopus.com/pages/publications/0021636426

U2 - 10.1016/0743-1066(84)90029-3

DO - 10.1016/0743-1066(84)90029-3

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0021636426

SN - 0743-1066

VL - 1

SP - 319

EP - 355

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 4

ER -

N-Prolog: An extension of Prolog with hypothetical implications. I.

Abstract

Access to Document

Other files and links

Fingerprint

Cite this