返回内容

软件系统和计算方法

正确的文章链接:

Zdor D.V., Gornostaeva T.N. 逻辑编程语言Prolog中递归规则中完成递归的方法分析 // 软件系统和计算方法. 2021. № 4. С. 68-76. DOI: 10.7256/2454-0714.2021.4.35383 URL: https://cn.nbpublish.com/library_read_article.php?id=35383

逻辑编程语言Prolog中递归规则中完成递归的方法分析

Zdor Dmitrii Valer'evich

博士学位教育学

联邦国家预算高等教育机构"滨海边疆区国家农业学院"工程与技术研究所技术过程设计与机械化系副教授,

692503, Russia, Primorskii krai, g. Ussuriisk, ul. Komsomol'skaya, 64, kv. 10

zdor_d@inbox.ru

Gornostaeva Tat'yana Nikolaevna

博士学位物理和数学

副教授，数学，物理，计算机科学和教学方法系，高等教育"远东联邦大学"在乌苏里斯克的联邦州自治教育机构分支

692519, Russia, Primorskii krai, g. Ussuriisk, ul. Nekrasova, 35

gorno-tatyana@yandex.ru

DOI:

10.7256/2454-0714.2021.4.35383

评审日期

31-03-2021

出版日期

31-12-2021

注解: 目前，编程领域的发展中领域之一是与创建人工智能工具的实现相关的逻辑编程。这种编程语言之一是非过程声明式逻辑编程语言Prolog。本文致力于在Prolog程序中使用递归规则。工作的目的：分析递归规则中完成递归调用的方法，以及使用具有递归的程序示例演示所识别方法的使用。对该研究课题的专门文献进行了分析，对数据进行了概括和系统化，对方案进行了测试，并对方案进展进行了分析。 Prolog程序中的递归规则设置重复谓词的无限循环。要结束递归循环，您需要在结束循环的程序中放置一个条件。本文讨论了通过各种方式完成无限循环来组织递归的选项。
在所考虑的示例上，演示了Prolog程序中组织和使用递归的方法。这些示例使我们能够在解决类似问题时，在Prolog语言编程的过程中使用它们作为技术基础。所获得的结果可用于逻辑编程语言中递归谓词的使用的进一步发展。

出版日期:

逻辑编程, 递归, 递归规则, 递归终止条件, 博客,博客, 执行机制, 配对程序, 搜寻退款, 谓词,谓词, 逻辑语句

杂志

逻辑编程语言Prolog中递归规则中完成递归的方法分析