miniKanren ,在The Reasoned Schemer中引入的一种微型语言,由于core.logic而受欢迎。 Prolog,第一个“大”的逻辑编程语言。 我现在感兴趣的是:两者之 ...
確定! 回上一頁