Paket: gringo (5.6.2-1 und andere)

[ 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: libatomic1 (>= 4.8) [armel, m68k, sh4]

  Hilfsbibliothek, die atomare (__atomic) Built-in-Funktionen zur Verfügung stellt

• dep: libc6 (>= 2.34) [nicht alpha, ia64, sh4]

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

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.26) [ia64]

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

  dep: libc6.1 (>= 2.34) [alpha]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

  GCC Support-Bibliothek

  dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [sh4]

  dep: libgcc-s1 (>= 7) [i386]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC Support-Bibliothek

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC Support-Bibliothek

• dep: libgcc1 (>= 1:4.2) [ia64]

  Paket nicht verfügbar

• dep: liblua5.3-0 [ia64]

  Laufzeitbibliothek für den Lua-Interpreter, Version 5.3

• dep: liblua5.4-0 (>= 5.4.6) [nicht ia64]

  Laufzeitbibliothek für den Lua-Interpreter, Version 5.4

• dep: libpython2.7 (>= 2.7) [ia64]

  Paket nicht verfügbar

• dep: libpython3.11t64 (>= 3.11.5) [nicht ia64]

  Python-Laufzeitbibliothek (Version 3.11)

• dep: libstdc++6 (>= 13.1) [nicht ia64]

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

  dep: libstdc++6 (>= 7) [ia64]

• dep: libunwind8 [ia64]

  Bibliothek zur Ermittlung der Aufrufkette eines Programms - Laufzeit

• dep: python3 [nicht ia64]

  interactive high-level object-oriented language (default python3 version)

  dep: python3 (<< 3.12) [nicht ia64]

  dep: python3 (>= 3.11~) [nicht ia64]

• dep: python3-cffi [nicht ia64]

  Schnittstelle für den Aufruf von C-Code aus Python 3

• rec: clasp

  conflict-driven nogood learning answer set solver

gringo herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	5.6.2-1+b1	1.878,1 kB	17.910,0 kB	[Liste der Dateien]
amd64	5.6.2-1+b1	1.990,3 kB	16.250,0 kB	[Liste der Dateien]
arm64	5.6.2-1+b1	1.752,4 kB	16.218,0 kB	[Liste der Dateien]
armel	5.6.2-1+b1	1.645,5 kB	14.668,0 kB	[Liste der Dateien]
armhf	5.6.2-1+b1	1.701,9 kB	12.200,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	5.6.2-1+b2	1.983,5 kB	17.353,0 kB	[Liste der Dateien]
i386	5.6.2-1+b1	2.056,1 kB	16.416,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	5.2.2-2	2.640,4 kB	13.938,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	5.6.2-1+b1	1.809,5 kB	15.352,0 kB	[Liste der Dateien]
mips64el	5.6.2-1+b1	1.759,8 kB	18.647,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	5.6.2-1+b1	1.997,8 kB	20.570,0 kB	[Liste der Dateien]
ppc64el	5.6.2-1+b1	1.994,7 kB	19.226,0 kB	[Liste der Dateien]
riscv64	5.6.2-1+b1	1.979,3 kB	14.212,0 kB	[Liste der Dateien]
s390x	5.6.2-1+b1	2.013,5 kB	17.452,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	5.6.2-1+b1	2.163,9 kB	15.373,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	5.6.2-1+b1	1.624,0 kB	19.408,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	5.6.2-1+b1	1.980,5 kB	15.440,0 kB	[Liste der Dateien]