A library to bring declarative & logic programming to your Java software