Logica 正在参加 2020 年度 OSC 中国开源项目评选,请投票支持!
Logica 在 2020 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
投票让它出道
已投票
Logica 获得 2020 年度 OSC 中国开源项目评选「最佳人气项目」 !
Logica 获得 2020 年度 OSC 中国开源项目评选「最佳人气项目」「最积极运营项目」 !
Logica 获得 2020 年度 OSC 中国开源项目评选「最积极运营项目」 !

软件简介

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 |
+-------+
展开阅读全文

代码

的 Gitee 指数为
超过 的项目

评论 (0)

加载中
更多评论
发表于数据库专区
04/13 08:13

Google 工程师谈论开源逻辑编程语言 Logica

近日,Google 工程师在其开源博客中介绍了 Logica,一种新的开源逻辑编程语言。 Logica 是 Yedalog(Google 早期开发的一种语言)的继承者,是一种类似于 Datalog 的逻辑编程语言。其代码会编译成 SQL,并在 Google BigQuery 上运行(实验性地支持 PostgreSQL 和 SQLite)。此外,Logica 支持 SQL 所缺乏的干净和可重用的抽象机制,支持模块和导入,可以在交互式的 Python 笔记本上使用。 文中提到,尽管 SQL 是处理数据的首选语...

4
13
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
发表了博客
2015/10/21 19:37

Logica & VR

罗素悖论: 假设: 1)有关部门的法律规定:在网上造谣(指说关于有关部门的错误命题)的人将一定被抓捕。【执法必严,违法必究】 2)有个体声明:有关部门今后必将我抓捕。【声明 // 被抓捕时 -> 陈述事实过程; 不被抓捕 -> 造谣过程 }】 问题: 那么,有关部门应不应该将其抓捕? 结论: NO zuo NO die! 考虑一个个体,他可疑选择造谣,也可以选择不造谣; 他可能在监狱度过一生,也可能在家或其他地方度过一生...

0
0
发表了博客
2013/07/04 10:06

Logica SMPP 源代码修改

参见:http://blog.csdn.net/tylz04/article/details/9089455

0
0
发表了博客
2019/08/30 16:57

Wireshark 抓包过滤器学习

Wireshark 抓包过滤器学习 wireshark中,分为两种过滤器:捕获过滤器 和 显示过滤器 捕获过滤器 是指wireshark一开始在抓包时,就确定要抓取哪些类型的包;对于不需要的,不进行抓取。 显示过滤器 是指wireshark对所有的包都进行抓取,当用户分析数据包的信息,便于筛选出需要的数据包。 总结来说,捕获过滤器 是在用户开始任务之前就要使用的规则;而显示过滤器 是任务开始之后(无论是否已完成)要使用的规则。 一、捕获过滤器...

0
0
发表了博客
2019/01/16 18:35

wireshark基础学习—第四部分wireshark过滤器总结

这两天一直在熟悉wireshark的过滤器语法规则,以前也接触过这个工具,但只是学校老师教的如何去选择一个接口进行抓取,以及如何去分析一个包的数据。可惜当时对此也没有过多深入。对于我当前,并未接触太多的功能,现在只是对这两天学到的一些简单的过滤规则做一个总结。   1. 测试环境说明 2. 过滤器规则说明   目前网络上对于wireshark的流程使用实在太多,在此也就不再赘述,现只针对过滤器的一些简单使用规则进行一些举...

0
0
发表了博客
2020/12/26 15:39

《代码英雄》第三季(6):Bash Shell 中的英雄

代码英雄讲述了开发人员、程序员、黑客、极客和开源反叛者如何彻底改变技术前景的真实史诗。 什么是《代码英雄》 代码英雄Command Line Heroes是世界领先的企业开源软件解决方案供应商红帽(Red Hat)精心制作的原创音频播客,讲述开发人员、程序员、黑客、极客和开源反叛者如何彻底改变技术前景的真实史诗。该音频博客邀请到了谷歌、NASA 等重量级企业的众多技术大牛共同讲述开源、操作系统、容器、DevOps、混合云等发展过程中...

0
0
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
暂无内容
0 评论
5 收藏
分享
OSCHINA
登录后可查看更多优质内容
返回顶部
顶部