GitHub repository: AdrienChampion/hoice
Primary language: Rust
Description: A Horn Clause ICE engine.