idp-engine 0.8.1

IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the FO(.) language and a Z3 SMT solver.

idp-engine is the core component of IDP-Z3, a software collection implementing the Knowledge Base paradigm using the FO(.) language. FO(.) is First Order logic, extended with definitions, types, arithmetic, aggregates and intensional objects. The idp-engine uses the Z3 SMT solver as a back-end.

It is developed by the Knowledge Representation group at KU Leuven in Leuven, Belgium, and made available under the GNU LGPL v3 License.

See more information at www.IDP-Z3.be.

Installation

idp_engine can be installed from pypi.org, e.g. using pip:

   pip install idp_engine

Get started

The following code illustrates how to run inferences on the IDP knowledge.

    from idp_engine import IDP, model_expand
    kb = IDP.parse("path/to/file.idp")
    T, S = kb.get_blocks("T, S")
    for model in model_expand(T,S):
        print(model)

For more information, please read the documentation.

Contribute

Contributions are welcome! The repository is on GitLab.