Title: Declarative Logic Programming