Re: redundancy

student wrote:

domains

NAME = symbol
AGE = integer

predicates

child(NAME,AGE)
playmates(CHILD,CHILD,AGE)

'CHILD' is undefined. That should be

predicates

child(NAME,AGE)
playmates(NAME,NAME,AGE)

.