@3 Jak kvantifikované? To jsou v Prologu taky.
Dříve se používalo pro redukci výrokových proměnných sorted ASP, ale moderní groundery jsou natolik optimalizované, že už to je jedno. Co do výhod, jedinou podstatnou je disjunktivnost, jinak by byl Prolog efektivnější.
