IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
idp-engine is a reasoning engine for knowledge represented using the FO(.) language. FO(.) (aka FO-dot) is First Order logic, with various extensions to make it more expressive: types, equality, arithmetic, inductive definitions, 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.
idp_engine can be installed from pypi.org, e.g. using pip:
pip install idp_engine
The following code illustrates how to run inferences on a knowledge base.
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.
Contributions are welcome! The repository is on GitLab.
Release history Release notifications | RSS feed
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Hashes for idp_engine-0.10.9-py3-none-any.whl