QL 的语法与 SQL 类似，但 QL 的语义基于 Datalog，Datalog 是一种数据查询语言。

    Datalog是一种数据查询语言，专门设计与大型关系数据库交互，语法与Prolog相似。

    Datalog是prolog的一个语言子集

    https://www.zhihu.com/topic/20002624/hot

    prolog是一种描述性语言（declarative language），也是AI programming language；
    而swi prolog是运行prolog的免费软件之一。

    《七周七语言:理解多种编程范型》

    The Power of Prolog
    https://www.metalevel.at/prolog

    SWI Prolog
    https://www.swi-prolog.org/