A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
MegaLog — A platform for developing knowledge base management systems
[chapter]
Logic Programming and Automated Reasoning
This is an overvic~w of McgaLog -a platform on which nezt generation Knowledge/Dala Base Management Systems could be built. To achieve this purpose, th.e requirements of object oriented and of deductive K/DBMSs were considered in the design of MegaLog, and feaiures to support them efliciexllu were built into it. This is indeed an assertion that there is no contradiction in the fundamental principles on which ihese two types of Ii/DBMS rest. On the contrary, there are many important elements in.
doi:10.1007/bfb0013086
dblp:conf/lpar/BoccaDF92
fatcat:tuoyorjpyvd6xi2kzkxrnrutwa