TY - GEN
T1 - Guarded horn clauses
AU - Ueda, Kazunori
N1 - Publisher Copyright:
© 1986, Springer-Verlag.
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 -