A mirror of a tiny logic programming language