读程序,指出运行结果。 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).