reify

How To Install Reify?

How To Install Reify?

reify

grounding tools for (disjunctive) logic programs

Maintainer: Debian Science Maintainers



Section: interpreters

Install reify

  • Debian apt-get install gringo Click to copy
  • Ubuntu apt-get install gringo Click to copy
  • Alpine OS apk add gringo Click to copy
  • Arch Linux pacman -S clingo Click to copy
  • Kali Linux apt-get install gringo Click to copy
  • Raspbian apt-get install gringo Click to copy
  • macOS brew install clingo Click to copy

gringo

grounding tools for (disjunctive) logic programs

Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. This package contains the following tools: - gringo: creates lparse-compatible variable-free programs. - clingo: stands for clasp on gringo and combines both systems in a monolithic way. Its input language is that of gringo and its output corresponds to that of clasp. - iclingo: an incremental answer set programming system, which is based on the idea that the grounder as well as the solver are implemented in a stateful way. Thus, both keep their previous states while increasing an incremental parameter. As regards grounding, at each incremental step, the goal is to produce only ground rules stemming from the current program slice, without re-producing previous ground rules. The ground program slices are then gradually passed to the solver that accumulates ground rules and computes answer sets for them. - oclingo: a system for reactive answer set programming, extending gringo and clasp for handling external modules provided at runtime by a controller.

clingo

Grounding tools for (disjunctive) logic programs
Installation of latest reify command is available for Debian, Ubuntu, Alpine, Arch, Kali, Raspbian and macOS. You can copy the command for your OS from above and paste it into your terminal. Once you run the command it will download the 2022 latest package from the repository and install it in your computer/server.