|
本文介绍逻辑编程语言Logica是如何工作的，及Logica代码示例，它可以在Linux和Windows操作系统下运行。
简介 之所以叫Logica，是因为它代表具有聚合功能的逻辑，它可编译为StandardSQL并在Google BigQuery上运行。使用python3 -m pip install logica可以安装到它，参考在CentOS 8/CentOS 7系统中安装Python 3.9.1和Pip3.9的方法。 Logica适用于希望在编写查询和管道以在BigQuery上运行时使用逻辑编程语法的工程师、数据科学家和其他专家。 Logica可以编译为SQL，并借助逻辑编程语法的便利性使您可以使用Google BigQuery引擎的功能。这很有用，因为BigQuery比最先进的本机逻辑编程引擎更强大。 附：关于逻辑编程的介绍 逻辑编程是一种声明式编程范例，其中程序被编写为一组逻辑语句。 逻辑编程是从60年代后期开始在学术界开发的。Prolog和Datalog是逻辑编程语言最突出的示例，其中Logica是Datalog家族的一种语言。 数据记录和关系数据库从同一思想开始：将数据视为关系，并将数据操纵视为对这些关系的一系列操作。但是，Datalog和SQL在描述这些操作的方式上有所不同。SQL基于自然语言，无需经过计算机编程或数学方面即可向人们提供数据库访问权限。
Logica是如何工作的 Logica将逻辑程序编译为SQL表达式，因此可以在BigQuery（最新的SQL引擎）上执行。 众所周知，Datalog和SQL是等效的。实际上，从Datalog到SQL的转换通常很简单。但是，有一些细微差别，例如如何处理disjunction和negation。在Logica中，我们尝试做出各种选择，以尽可能简化对结果SQL结构的理解，从而使用户能够编写高效执行的程序。
Logica代码示例 1、Prime numbers 查找小于30的质数。程序primes.l：
运行primes.l： $ logica primes.l run Prime
2、News mentions 2020年新闻中最被提及的人是谁？让我们查询GDELT Project数据集。程序mentions.l：
运行mentions.l： $ logica mentions.l run Mentions
请注意，由于GDELT数据分析中已知的误分类问题，此表中提到了洛杉矶和拉斯维加斯等城市。
相关主题 |
