【文件属性】:
文件名称:谷歌师兄的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
已用于