evolution of miniKanren and its predecessor, Kanren. ... In this dissertation I present miniKanren, a family of languages specifically de-.
確定! 回上一頁