I

IDP-Z3

IDP-Z3 is a software collection implementing the Knowledge Base paradigm using the FO(.) language.