【文件属性】:
文件名称:OCanren:miniKanren关系编程语言到Objective Caml的静态类型嵌入
文件大小:1.83MB
文件格式:ZIP
更新时间:2021-05-13 22:22:51
TeX
支行长
目录
更多信息
介绍
OCanren是将关系编程语言miniKanren嵌入OCaml中的强类型嵌入。 如今, OCanren的实现强烈提醒了速度更快的miniKanren 。 先前的实现是基于具有不平等约束的microKanren 。
什么是迷你看人
miniKanren是一种用于约束/逻辑/关系编程的嵌入式语言。
序言
迷你看人
奥坎伦
app ( [] , X , X ) .
app ([ Y | Z ], X , [ Y , T ]) :-
app ( Z , X , T ) .
( define appendo
( lambda ( l s ls )
(conde
[(== '() l) (== s ls)]
[(fresh (a d res)
(== `(,a . ,d) l)
(== `(,a . ,