Title: Logic and Declarative Language