CS448/Ramez Elmasri, Shamkant Navathe - Fundamentals of Database Systems, Seventh Edition [7th Ed] (Instructor's Edu Resource 1 of 2, Complete Solution Manual with Lab Solutions)-Pearson (2015)/Lab/ch5/code/e3.pl

schema([a,b,c,d,e]).
fds([ [[a],[b]], [[a,c],[d]], [[e],[a,b]], 
      [[a,d],[e]], [[a,b,c],[d]] ]).
displayFDs([]) :- nl.
displayFDs([[X,Y]|Rest]) :-
  write(X),write('-->'), write(Y),nl,displayFDs(Rest).
go :- schema(R), fds(F), fplus(R,F,Fplus), displayFDs(Fplus).