logic: the port of miniKanren and the Clojure library for logic programming. About Burkhard Renz. burkhard_renz. Burkhardt Renz studied mathematics (group ...
確定! 回上一頁