An already defined constant within the program. Must be lowercase. female(alice). alice is already resolved