8 lines
287 B
Plaintext
8 lines
287 B
Plaintext
#show closure/1.
|
|
% In the closuer if in the set
|
|
closure(X) :- set(X).
|
|
% Functional dependency is not active if a left value is not in the closure
|
|
ko(F) :- left(F,X), not closure(X).
|
|
% If functional dependency is active add right part to the closure
|
|
closure(X) :- right(F, X), not ko(F).
|