Že by někdo řešil logické programování?