fork(1) download
  1. %domains
  2. % s=symbol
  3.  
  4. predicates
  5. isMale(symbol).
  6. isFemale(symbol).
  7. isParent(symbol,symbol).
  8.  
  9. clauses
  10. isMale(bob).
  11. isMale(Sam).
  12. isMale(Hurry).
  13. isMale(Bill).
  14. isMale(Jack).
  15. isMale(Jim).
  16. isMale(George).
  17.  
  18. isFemale(Ann).
  19. isFemale(Lise).
  20. isFemale(Maria).
  21. isFemale(Katherine).
  22. isFemale(Angelina).
  23. isFemale(Hellen).
  24. isFemale(Tess).
  25. isFemale(Jassica).
  26.  
  27. isParent(Bob,Lise).
  28. isParent(Bob,Hurry).
  29. isParent(Ann,Lise).
  30. isParent(Ann,Hurry).
  31. isParent(Sam,Katherine).
  32. isParent(Sam,Angelina).
  33. isParent(Lise,Katherine).
  34. isParent(Lise,Angelina).
  35. isParent(Bill,Jim).
  36. isParent(Katherine,Jim).
  37. isParent(Hurry,Jack).
  38. isParent(Maria,Jack).
  39. isParent(Jack,Tess).
  40. isParent(Jack,Jassica).
  41. isParent(Jack,George).
  42. isParent(Hellen,Tess).
  43. isParent(Hellen,Jassica).
  44. isParent(Hellen,George).
  45.  
  46.  
  47.  
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
prog.pl:5:2: syntax error: . or operator expected after expression
prog.pl:10:2: syntax error: . or operator expected after expression
prog.pl:11: warning: singleton variables [Sam] for isMale/1
prog.pl:12: warning: singleton variables [Hurry] for isMale/1
prog.pl:13: warning: singleton variables [Bill] for isMale/1
prog.pl:14: warning: singleton variables [Jack] for isMale/1
prog.pl:15: warning: singleton variables [Jim] for isMale/1
prog.pl:16: warning: singleton variables [George] for isMale/1
prog.pl:18: warning: singleton variables [Ann] for isFemale/1
prog.pl:18: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:19: warning: singleton variables [Lise] for isFemale/1
prog.pl:19: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:20: warning: singleton variables [Maria] for isFemale/1
prog.pl:20: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:21: warning: singleton variables [Katherine] for isFemale/1
prog.pl:21: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:22: warning: singleton variables [Angelina] for isFemale/1
prog.pl:22: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:23: warning: singleton variables [Hellen] for isFemale/1
prog.pl:23: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:24: warning: singleton variables [Tess] for isFemale/1
prog.pl:24: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:25: warning: singleton variables [Jassica] for isFemale/1
prog.pl:25: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:27: warning: singleton variables [Bob,Lise] for isParent/2
prog.pl:27: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:28: warning: singleton variables [Bob,Hurry] for isParent/2
prog.pl:28: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:29: warning: singleton variables [Ann,Lise] for isParent/2
prog.pl:29: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:30: warning: singleton variables [Ann,Hurry] for isParent/2
prog.pl:30: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:31: warning: singleton variables [Sam,Katherine] for isParent/2
prog.pl:31: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:32: warning: singleton variables [Sam,Angelina] for isParent/2
prog.pl:32: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:33: warning: singleton variables [Lise,Katherine] for isParent/2
prog.pl:33: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:34: warning: singleton variables [Lise,Angelina] for isParent/2
prog.pl:34: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:35: warning: singleton variables [Bill,Jim] for isParent/2
prog.pl:35: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:36: warning: singleton variables [Katherine,Jim] for isParent/2
prog.pl:36: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:37: warning: singleton variables [Hurry,Jack] for isParent/2
prog.pl:37: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:38: warning: singleton variables [Maria,Jack] for isParent/2
prog.pl:38: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:39: warning: singleton variables [Jack,Tess] for isParent/2
prog.pl:39: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:40: warning: singleton variables [Jack,Jassica] for isParent/2
prog.pl:40: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:41: warning: singleton variables [Jack,George] for isParent/2
prog.pl:41: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:42: warning: singleton variables [Hellen,Tess] for isParent/2
prog.pl:42: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:43: warning: singleton variables [Hellen,Jassica] for isParent/2
prog.pl:43: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:44: warning: singleton variables [Hellen,George] for isParent/2
prog.pl:44: warning: discontiguous predicate isParent/2 - clause ignored
	2 error(s)
compilation failed
stdout
Standard output is empty