Prolog及其处理系统

1.前言prolog 这个名词是由 Program 和 logic 合成而来的。顾名思义,它是以一阶谓词逻辑为基础的语言。用 Prolog 编程序有的叫programming in logic,或 logic programm-ing,这两个术语比 Prolog 语言的适用范围略微广泛一些。不管怎么叫法,反正 Prolog的最大特点都是与 logic 密切相关的。Prolog 的其它特点,还有:(1)模式匹配功能(2)自动回溯功能(3)有灵活性,其参数对于过程的输