abc :- a, b, c.
abc :- a; v, c.

a.
 
b.
 
c :- v, v. 
c :- b.

v :- a; b.