Pakiet: gringo (5.3.0-10)

Narzędzia uziemiające dla (rozłącznych) programów logicznych

Obecne rozwiązanie umożliwia solwerom pracę na programach uwolnionych od zmiennych. Dlatego potrzebny jest program uziemiający, który na podstawie programu wejściowego ze zmiennymi pierwszego rzędu obliczy równoważny program uziemiający (bez zmiennych).

Ten pakiet zawiera następujące narzędzia:

 - gringo: program uziemiający, który biorąc pod uwagę program wejściowy
   ze zmiennymi pierwszego rzędu, oblicza równoważny program uziemiający
   (wolny od zmiennych) w formacie aspif. Jego dane wyjściowe można
   później przetworzyć za pomocą clasp, solwera "zestawu odpowiedzi"
   (programowanie deklaratywne). Począwszy od piątej serii gringo, jego
   dane wyjściowe nie są już bezpośrednio kompatybilne z solwerami,
   takimi jak smodels lub cmodels odczytującymi format smodels. Aby
   wykonać konwersję z formatu aspif do formatu smodels należy użyć
   narzędzia lpconvert;
 - clingo: łączy w sobie gringo i clasp w monolityczny system.
   W ten sposób zapewnia większą kontrolę nad procesem uziemiania i
   przetwarzania rozdzielczości, niż gringo i clasp mogą zapewnić
   indywidualnie: powtarzalna rozdzielczość;
 - lpconvert: konwerter pomiędzy formatami aspif gringo i smodels;
 - reify: małe narzędzie reifikujące programy logiczne podane w
   formacie aspif. Tworzy zestaw elementów, który można poddać
   dalszej obróbce za pomocą gringo.

Znaczniki: Rola: Program

Ta strona jest również dostępna w następujących językach (sprawdź jak ustawić domyślny język dokumentu):