Paket: gringo (5.4.1-3)

Links für gringo

Debian-Ressourcen:

Quellcode-Paket gringo herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [www.potassco.org]

»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

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.30)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgcc-s1 (>= 3.5)

GCC Support-Bibliothek
dep: liblua5.4-0 (>= 5.4.2)

Laufzeitbibliothek für den Lua-Interpreter, Version 5.4
dep: libpython3.9 (>= 3.9.0~b4)

Python-Laufzeitbibliothek (Version 3.9)
dep: libstdc++6 (>= 9)

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
armhf	1.551,2 kB	8.723,0 kB	[Liste der Dateien]