跳转到内容

Prolog

25% developed
来自维基教科书,开放世界中的开放书籍

欢迎来到 Prolog 教材。 本书可以作为任何想要学习 Prolog 编程语言的人的教科书或教程。 无需任何编程经验。 一些逻辑基础知识可能会有帮助。 对于新手,本书提供了逻辑的简短介绍,但这并非必读内容。

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

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

特殊页面

目录

Prolog 入门

基础

简介
规则
递归规则
变量
列表
数学、函数和等式
组合
解决逻辑谜题

编程

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

内置谓词

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

高级 Prolog

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

Prolog 及其扩展

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