简介
什么是Mycroft?Mycroft是一种逻辑语言,其语法类似于PROLOG。此外,它还支持透明的分布式计算和复合真值。为什么不只使用PROLOG?部分出于历史原因,PROLOG相当慢(与其他语言针对许多类问题实施的解决方案相比,最坏情况和平均情况的时间复杂度都很高)。它在单个线程中对逻辑树执行深度... 更多
其它信息
地区
不详
开发语言
Python
Lua
开源组织
无
所属分类
程序开发、 脚本编程语言
授权协议
BSD
操作系统
跨平台
收录时间
2023-09-27
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
Logica逻辑编辑语言
Logica,一种新的开源逻辑编程语言。Logica是Yedalog(Google早期开发的一种语言)的继承者,是一种类似于Datalog的逻辑编程语言。其代码会编译成SQL,并在GoogleBigQ
Logica逻辑编辑语言
0
DTMGO 语言分布式事务管理服务
DTM是首款golang的开源分布式事务管理器,优雅的解决了幂等、空补偿、悬挂等分布式事务难题。在微服务架构中,提供了高性能和简单易用的分布式事务解决方案。亮点稳定可靠经过生产环境考验,单元测试覆盖率
DTMGO 语言分布式事务管理服务
0
Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的
Strawberry PrologProlog 逻辑编程语言编译器
0
Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用MFC实现的Windows平台下的开源Prolog逻辑编程语言编译器,提供了三个版本:轻量版(LightEditio
Strawberry PrologProlog 逻辑编程语言编译器
0