第2章逻辑程序设计语言 212 PROLOG的程序 PROLOG程序一般由一组事实、规则和问题组成。问题 是程序执行的起点,称为程序的目标。例如下面就是一个 PROLOG程序 likes(bell, sports) likes(mary, music) likes(mary, sports) likes(jane, smith) friendgjohn, X): -likes(X, reading), likes(X, music) friendgjohn, X): -likes(X, sports), likes(X, music) ?-friendgjohn,Y)第 2 章 逻辑程序设计语言 2.1.2 PROLOG的程序 PROLOG程序一般由一组事实、 规则和问题组成。 问题 是程序执行的起点, 称为程序的目标。 例如下面就是一个 PROLOG程序。 likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X,reading),likes(X,music). friend(john,X):-likes(X,sports),likes(X,music). ?-friend(john,Y)