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

DOI:

评审日期

出版日期

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

出版日期: