43. - .
: .
?- pred(a(f(a(m,k),r),n)).
yes
?- pred(a(f(d(m,k),r),n)).
no
?-
44. .
: .
?- pred(s(f(b(m,k),a),n(b,g))).
yes
?- pred(s(f(b(m,k),a),n(t,g))).
no
?-
45. .
: .
?- pred(s(f(b(m,k),a),f(a,g))).
yes
?- pred(s(f(y(m,k),a),f(t,g))).
no
?-
46. , (. op/3) . is +, -, *, /, ^ .
: ;
.
?- X is (1.6, 4.5) + (2.8, 7.1).
X = (4.4, 11.6)
yes
?-
47. .
: ;
.
?- pred(s(f(b(m,k),a),f(a,g)),X).
X = 4
yes
?-
48. , .
: ;
.
?- pred(s(t(b(m,k),a),f(a,g)), s(t(b(k,m),a),f(g,a))).
yes
?- pred(s(t(b(m,k),a),f(a,g)), s(t(a,b(k,m)),f(g,a))).
yes
?-
49. .
: ;
.
?- pred(s(f(b(m,k),a),f(a,g)),X).
X = [s,f,b,m,k,a,f,a,g]
yes
?-
50. , , .
: ;
.
?- pred(s(f(b(m,k),a),t(a,g)),X).
X = s(t(a,g),f(a,b(m,k)))
yes
?-
51. .
: ;
.
?- pred(s(f(b(m,k),a),t(r,w)),X).
X = 4
yes
?-
52. , .
: ;
;
.
?- pred(s(f(b(m,k),a),t(a,g)),1,X).
X = [s]
yes
?- pred(s(f(b(m,k),a),t(a,g)),3,X).
X = [b,a,a,g]
yes
?- pred(s(f(b(m,k),a),t(a,g)),5,X).
X = []
yes
?-
53. .
: ;
;
.
?- pred(s(f(b(m,k),a),t(a,g)),2,X).
X = s(f,t)
yes
?- pred(s(f(b(m,k),a),t(a,g)),3,X).
X = s(f(b,a),t(a,g))
yes
?-
54. , : ( ).
: ;
;
.
?- pred(s(f(b(m,k),a),t(a,g)),0.5,X).
X = s(f,t(a,g))
yes
?- pred(s(f(b(m,k),a),t(a,g)),0.5,X).
X = s(f(b,a),t)
yes
?- pred(s(f(b(m,k),a),t(a,g)),0.5,X).
X = s
yes
?-
|
|
55. , . .
: ;
;
.
?- pred(s(f(b(m,k),w),t(a,g)),s,X).
X = s(f(b(m,k),w),t(a,g))
yes
?- pred(s(f(b(m,k),w),t(a,g)),f,X).
X = f(b(m,k),w,s(t(a,g)))
yes
?- pred(s(f(b(m,k),w),t(a,g)),a,X).
X = a(t(s(f(b(m,k),w)),g)
yes
?-
56. , .
: ;
;
.
?- pred(s(f(b(m,k),a),t(a,w)),1,X).
X = 1
yes
?- pred(s(f(b(m,k),a),t(a,w)),3,X).
X = 4
yes
?- pred(s(f(b(m,k),a),t(a,w)),4,X).
X = 2
yes
?-
57. . , , .
: ;
;
.
?- pred(s(f(b(b(u(i,o),v),k),a),t(b,g)),b,X).
X = s(f(u(i,o),v,k,a),t(g))
yes
?-
58. .
: ;
;
.
?- pred(s(f(b(b(u(i,o),v),k),a),t(b,g)),b,X).
X = 3
yes
?-
59. .
: ;
;
;
().
?- pred(s(f(w(b(u(i,o),v),k),a),t(r,g)),w,r,X).
X = [w,f,s,t,r]
yes
?- pred(s(f(w(b(u(i,o),v),k),a),t(r,g)),i,o,X).
X = [i,u,o]
yes
?-
60. , .
: ;
;
;
.
?- pred(s(f(b(b(u(i,o),v),k),a),t(b,g)),b,r,X).
X = s(f(r(r(u(i,o),v),k),a),t(r,g))
yes
?-
61. .
: ;
.
?- pred(a(f(a(m,k),r),n(i,o)),X).
X = a(f(a(m,k),r),n(i,o)) ->;
X = f(a(m,k),r) ->;
X = a(m,k) ->;
X = m ->;
X = k ->;
X = r ->;
X = n(i,o) ->;
X = i ->;
X = o ->;
no
?-
62. .
: ;
().
?- pred(a(f(a(m,k),r),n(i,o)),X).
X = [a,f,a,m] ->;
X = [a,f,a,k] ->;
X = [a,f,r] ->;
X = [a,n,i] ->;
X = [a,n,o] ->;
no
?-
63. , .
: ;
().
?- pred(a(f(a(m,k),r),n(i,o)),X).
X = [a,f,a,m] ->;
X = [a,f,a,k] ->;
no
?-
64. , .
: ;
;
.
?- pred(a(f(a(m,k),r),n(i,o)),2,X).
X = a(m,k) ->;
X = m ->;
X = k ->;
X = r ->;
X = n(i,o) ->;
X = i ->;
X = o ->;
no
?-
65. .
: ;
.
?- pred(a(f(a(m,k),r),n(i(d,e),o)),X).
X = m ->;
X = k ->;
X = d ->;
X = e ->;
X = r ->;
X = o ->;
no
?-
66. .
: ;
.
?- pred(2+6*x^3-7*x^2-4+x^3+6*x^2,X).
X = -2-x^2+7*x^3
yes
?-
67. , : a+b*x+c*x^ 2 +d*x^ 3 +
|
|
: ;
.
?- pred(2+6*x-7*x^3,X).
X = 6-21*x^2
yes
?-
68. . : a+b*x+c*x^ 2 +d*x^ 3 +
: ;
;
, .
?- pred(2+6*x-7*x^3,1+x,X,Y).
X = -7*x^2+7*x-1
Y = 3
yes
?-
69. , (. op/3) (). : iss ; + ; * ; - .
: ( );
.
?- X iss [a,s,d,f] * [d,g,f] + [p,f].
X = [d,f,p]
yes
?-
70. , (. op/3) ( , . ). ism +, -, *, / . , , ism/1. .
: ;
.
?- ism(X).
X = 3
yes
?- X ism (24+38)/2.
X = 1
yes
?-
71. .
: ;
.
?- pred(s(f(b(m,k),a),f(a,g)),X).
X = s(f(g,a),f(a,b(m,k)))
yes
?-
()
72. - .
: .
?- pred(a(f(i(m,k),r,a(t)),n)).
yes
?- pred(a(f(i(m,k),r,o(t)),n)).
no
?-
73. .
: .
?- pred(s(f(b(m,k),a),n(b,g),r(u))).
yes
?- pred(s(f(b(m,k),a),n(t,g),r(u))).
no
?-
74. .
: .
?- pred(s(f(b(m,k),a),f(a,g),n(h))).
yes
?- pred(s(f(y(m,k),a),f(t,g),n(h))).
no
?-
75. .
: ;
.
?- pred(s(f(b(m(i),k),a),f(a,g),h(y)),X).
X = 5
yes
?-
76. , .
: ;
.
?- pred(s(t(b(m,k),a),f(a,g)), s(t(b(w,k,m),a),f(g))).
yes
?- pred(s(t(b(m,k),a),f(a,g)), s(t(a,b(k,m,w)),f(g))).
yes
?-
77. .
: ;
.
?- pred(s(f(b(m,k,n),a(r)),f(a,g)),X).
X = [s,f,b,m,k,n,a,f,a,r,g]
yes
?-
78. , .
: ;
.
?- pred(s(f(b(m,k(e),n),a),t(r,w)),X).
X = 4
yes
?-
79. .
: ;
;
.
?- pred(s(f(b(m,k),a),t(a,g),j(u)),2,X).
X = s(f,t,j)
yes
?- pred(s(f(b(m,k),a),t(a,g),j(u)),3,X).
X = s(f(b,a),t(a,g),j(u))
yes
?-
80. , .
: ;
;
.
?- pred(s(f(b(m,k),a),t(a,g),j(u)),1,X).
X = [s]
yes
?- pred(s(f(b(m,k),a),t(a,g),j(u)),3,X).
X = [b,a,a,g,u]
yes
?- pred(s(f(b(m,k),a),t(a,g),j(u)),5,X).
X = []
yes
?-
81. , : ( ).
: ;
;
.
?- pred(s(f(b(m,k),a),t(a)),0.5,X).
X = s(f,t(a))
yes
?- pred(s(f(b(m,k),a),t(a)),0.5,X).
X = s(f(b,a),t)
yes
?- pred(s(f(b(m,k),a),t(a)),0.5,X).
X = s
yes
?-
82. , .
|
|
: ;
.
?- pred(a(f(a(m,k(v)),r),n(i(d,e,z(q,w)),o)),X).
X = z(q,w) ->;
no
?-
83. , .
: ;
;
.
?- pred(s(f(b(m,k),w),t(a)),s,X).
X = s(f(b(m,k),w),t(a))
yes
?- pred(s(f(b(m,k),w),t(a)),f,X).
X = f(b(m,k),w,s(t(a)))
yes
?- pred(s(f(b(m,k),w),t(a)),a,X).
X = a(t(s(f(b(m,k),w)))
yes
?-
84. , .
: ;
;
.
?- pred(s(f(b(m,k),a),t(a)),1,X).
X = 1
yes
?- pred(s(f(b(m,k),a),t(a)),3,X).
X = 3
yes
?- pred(s(f(b(m,k),a),t(a)),4,X).
X = 2
yes
?-
85. .
: ;
;
.
?- pred(s(f(b(b(u(i,o),v),k),a),t(b,g,b(i))),b,X).
X = 4
yes
?-
86. . , , .
: ;
;
.
?- pred(s(f(b(b(u(i,o),v),k),a),t(b,g),b),b,X).
X = s(f(u(i,o),v,k,a),t(g))
yes
?-
87. .
: ;
:
;
().
?- pred(s(f(w(b(u(i,o,d),v),k),a),t(r(u),g),m),w,r,X).
X = [w,f,s,t,r]
yes
?- pred(s(f(w(b(u(i,o,d),v),k),a),t(r(u),g),m),i,d,X).
X = [i,u,d]
yes
?-
88. , .
: ;
;
;
.
?- pred(s(f(b(b(u(i,o),v),k),a),t(b(e),g),b),b,r,X).
X = s(f(r(r(u(i,o),v),k),a),t(r(e),g),r)
yes
?-
89. .
: ;
.
?- pred(a(f(a(m,k,v),r),n(i)),X).
X = a(f(a(m,k,v),r),n(i)) ->;
X = f(a(m,k,v),r) ->;
X = a(m,k,v) ->;
X = m ->;
X = k ->;
X = v ->;
X = r ->;
X = n(i) ->;
X = i ->;
no
?-
90. .
: ;
().
?- pred(a(f(a(m,k),r),n(i,o,v(x))),X).
X = [a,f,a,m] ->;
X = [a,f,a,k] ->;
X = [a,f,r] ->;
X = [a,n,i] ->;
X = [a,n,o] ->;
X = [a,n,v,x] ->;
no
?-
91. , .
: ;
().
?- pred(a(f(a(m,k,v),r),n(i,o)),X).
X = [a,f,a,m] ->;
X = [a,f,a,k] ->;
X = [a,f,a,v] ->;
no
?-
92. , .
: ;
;
.
?- pred(a(f(a(m,k),r,v(g)),n(i,o)),2,X).
X = a(m,k) ->;
X = m ->;
X = k ->;
X = r ->;
X = v(g) ->;
X = g ->;
X = n(i,o) ->;
X = i ->;
X = o ->;
no
?-
93. .
: ;
.
?- pred(a(f(a(m,k(v)),r),n(i(d,e,z),o)),X).
X = v ->;
X = m ->;
X = k ->;
X = d ->;
X = e ->;
X = z ->;
X = r ->;
X = o ->;
no
?-
94. , .
: ;
.
?- pred(a(f(a(m,k(v)),r),n(i(d,e,z(q,w,t)),o)),X).
X = i ->;
X = z ->;
no
?-
95. ( ).
: ;
().
?- pred(a(f(a(m,k(v)),r),n(i(d,e,z)),o),X).
X = a ->;
X = 1:f ->;
X = 1:1:a ->;
X = 1:1:1:m ->;
X = 1:1:2:k ->;
X = 1:1:2:1:v ->;
X = 1:2:r ->;
X = 2:n ->;
X = 2:1:i ->;
X = 2:1:1:d ->;
X = 2:1:2:e ->;
X = 2:1:3:z ->;
X = 3:o ->;
no
?-
|
|
96. , string_term/2 (. ) . , , . .
: ;
.
?- string_term(r(T,m(T,K)),B).
B = r(_70,m(_70,_84))
yes
?- pred(r(T,m(T,K)),X).
X = [T,K]
yes
?-
97. , (. ).
: ;
.
?- pred(a(f(a(m,k(v)),r),n(i(d,e,z)),o),X).
X =
a
├─f
│ ├─a
│ │ ├─m
│ │ └─k
│ │ └─v
│ └─r
├─n
│ └─i
│ ├─d
│ ├─e
│ └─z
└─o
yes
?-