Guarded horn clauses

Kazunori Ueda

doi:10.1007/3-540-16479-0_17

Guarded horn clauses

Kazunori Ueda

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

53 Citations (Scopus)

Abstract

A set of Horn clauses, augmented with a ‘guard’ mechanism, is shown to be a simple and yet powerful parallel logic programming language.

Original language	English
Title of host publication	Logic Programming '85 - Proceedings of the 4th Conference
Editors	Eiiti Wada
Publisher	Springer Verlag
Pages	168-179
Number of pages	12
ISBN (Print)	9783540164791
DOIs	https://doi.org/10.1007/3-540-16479-0_17
Publication status	Published - 1986
Externally published	Yes
Event	4th International Conference on Logic Programming, 1985 - Tokyo, Japan Duration: 1985 Jul 1 → 1985 Jul 3

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	221 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	4th International Conference on Logic Programming, 1985
Country/Territory	Japan
City	Tokyo
Period	85/7/1 → 85/7/3

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-16479-0_17

Cite this

Guarded horn clauses. / Ueda, Kazunori.

Logic Programming '85 - Proceedings of the 4th Conference. ed. / Eiiti Wada. Springer Verlag, 1986. p. 168-179 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 221 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ueda, K 1986, Guarded horn clauses. in E Wada (ed.), Logic Programming '85 - Proceedings of the 4th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 221 LNCS, Springer Verlag, pp. 168-179, 4th International Conference on Logic Programming, 1985, Tokyo, Japan, 85/7/1. https://doi.org/10.1007/3-540-16479-0_17

@inproceedings{1a897acc32fb46d4a4f4cea9b625ed00,

title = "Guarded horn clauses",

abstract = "A set of Horn clauses, augmented with a {\textquoteleft}guard{\textquoteright} mechanism, is shown to be a simple and yet powerful parallel logic programming language.",

author = "Kazunori Ueda",

note = "Publisher Copyright: {\textcopyright} 1986, Springer-Verlag.; 4th International Conference on Logic Programming, 1985 ; Conference date: 01-07-1985 Through 03-07-1985",

year = "1986",

doi = "10.1007/3-540-16479-0_17",

language = "English",

isbn = "9783540164791",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "168--179",

editor = "Eiiti Wada",

booktitle = "Logic Programming '85 - Proceedings of the 4th Conference",

}

TY - GEN

T1 - Guarded horn clauses

AU - Ueda, Kazunori

PY - 1986

Y1 - 1986

N2 - A set of Horn clauses, augmented with a ‘guard’ mechanism, is shown to be a simple and yet powerful parallel logic programming language.

AB - A set of Horn clauses, augmented with a ‘guard’ mechanism, is shown to be a simple and yet powerful parallel logic programming language.

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

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

U2 - 10.1007/3-540-16479-0_17

DO - 10.1007/3-540-16479-0_17

M3 - Conference contribution

AN - SCOPUS:85034759466

SN - 9783540164791

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 168

EP - 179

BT - Logic Programming '85 - Proceedings of the 4th Conference

A2 - Wada, Eiiti

PB - Springer Verlag

T2 - 4th International Conference on Logic Programming, 1985

Y2 - 1 July 1985 through 3 July 1985

ER -

Guarded horn clauses

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this