Range restriction for general formulas
Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce o...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
Universität Potsdam
2010
|
Subjects: | |
Online Access: | http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41521 http://opus.kobv.de/ubp/volltexte/2010/4152/ |