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.
ČLÁNKY DO MAILU