that stands for a goal (or a relation) succeeding if z equals x times y. ... miniKanren, through its Clojure implementation, core.logic.
確定! 回上一頁