Title: Algebraic and Logic Programming