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

8 lines
220 B
Prolog
Raw Permalink Normal View History

2023-07-01 11:58:00 -04: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).