所以我覺得有必要補充一點點2010-2020年代出版或發表的資料:- miniKanren/microKanren這種relational programming (aka pure logic programming)風格在最近這些年發展...