# Shared Flashcard Set

## Details

PL
Chapter 16
15
Computer Science
Not Applicable
04/25/2007

Term
 Three primary uses of symbolic logic in formal logic:
Definition
 To express propositions, To express the relationships between propositions, To describe how new propositions can be inferred from other propositions that are assumed to be true
Term
 Two parts of a compound term
Definition
 Functor: function symbol that names the relation (loves)Ordered list of paramters ("mike", "PL)
Term
 General form of proposition in clausal form:
Definition
 Right side: Antecedent,Left side: Consequent
Term
 Forms of Horn Clauses:
Definition
 Single atomic proposition (RULE), No consequent (FACT)
Term
 Declarative Semantics:
Definition
 That there is a simple way to determine the meaning of each statement, and it does not depend on how the statement might be used to solve a problem.
Term
 Three forms of a Prolog term:
Definition
 constant (lowercase), variable (uppercase), structure (functor(params))
Term
 facts:
Definition
 things known to be true (FORM: female(Ryan).)
Term
 closed-world
Definition
 if not stated, then not true
Term
 Rules:
Definition
 general truths by inference (FORM: parent(X, Y) :- mother(X, Y).)
Term
 Approaches to attempting to match a goal
Definition
 forward chaining: take goal and find sequence in goal.backward chaining: take goal find sequences in database.
Term
 backtracking
Definition
 backing up in the goal to the reconsideration of a previously proven subgoal
Term
 resolutions
Definition
 inferrence rule, that allows inferred propostions to be computed from given propositions
Term
 unification
Definition
 process of determining useful values for variables.
Term
 Prolog negation problem in prolog
Definition
 can't skip already used facts in database, to must must have a facts to determing "same" for every fact.
Term
 Goal of logic programming
Definition
 provide nonprocedural programming: a system by which programmers specify what a program is supposed to do but need not specifiy how that is to be accomplished
Supporting users have an ad free experience!