... [1,2 ,3] ) 4. :- {x/x1, 1/x1} (3, 1) nên x=1 5. :-mb(x,[2 ,3] {x/x2 ; 2 ,3/ x1} (3, 2) 6. :- {x/x 3 ; 2/x} (5,1)nên x=2 7. :-mb(x, [3] ) {x/x4; 3/ x4} (5,2) 8. :- {3/ x} (7,1) nên x =3 ... [x1 :-] ) + )- 2. membership( x2, [-: y] ) :- membership (x2, y) Goal: membership(1, [ 1,2 ,3] ): :- membership ... A~ 53 )(~xA (0,25) (26 ,32 ) (33 ,38 ) (39 ,45) 6.4...