Title: Logic and Declarative Languages