Knowledge representation and reasoning is the foundation of artificial intelligence, declarative ...