INCAPS,a subsystem of XYZ system,is an INteractive Computer-Assisted Proving System,The primary targets to develop it range from proving temporal logic formal
In this paper we introduced the RL project which aims to integrate logic progrmming,relationaldatabases and constraint solving in a single relational framework