Hlavní navigace

Názor ke článku Answer Set Programming od kverulant - Např. x :- 3 { něco } 5....

  • 12. 2. 2014 21:11

    kverulant (neregistrovaný) 94.113.77.---

    Např. x :- 3 { něco } 5. - znamená, že aspoň 3 a max. 5 musí být splněno (můžu napsat pro každé x platí ..., a tím se dostávám do pí a sigma tříd složitosti). V prologu se to rozepíše do více pravidel, takže se nezvýší časová složitost (program ale řeší to samé, není to o tom že by něco šlo řešit v ASP a v prologu ne). Tady ano, protože program se dá napsat do málo bitů, ale generuje hodně pravidel.

    Prolog ale moc neznám, tak možná už podobné rozšíření existuje taky.