Programming Languages Implementation and Logic Programming