simple logic programming environment