文件名称：OCanren:miniKanren关系编程语言到Objective Caml的静态类型嵌入
文件大小：1.83MB
文件格式：ZIP
更新时间：2024-06-02 16:09:31
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 . ,