An already defined constant within the program.
Numbers
These are Integer or Rational Number
Atoms
Must be lowercase.
female(alice).
aliceis already resolved
An already defined constant within the program.
These are Integer or Rational Number
Must be lowercase.
female(alice).
alice is already resolved