Java8kanren用 Java 编写的 miniKanren 实现

0粉丝
Java8kanren 是用 Java 编写的 miniKanren 实现。miniKanren  是一类关系型编程语言。miniKanren 可以通
简介
Java8kanren 是用 Java 编写的 miniKanren 实现。miniKanren  是一类关系型编程语言。miniKanren 可以通过给定的关系表达式和计算结果来反向推导,找出符合条件的输入变量的取值组合。程序员可以通过加入关系表达式对输入变量和计算结果添加约束条件。miniKan... 更多
其它信息
地区
不详
开发语言
Java
开源组织
所属分类
程序开发、 其他开发相关
授权协议
BSD
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐