HORN CLAUSES.
Saved in:
| Title: | HORN CLAUSES. |
|---|---|
| Authors: | Jeffery, John M.1, Loho, Jorge2, Murata, Tadao2 |
| Source: | Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 9, p195-203. 9p. |
| Subjects: | Horn clauses, Computer science, Logic programming, Information technology, Computer software, Databases |
| Abstract: | The discovery of Horn clauses has made programming in logic a reality. Perhaps the most evident contribution to computer science is the logic programming language Prolog (1,13). Logic programming has matured into a field in its own right and has found applications in such diverse fields as program verification, computational biology, and databases. Deductive databases are a direct descendent of Horn logic and have had a major impact on database technology. There are two major conferences dedicated to the presentation of research work in the area: the North American Conference on Logic Programming and the International Conference of Logic Programming. There is also a journal, the Journal of Logic Programming, which recently celebrated its 25th anniversary. One can also regularly find papers in the major journals of databases, programming languages, and artificial intelligence founded in logic programming concepts. |
| Database: | Engineering Source |
Be the first to leave a comment!
