Documents Simply Logical – Chapter 8© Peter Flach, 2000 default((flies(X):-bird(X))).Birds typically fly...

Default rules Default rules are typically true, but may have exceptions default((flies(X):-bird(X))). Birds typically fly rule((not flies(X):-penguin(X))). Penguins don’t…