CONTE LOG

Contelog is a logical language for modeling and reasoning with contextual rules and facts, developed in the Software Engineering and Database labs at Concordia University, Montreal, Canada