I

IDP-Z3

Project ID: 11137269

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