Paket: gringo (5.6.2-2)

[ Quellcode: gringo  ]

»grounding tools« für (disjunktive) Logikprogramme

Aktuelle Programme zur Ermittlung von Antwortmengen (»answer set solvers«) arbeiten mit variablenfreien Programmen. Daher wird ein »Grounder« benötigt, der bei einem gegebenen Eingabeprogramm mit Variablen erster Ordnung ein äquivalentes variablenfreies »ground program« berechnet.

Dieses Paket enthält die folgenden Tools:

- gringo: ein Grounder, der bei einem gegebenen Eingabeprogramm mit

  Variablen erster Ordnung ein äquivalentes (variablenfreies) ground
  program im aspif-Format berechnet. Seine Ausgabe kann mit dem answer set
  solver clasp weiterverarbeitet werden. Beginnend mit der Gringo-Serie 5
  ist die Ausgabe nicht mehr direkt mit Solvern wie smodels oder cmodels
  kompatibel, die das smodels-Format lesen. Verwenden Sie lpconvert zum
  Übersetzen des aspif-Formats in das smodels-Format.

- clingo: kombiniert gringo und clasp zu einem monolithischen System.

  Auf diese Weise bietet es mehr Kontrolle über den Grounding- und
  Lösungsprozess, als gringo und clasp einzeln bieten können:
  Multi-Shot-Lösung.

- lpconvert: Umwandler für die gringo-Formate aspif und smodels - reify: kleines Dienstprogramm, das Logikprogramme im aspif-Format

  reifiziert (vergegenständlicht). Es erzeugt eine Reihe von Fakten,
  die mit gringo weiterverarbeitet werden können.

Markierungen: Rolle: Programm

Andere Pakete mit Bezug zu gringo

• dep: libc6 (>= 2.38)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC Support-Bibliothek

• dep: liblua5.4-0 (>= 5.4.6)

  Laufzeitbibliothek für den Lua-Interpreter, Version 5.4

• dep: libstdc++6 (>= 13.1)

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

• rec: clasp

  conflict-driven nogood learning answer set solver

gringo herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
s390x	1.851,8 kB	16.017,0 kB	[Liste der Dateien]