ParentFull threadokaleniuk·In a way, every static typed compiler has a bit of Prolog in it: https://wordsandbuttons.online/logic_programming_in_cpp.htmlView on HN