RosettaCodeData/Task/Inverted-syntax/Prolog/inverted-syntax.pro

8 lines
220 B
Prolog
Raw Permalink Normal View History

2019-09-12 10:33:56 -07:00
% Dracula is a vampire.
% Also, you become a vampire if someone who is a vampire bites you.
vampire(dracula).
vampire(You) :- bites(Someone, You), vampire(Someone).
% Oh no! Dracula just bit Bob...
bites(dracula, bob).