A logic database system with extended functionality | IEEE Conference Publication | IEEE Xplore