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 |
| Publisher | Springer-Verlag |
| Pages | 168-179 |
| Number of pages | 12 |
| ISBN (Print) | 9783540164791 |
| DOIs | |
| Publication status | Published - 1986 Jan 1 |
| 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 | Japan |
| City | Tokyo |
| Period | 85/7/1 → 85/7/3 |
Fingerprint
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Cite this
Guarded horn clauses. / Ueda, Kazunori.
Logic Programming '85 - Proceedings of the 4th Conference. 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
}
TY - GEN
T1 - Guarded horn clauses
AU - Ueda, Kazunori
PY - 1986/1/1
Y1 - 1986/1/1
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
PB - Springer-Verlag
ER -