fork download 
  1. witch(X)  <= burns(X) and female(X).
  2. burns(X)  <= wooden(X).
  3. wooden(X) <= floats(X).
  4. floats(X) <= sameweight(duck, X).
  5.  
  6. female(girl).          {by observation}
  7. sameweight(duck,girl). {by experiment }
  8.  
  9. ? witch(girl).
  10.  
  11. {\fB After Monty Python (Sir Bedevere). \fP}
  12.  
  13.  
Success #stdin #stdout 0.02s 6204KB
comments (?)
stdin 
Standard input is empty
stdout 
Standard output is empty
https://ideone.com/Ck3sI
language:
Prolog (swi 7.6.4)
created:
14 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!