fork download
copy 
  1. domains
  2. 	s=symbol
  3. predicates
  4. 	man(s)
  5. 	woman(s)
  6. 	parent(s,s)
  7. 	mother(s,s)
  8. 	sister(s,s)
  9. 	hasSister(s)
  10. clauses
  11. 	man(john)
  12. 	man(bob)
  13. 	woman(ann)
  14.  
  15. 	% фактов родителя столько, сколько вершин в дереве.
  16. 	parent(john,bob)
  17. 	parent(ann,bob)
Success #stdin #stdout 0.02s 6204KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/lFeho
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!