谷歌师兄的leetcode刷题笔记-prolog:极简的Prolog编译器和运行时库

时间:2021-06-30 07:32:50
【文件属性】:
文件名称:谷歌师兄的leetcode刷题笔记-prolog:极简的Prolog编译器和运行时库
文件大小:74KB
文件格式:ZIP
更新时间:2021-06-30 07:32:50
系统开源 谷歌师兄的leetcode刷题笔记XProlog 什么是 XProlog? XProlog.dll 是一个库,允许您在 .NET 应用程序中运行 Prolog 代码。 Prolog 特别适合为计算机和自然语言创建解析器。 它的 DCG 符号与 BNF 非常相似,但功能更强大,并且允许使用歧义、上下文敏感的语法。 Prolog 有什么用? Prolog 被许多人认为是一种“人工智能语言”,因为与传统的编程语言不同,它不需要程序员为问题提供配方式的解决方案(取 A,添加 B,将结果放入 C); 相反,Prolog 程序是描述问题的事实和规则的集合(例如国际象棋游戏规则),Prolog 的任务是为程序员设定的目标找出解决方案(例如,我想将 8棋盘上的皇后,以便没有人击败其他人)。 Prolog 如何找出解决方案? 你可能会觉得有点不知所措,但答案很简单。 这只是蛮力搜索。 这是计算机非常擅长的少数事情之一。 事实上,比我们人类好得多。 好十亿倍。 的确,这与人类的思维方式相去甚远,但对于某些问题,蛮力确实可以将我们从 A 带到 B,有时甚至是我们从未想过的 C。 以下是 Prolog 已用于

网友评论