Prolog 编程示例：domains、predicates 和 clauses 的解析

该 Prolog 程序示例展示了 domains、predicates 和 clauses 的定义和应用。

domains:

s = symbol

predicates:

p(s) p1(s) p2(s) p3(s) p4(s) p5(s,s) p11(s) p12(s) p31(s)

goal:

p(X),write('the x is',X).

clauses:

p(a1):-p1(b),p2(c). p(a2):-p1(b),p3(d),p4(e). p(a3):-p1(b),p5(f,g). p1(b):-p11(b1),p12(b2). p3(d):-p31(d1). p2(c1).p4(e1).p5(f,g).p11(b1).p12(b2).p31(d11).

运行结果：

'the x is a1'.