clingo command not found

Introduction

When you run more command in linux terminal / console, you get the following error message

clingo: command not found

or when using sudo you get the following error message

sudo: clingo: command not found

Solutions to clingo: command not found

How To Fix clingo: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu clingo is provided by gringo package.

gringo is:

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: a grounder that, given an input program with first-order variables, computes an equivalent ground (variable-free) program in aspif format. Its output can be processed further with answer set solver clasp. Starting with gringo series 5, its output is no longer directly compatible with solvers like smodels or cmodels reading smodels format. Use lpconvert for translating aspif format to smodels format.
• clingo: combines both gringo and clasp into a monolithic system. This way it offers more control over the grounding and solving process than gringo and clasp can offer individually: multi-shot solving.
• lpconvert: converter between gringo’s aspif and smodels format.
• reify: small utility that reifies logic programs given in aspif format. It produces a set of facts, which can be processed further with gringo.

To fix this problem, we can install more using the command below.

sudo apt-get -y install gringo

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install gringo.

sudo apt -y install gringo

Or if you have aptitude installed you can use the following command.

sudo aptitude install gringo

Summary

In this tutorial we learn how to fix clingo command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.