View source with formatted comments or as raw
    1% { bird(tweety), flies(tweety), not -flies(tweety) }, { -flies(tweety), bird(tweety), not flies(tweety) }
    2bird(tweety).
    3
    4flies(tweety) :- bird(tweety), not -flies(tweety).
    5
    6-flies(tweety) :- bird(tweety), not