fork download
  1. man(John).
  2. man(Max).
  3. man(Anrew).
  4. woman(Marry).
  5. woman(Sonya).
  6. woman(Kate).
  7. woman(Helga).
  8. woman(Anna).
  9. parent(Max, Marry).
  10. parent(Max, Sonya).
  11. parent(Andrew, Helga).
  12. kol_det(Max, Marry, 1).
  13. kol_det(Andrew, Helga, 3).
  14.  
  15. Sister(X,Y):-parent(Z,X),parent(Z,Y),woman(X).
  16.  
  17. ?-Sister(Marry,Y), write(Y).
Success #stdin #stdout #stderr 0.02s 7936KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
Warning: /home/1VqvIe/prog:1:
	Singleton variables: [John]
Warning: /home/1VqvIe/prog:2:
	Singleton variables: [Max]
Warning: /home/1VqvIe/prog:3:
	Singleton variables: [Anrew]
Warning: /home/1VqvIe/prog:4:
	Singleton variables: [Marry]
Warning: /home/1VqvIe/prog:5:
	Singleton variables: [Sonya]
Warning: /home/1VqvIe/prog:6:
	Singleton variables: [Kate]
Warning: /home/1VqvIe/prog:7:
	Singleton variables: [Helga]
Warning: /home/1VqvIe/prog:8:
	Singleton variables: [Anna]
Warning: /home/1VqvIe/prog:9:
	Singleton variables: [Max,Marry]
Warning: /home/1VqvIe/prog:10:
	Singleton variables: [Max,Sonya]
Warning: /home/1VqvIe/prog:11:
	Singleton variables: [Andrew,Helga]
Warning: /home/1VqvIe/prog:12:
	Singleton variables: [Max,Marry]
Warning: /home/1VqvIe/prog:13:
	Singleton variables: [Andrew,Helga]
ERROR: /home/1VqvIe/prog:15:6: Syntax error: Operator expected
ERROR: /home/1VqvIe/prog:17:8: Syntax error: Operator expected
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit