@flv Tak já například nedávno implementoval SLG rezoluci (nikdy se necyklící Prolog). Bylo to do jednoho robotického projektu. Předtím jsem v rámci stejného projektu efektivně implementoval plánování (abdukce převedená na SAT s řádově miliónem klauzí). Teď mám v programování pauzu, protože vymýšlím návrh jedné hardwarové části, ale také to je zajímavé a člověk se přitom dost naučí.
