... 3. :-mb(x, [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/x3; 2/x} (5,1)nên x=2 7. :-mb(x,[3]) {x/x4; 3/x4} (5,2) 8. :- {3/x} ... [x1 :-] ) + )- 2. membership( x2, [-: y] ) :- membership (x2, y) Goal: membership(1, [ 1,2,3]): :- membership ... {(a,A~ 0 .6) } (d, 0.7), (c, 0.8), (b, 0.9), {(a,A~ 0 .6) } (d, 0.7), (c, 0.8), (b, 0.9), (a, 0.4), (d, 0.3), (c, 0.2), (b, 0.1, (a, { A ~A~ Nhận xét : - L. Zadel (max, min, 1-) ...