prolog初学

编译器下载网址:http://download.csdn.net/detail/hong0220/5093678

开发步骤

prolog初学_第1张图片

prolog初学_第2张图片

prolog初学_第3张图片

prolog初学_第4张图片

测试例子:

domains
	person, activity = symbol
predicates
	likes(person,activity)
clauses
	likes(ellen,tennis).
	likes(john,football).
	likes(tom,baseball).
	likes(eric,swimming).
	likes(mark,tennis).
	likes(bill,X):-likes(tom,X).
goal
	likes(bill,What).

效果

prolog初学_第5张图片



你可能感兴趣的:(prolog初学)