Prolog
Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。
1972年法国科莫劳埃小组为了提高归结法的执行效率，研制出一个定理证明程序的程序执行器，取名为PROLOG(Programming In Logic)，标志着第一个逻辑程序设计语言PROLOG的诞生。1974年及以后，R.科瓦尔斯基进一步从谓词逻辑的HORN子句的角度阐明PROLOG的理论基础，系统地提出逻辑程序设计的思想。
该标签下暂无文章
最新提问
openai何时开源新的ai大模型对抗deepseek r1？
python如何实现画中画多轨道图片视频混合合成输出mp4？
centos及linux如何批量查找指定目录下文件包含字符串并替换？
阿里云ecs如何保留新购ecs并原机器ip？
如何将chrome某个网站的所有cookie导出json或txt到本地？
python如何读取本地Windows电脑上chrome或edge浏览器所有网站的cookies信息？
阿里云ecs如何实现系统云盘由50g缩小40g缩容？
阿里云50G的ecs镜像如何在40G的ecs上更换操作系统镜像？
有没有a_bogus算法的php版本？
yt-dlp如何无水印高清下载抖音上视频？