Personal playground for logic programming