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 |
+-------+