This is the readme for the IDP system. IDP is a system for representing knowledge in the logic FO(.) and applying reasoning on it. FO(.) is a logic consisting of first-order logic, inductive definitions, aggregates, partial functions and arithmetic.
Out of the box, the following inferences are supported:
- grounding
- modelexpansion
- propagation
- evaluating definitions
- ...
Required software packages:
- C and C++ compiler, supporting most of the C++11 standard. Examples are GCC 4.4 or higher, clang 3.2 or visual studio 11.
- Cmake build environment.
- Bison and flex packages or yacc and lex packages.
- Pdflatex and doxygen for building the documentation. (On linux, search for the
latex2htmlpackage) - texinfo package
Assume idp is unpacked in <idpdir>, you want to build in <builddir> (cannot be the same as <idpdir>) and install in <installdir>.
Building and installing is then achieved by executing the following commands:
cd <builddir>
cmake <idpdir> -DCMAKE_INSTALL_PREFIX=<installdir> -DCMAKE_BUILD_TYPE="Release"
make -j 4
make check
make install
Alternatively, cmake-gui can be used as a graphical way to set cmake options.
For more information on using the system, see the documentation, which can be found in docs/official/idp-manual.pdf
Due to issues with the XSB library it is advised to make a clean clone of the repository before recompiling.