搜索

Mycroft分布式逻辑语言

0粉丝
什么是Mycroft？Mycroft是一种逻辑语言，其语法类似于PROLOG。此外，它还支持透明的分布式计算和复合真值。为什么不只使用PROLOG？部
知识
简介
什么是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 早期开发的
Logica逻辑编辑语言
0
Logica逻辑编辑语言
Logica，一种新的开源逻辑编程语言。Logica是Yedalog（Google早期开发的一种语言）的继承者，是一种类似于Datalog的逻辑编程语言。其代码会编译成SQL，并在GoogleBigQ
Logica逻辑编辑语言
0
DTMGO 语言分布式事务管理服务
DTM 是首款 golang 的开源分布式事务管理器，优雅的解决了幂等、空补偿、悬挂等分布式事务难题
DTMGO 语言分布式事务管理服务
0
DTMGO 语言分布式事务管理服务
DTM是首款golang的开源分布式事务管理器，优雅的解决了幂等、空补偿、悬挂等分布式事务难题。在微服务架构中，提供了高性能和简单易用的分布式事务解决方案。亮点稳定可靠经过生产环境考验，单元测试覆盖率
DTMGO 语言分布式事务管理服务
0
Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的
Strawberry PrologProlog 逻辑编程语言编译器
0
Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用MFC实现的Windows平台下的开源Prolog逻辑编程语言编译器，提供了三个版本：轻量版（LightEditio
Strawberry PrologProlog 逻辑编程语言编译器
0
PolyORBAda 语言实现的分布式中间件
PolyORB 是用于构建面向对象分布式系统的多态可重用基础架构。PolyORB 提供了一个统一的解
PolyORBAda 语言实现的分布式中间件
0
PolyORBAda 语言实现的分布式中间件
PolyORB是用于构建面向对象分布式系统的多态可重用基础架构。PolyORB提供了一个统一的解决方案，依靠中间件标准来构建分布式应用程序。PolyORB是一个开发工具套件和一个运行时组件库，它们实现
PolyORBAda 语言实现的分布式中间件
0
Reia面向对象的分布式脚本编程语言
Reia 是一种面向对象的分布式脚本编程语言。运行在 erlang 虚拟机上，它的语法像 Ruby/
Reia面向对象的分布式脚本编程语言
0
Reia面向对象的分布式脚本编程语言
Reia是一种面向对象的分布式脚本编程语言。运行在erlang虚拟机上，它的语法像Ruby/Python。1.它是一种脚本语言，类似Ruby,Python2.它是面向对象的，类似Ruby3.它是面向分
Reia面向对象的分布式脚本编程语言
0