Title: Logic and Programming in Logic