@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ší.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 34 140×
Přečteno 22 420×
Přečteno 22 249×
Přečteno 18 894×
Přečteno 15 986×