Logické programovanie ASP (cvičenia)
Utorok 9:50
- DLV http://www.dbai.tuwien.ac.at/proj/dlv/
- Priama linka na binárku pre i386 z ich stránky je dlv.i386-linux-elf-static.bin. (Ideálne si to uložte ako dlv.)
- SMODELS http://www.tcs.hut.fi/Software/smodels/ Nejaké skompilované binárky sú tu: smodels, lparse, sm,mktaoms. sm je skript ktorý spustí lparse a presmeruje výstup rovno do smodels (viac info na 1. cvičení).
Cvičenia:
Cvičenie 1Cvičenie 2-3
Cvičenie 4-5
Cvičenie 6
Cvičenie 7
Cvičenie 9
