Predicate logic with rule composition
Clone or download

README.md