Report copyright - Simply Logical – Chapter 8© Peter Flach, 2000 default((flies(X):-bird(X))).Birds typically fly rule((not flies(X):-penguin(X))).Penguins don’t fly rule((bird(X):-penguin(X))).Penguins
Please pass captcha verification before submit form