Guarded Horn Clauses (1986)
Cached
Download Links
- [www.ueda.info.waseda.ac.jp]
- [www.ueda.info.waseda.ac.jp:8080]
- DBLP
Other Repositories/Bibliography
by
Kazunori Ueda
| Citations: | 109 - 6 self |
BibTeX
@MISC{Ueda86guardedhorn,
author = {Kazunori Ueda},
title = {Guarded Horn Clauses},
year = {1986}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This thesis introduces the programming language Guarded Horn Clauses which is abbreviated to GHC. Guarded Horn Clauses was born from the examination of existing logic programming languages and logic programming in general, with special attention paid to parallelism. The main feature of
