《表1 Prolog对《英国国籍法》的表现形式》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《论人工智能在法律判断领域的应用》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

Prolog是将程序作为Horn子句逻辑的集合来表现的编程语言。命题的集合一般被称为理论（theory），Prolog是将程序理解为一种理论，作为从中证明命题的尝试来表示程序执行的语言。总而言之，如果《英国国籍法》的各项条文可以通过Prolog来表达，Prolog就可以在此基础上对有关《英国国籍法》的问题，以该问题项目是否可以从《英国国籍法》“证明”的形式给出回答。笔者将针对《英国国籍法》具体条文，以“如果A就B”的形式简单地呈现Prolog的表现形式（如表1所示），与标准的Prolog程序相比，下述内容较为简略。