User:Logicalgregory/Falsifiability in Prolog

Falsifiability in Prolog The principle of falsifiability from the philosophy of science can be easily represented in Prolog ...

Rules and facts in English
L rule: all long necked birds with webbed feet are swans L rule: all things that are black are not white M rule:all swans are white Particlar fact: Ausie is a bird with with a long neck and webbed feet and Ausie is black By the incorrigable first L rule (the definition) Ausie is a swan. By the incorrigable second L rule (the definition) Ausie is not white. Therefore, there is at least one swan that is not white. The M rule has been falsified.

Population of the Program with facts
Scottie Pommie Frenchie Dutchie Turk Indie