Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: gringo  ]

Paket: gringo (5.6.2-2)

Links für gringo

Screenshot

Debian-Ressourcen:

Quellcode-Paket gringo herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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

Andere Pakete mit Bezug zu gringo

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

gringo herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
s390x 1.851,8 kB16.017,0 kB [Liste der Dateien]