DCG interpreter in urweb