Skip to content

Latest commit

 

History

History
38 lines (30 loc) · 1.5 KB

README.md

File metadata and controls

38 lines (30 loc) · 1.5 KB
Raw

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
  • ...

Installing and running the system

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 latex2html package)
  • 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.

Further information

For more information on using the system, see the documentation, which can be found in docs/official/idp-manual.pdf

Warning for people updating to version 3.6.0

Due to issues with the XSB library it is advised to make a clean clone of the repository before recompiling.