Implementing contexts in logic programming