120
Voted
COMPSAC
1996
IEEE
15 years 7 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...