Odpovídáte na názor ke článku Answer Set Programming.
@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 39 730×
Přečteno 27 521×
Přečteno 26 559×
Přečteno 22 724×
Přečteno 20 438×
ČLÁNKY DO MAILU