CoffeeLog logic programming language