Prolog是一种基于逻辑的编程语言，它的特点是使用谓词逻辑作为程序的基础，通过规则和事实之间的逻辑关系来推导出答案。Prolog的语法和语义都与传统的命令式编程语言有很大的不同，因此需要一套专门的标准来规范其实现和使用。

ISO/IEC 13211-1:1995/COR3:2017是Prolog编程语言的通用核心标准，它规定了Prolog编程语言的语法、语义和执行模型等方面的内容。该标准的主要内容包括以下几个方面：

1. 语法规范：该标准规定了Prolog编程语言的语法规范，包括词法、语法和语义等方面的内容。其中，词法规范定义了Prolog编程语言中的基本符号和关键字，语法规范定义了Prolog程序的结构和组成方式，语义规范定义了Prolog程序的含义和执行方式。

2. 数据类型和操作：该标准规定了Prolog编程语言中的数据类型和操作，包括原子、数字、变量、列表、结构体等数据类型，以及它们之间的操作和关系。

3. 执行模型：该标准规定了Prolog编程语言的执行模型，包括回溯搜索、剪枝、展开等方面的内容。其中，回溯搜索是Prolog程序的核心执行方式，它通过不断地尝试不同的规则和事实来寻找答案，直到找到一个满足条件的解或者所有的解都被尝试完毕为止。

4. 标准库和扩展：该标准还规定了Prolog编程语言的标准库和扩展机制，包括文件操作、网络通信、图形界面等方面的内容。这些标准库和扩展可以帮助开发人员更方便地实现各种应用程序。

总之，ISO/IEC 13211-1:1995/COR3:2017是Prolog编程语言的通用核心标准，它为Prolog编程语言的实现和使用提供了一套统一的规范，有助于提高Prolog程序的可移植性和互操作性。

相关标准
ISO/IEC 13211-2:2000 - Prolog：模块化编程
ISO/IEC 13211-3:1999 - Prolog：元语言
ISO/IEC 13211-4:2004 - Prolog：异常处理
ISO/IEC 13211-5:2007 - Prolog：基于约束的编程
ISO/IEC 13211-6:2012 - Prolog：类型和模块