Text this: Programming language implementation and logic programming :