Cpsc 3520 exam 2 Study guides, Class notes & Summaries

predicate correct answersConsists of a name and an optional set of arguments. The number of arguments is the arity of the predicate. clause correct answersAre either rules or facts. They are built using predicates and logical connectives and allowed to contain variables which are assumed universally quantified. Comprised of a head and an optional body or tail. If body is empty, it is a fact. fact correct answersA clause without a body or tail. It is interpreted to be true. rule correct ...