Odpověď na názor

@1 Teoreticky je to ještě horší než u prologu, protože ASP umožňuje kvantifikované formule nebo optimalizační pravidla a ty se často rozkládají do velkého počtu formulí výrokové logiky. Je tak potřeba si dávat velký pozor na volbu správné reprezentace programu.

Co se mi na ASP líbí je velice dobrá čitelnost výsledných programů (lépe se čtou než píšou) a snadná rozšiřitelnost o další podmínky nebo heuristiky. Oproti prologu vidím největší výhodu právě v rozšířené syntaxi a v deklarativnosti programu.