注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. uKanren_translator：将miniKanren转换为Haskell-源码

  2. uKanren_translator 将miniKanren（ ）转换为Haskell 解析语法 Prog -> Def* Goal Term -> Ident | '' Def -> :: Ident Ident* = Goal Goal -> Disj | Fresh | Invoke Fresh -> '[' Ident+ ':' Goal ']' Invoke -> '{' Ident Term* '}' Disj -> Conj ('\/'

  3. 所属分类：其它