A combined object-oriented and logic programming tool for AI | IEEE Conference Publication | IEEE Xplore