跳转到内容

Prolog

25% developed
来自维基教科书,开放的书籍,为开放的世界
(从 编程:Prolog 重定向)

欢迎来到 Prolog 书籍。本书可以作为任何想要学习 Prolog 编程语言的人的教科书或教程。不需要任何先前的编程经验。一些关于逻辑的基本知识可能会派上用场。对于那些对该主题不熟悉的人,本书提供了一个关于逻辑的简短介绍,但这不是必读内容。

本书的前几章(在基础下)描述了该语言的核心语法和功能。下一部分,编程,探讨了在 Prolog 编程中很有用的附加概念。基础编程下的章节应该按顺序阅读。

内置谓词部分介绍了在许多 Prolog 编译器中可用的函数。这些章节和其他章节可以按任何顺序阅读。

特殊页面

目录

开始 Prolog

基础

介绍
规则
递归规则
变量
列表
数学、函数和等式
综合起来
解决逻辑谜题

编程

剪枝和否定
阅读和编写代码
差分列表
确定性子句语法
推理引擎

内置谓词

测试术语
Bagof、Setof 和 Findall
修改数据库
输入和输出

高级 Prolog

关联映射
搜索技术
排序
图形:XPCE

Prolog 及其扩展

高阶编程
约束逻辑编程
确定性子句语法
结合语言
一些有趣的用户组主题
外部链接
华夏公益教科书