fork download

%domains
%	s=symbol
 
predicates
	isMale(symbol).
	isFemale(symbol).
	isParent(symbol,symbol).
 
	isMother(symbol,symbol).
	isFather(symbol,symbol).
	isBrother(symbol,symbol).
	isChild(symbol,symbol).
	isDoughter(symbol,symbol).
	isSon(symbol,symbol).
	isGrandFather(symbol,symbol).
	isGrandMother(symbol,symbol).
	isСousin(symbol,symbol).
	hasChildren(symbol).
	isGrandFather(symbol).
	isGrandMother(symbol).
	hasBrother(symbol).
	hasSister(symbol).
	hasCousin(symbol).
 
clauses
	isMale(Bob).
	isMale(Sam).
	isMale(Hurry).
	isMale(Bill).
	isMale(Jack).
	isMale(Jim).
	isMale(George).
 
	isFemale(Ann).
	isFemale(Lise).
	isFemale(Maria).
	isFemale(Katherine).
	isFemale(Angelina).
	isFemale(Hellen).
	isFemale(Tess).
	isFemale(Jassica).
 
	isParent(Bob,Lise).	
	isParent(Bob,Hurry).
	isParent(Ann,Lise).
	isParent(Ann,Hurry).
	isParent(Sam,Katherine).
	isParent(Sam,Angelina).	
	isParent(Lise,Katherine).	
	isParent(Lise,Angelina).	
	isParent(Bill,Jim).	
	isParent(Katherine,Jim).
	isParent(Hurry,Jack).
	isParent(Maria,Jack).
	isParent(Jack,Tess).
	isParent(Jack,Jassica).
	isParent(Jack,George).
	isParent(Hellen,Tess).
	isParent(Hellen,Jassica).
	isParent(Hellen,George).
 
 
 

prog.pl:5:2: syntax error: . or operator expected after expression
prog.pl:17:4: syntax error: . or operator expected after expression
prog.pl:26:2: syntax error: . or operator expected after expression
prog.pl:27: warning: singleton variables [Sam] for isMale/1
prog.pl:28: warning: singleton variables [Hurry] for isMale/1
prog.pl:29: warning: singleton variables [Bill] for isMale/1
prog.pl:30: warning: singleton variables [Jack] for isMale/1
prog.pl:31: warning: singleton variables [Jim] for isMale/1
prog.pl:32: warning: singleton variables [George] for isMale/1
prog.pl:34: warning: singleton variables [Ann] for isFemale/1
prog.pl:34: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:35: warning: singleton variables [Lise] for isFemale/1
prog.pl:35: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:36: warning: singleton variables [Maria] for isFemale/1
prog.pl:36: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:37: warning: singleton variables [Katherine] for isFemale/1
prog.pl:37: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:38: warning: singleton variables [Angelina] for isFemale/1
prog.pl:38: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:39: warning: singleton variables [Hellen] for isFemale/1
prog.pl:39: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:40: warning: singleton variables [Tess] for isFemale/1
prog.pl:40: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:41: warning: singleton variables [Jassica] for isFemale/1
prog.pl:41: warning: discontiguous predicate isFemale/1 - clause ignored
prog.pl:43: warning: singleton variables [Bob,Lise] for isParent/2
prog.pl:43: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:44: warning: singleton variables [Bob,Hurry] for isParent/2
prog.pl:44: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:45: warning: singleton variables [Ann,Lise] for isParent/2
prog.pl:45: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:46: warning: singleton variables [Ann,Hurry] for isParent/2
prog.pl:46: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:47: warning: singleton variables [Sam,Katherine] for isParent/2
prog.pl:47: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:48: warning: singleton variables [Sam,Angelina] for isParent/2
prog.pl:48: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:49: warning: singleton variables [Lise,Katherine] for isParent/2
prog.pl:49: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:50: warning: singleton variables [Lise,Angelina] for isParent/2
prog.pl:50: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:51: warning: singleton variables [Bill,Jim] for isParent/2
prog.pl:51: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:52: warning: singleton variables [Katherine,Jim] for isParent/2
prog.pl:52: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:53: warning: singleton variables [Hurry,Jack] for isParent/2
prog.pl:53: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:54: warning: singleton variables [Maria,Jack] for isParent/2
prog.pl:54: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:55: warning: singleton variables [Jack,Tess] for isParent/2
prog.pl:55: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:56: warning: singleton variables [Jack,Jassica] for isParent/2
prog.pl:56: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:57: warning: singleton variables [Jack,George] for isParent/2
prog.pl:57: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:58: warning: singleton variables [Hellen,Tess] for isParent/2
prog.pl:58: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:59: warning: singleton variables [Hellen,Jassica] for isParent/2
prog.pl:59: warning: discontiguous predicate isParent/2 - clause ignored
prog.pl:60: warning: singleton variables [Hellen,George] for isParent/2
prog.pl:60: warning: discontiguous predicate isParent/2 - clause ignored
	3 error(s)
compilation failed

Standard output is empty