Title: Programming Language Implementation and Logic Programming