Logica逻辑编辑语言
Logica,一种新的开源逻辑编程语言。 Logica 是 Yedalog(Google 早期开发的一种语言)的继承者,是一种类似于 Datalog 的逻辑编程语言。其代码会编译成 SQL,并在 Google BigQuery 上运行(实验性地支持 PostgreSQL 和 SQLite)。
此外,Logica 支持 SQL 所缺乏的干净和可重用的抽象机制,支持模块和导入,可以在交互式的 Python 笔记本上使用。
代码示例
查找 30 以内的质数
编写primes.l
程序:
# Define natural numbers from 1 to 29.
N(x) :- x in Range(30);
# Define primes.
Prime(prime: x) :-
N(x),
x > 1,
~(
N(y),
y > 1,
y != x,
Mod(x, y) == 0
);
运行primes.l
$ logica primes.l run Prime
+-------+
| prime |
+-------+
| 2 |
| 3 |
| 5 |
| 7 |
| 11 |
| 13 |
| 17 |
| 19 |
| 23 |
| 29 |
+-------+
评论
Mycroft分布式逻辑语言
什么是Mycroft?Mycroft是一种逻辑语言,其语法类似于PROLOG。此外,它还支持透明的分布式计算和复合真值。为什么不只使用PROLOG?部分出于历史原因,PROLOG相当慢(与其他语言针对
Mycroft分布式逻辑语言
0
Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用 MFC 实现的
Strawberry PrologProlog 逻辑编程语言编译器
0
Strawberry PrologProlog 逻辑编程语言编译器
由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用MFC实现的Windows平台下的开源Prolog逻辑编程语言编译器,提供了三个版本:轻量版(LightEditio
Strawberry PrologProlog 逻辑编程语言编译器
0
KIInPlaceEditUILabel 编辑替换
KIInPlaceEdit实现了UILabel的编辑替换功能。UILabel+InPlaceEdit.h允许用户替换编辑一个标签,没有继承,只需要导入类。相关链接:X-editable:http://
KIInPlaceEditUILabel 编辑替换
0