CoALP-0.0.6: Coalgebraic logic programming library
Library and command line interface implmenting CoALP
Modules