A new logical view of knowledge manipulation with PROLOG | IEEE Conference Publication | IEEE Xplore