云网牛站
所在位置:首页 > Linux软件 > 开源逻辑编程语言Logica介绍,支持Linux,附安装方法

开源逻辑编程语言Logica介绍,支持Linux,附安装方法

2021-04-13 09:09:35作者:linux人稿源:linux站

Google 工程师对 Logica 进行了初步的介绍,它是一种用于数据操作的开源声明式逻辑编程语言。同时 Logica 是 Yedalog(Yedalog) 的继承者,支持 Linux、Windows 等跨平台。当前,Logica 已在 Apache 2.0 许可下开源,以下将附上 Logica 源码地址及安装方法。

 

介绍内容

当前,Google 工程师在其开源博客中介绍了 Logica,这是一种新的开源逻辑编程语言。

开源逻辑编程语言Logica介绍,支持Linux,附安装方法

Logica 是 Yedalog(Google 早期开发的一种语言)的继承者,是一种类似于 Datalog 的逻辑编程语言。其代码会编译成 SQL,并在 Google BigQuery 上运行(实验性地支持 PostgreSQL 和 SQLite)。此外,Logica 支持 SQL 所缺乏的干净和可重用的抽象机制,支持模块和导入,可以在交互式的 Python 笔记本上使用。

同时工程师还介绍称:尽管 SQL 是处理数据的首选语言,但其并不是完美无瑕的,比如查询语句过长 —— 一个查询跨越数百行是经常发生的事情。然而,更关键的缺陷在于它对抽象的支持非常有限。好的编程通常是创建小的、可理解的、可重用的逻辑片段,这些逻辑片段可以被测试,被赋予名称,并被组织成包,这些包以后可以用来构建更有用的逻辑片段。但 SQL 抵制这种工作流程。

Google 工程师们认为 Logica 可以解决这些问题。其表示,逻辑编程语言通过使用数学命题逻辑的语法而不是自然英语语言来解决 SQL 的问题,形式逻辑的语言更是数学家专门为了使复杂语句的表达更容易而设计的,而 Logica 进一步扩展了经典逻辑编程语法,并重视聚合,其名字代表着“Logic + Aggregation”。Logica 的目标之一是提高查询的可读性,并且更好地进行大数据处理。

 

相关链接

Logica 网站:https://logica.dev/

Logica 开源地址:https://github.com/EvgSkv/logica

 

在以下情况下,鼓励您尝试 Logica 及使用 Logica 的先决条件

1、我们鼓励您尝试 Logica,尤其是在以下情况下

您已经使用逻辑编程并且需要更多的计算能力。

您使用 SQL,但对它的可读性不满意。

您想学习逻辑编程并将其应用于大数据处理。

2、先决条件

要在 BigQuery 上运行 Logica 程序,您将需要一个 Google Cloud Project。拥有项目后,您可以在 CoLab 中运行 Logica 程序,并提供您的项目 ID。

要在本地运行 Logica,您需要 Python3。

要从命令行启动 Logica 执行,您将需要 BigQuery 命令行工具 bq。为此,您需要安装 Google Cloud SDK(参考:在Linux系统上安装Google Cloud SDK的方法)。

 

安装方法

您可以使用 pip 安装 Logica 命令,如下所示:

# Install.

python3 -m pip install logica

# Run:

# To see usage message.

python3 -m logica

# To print SQL for HelloWorld program.

python3 -m logica - print Greet <<<'Greet(greeting: "Hello world!")'

如果您的 PATH 包含 Python 的 bin 文件夹,那么您也将能够简单地运行它:

logica - print Greet <<<'Greet(greeting: "Hello world!")'

或者,您可以克隆 GitHub 存储库:

git clone https://github.com/evgskv/logica

cd logica

./logica - print Greet <<<'Greet(greeting: "Hello world!")'

 

相关主题

在Ubuntu 20.04系统下安装Python 3.9的两种方法

精选文章
热门文章