CSC 351 - Prolog

Question 0

What is a proposition?

Answer 0

Logical statement that may or may not be true.

Can be represented as a fact (assumed to be true) or query (truth is to be determined)

Question 1

Logic Languages?

Answer 1

• expressed in a form of symbolic logic
• uses a logical inferencing process to produce results
• declarative

Question 2

What is symbolic logic

Answer 2

Logic which can be used for the basic needs of formal logic

Question 3

Object representation

Answer 3

Objects in prepositions are represented by either constants or variables

Question 4

What is a compound term?

Answer 4

One element of a mathematical relation, written like a function

Question 5

What is resolution?

Answer 5

Inference principle that allows inferred propositions to be computed from given propositions

Question 6

What is unification?

Answer 6

Finding values for variables in prepositions that allows matching process to succeed

Question 7

What is instantiation?

Answer 7

Assigning temporary values to variables to allow unification to succeed

Question 8

What is a prolog term?

Answer 8

A constant, variable or structure

Question 9

What is a prolog constant?

Answer 9

An atom or an integer

Question 10

What is a prolog atom?

Answer 10

Symbolic value, can be a string of letters, digits and underscores beginning with a lowercase letter

Question 11

What is a prolog variable?

Answer 11

Any string of letters, digits and underscores beginning with an uppercase

Question 12

What is a prolog instantiation?

Answer 12

Binding of a variable to a value

Question 13

What is a prolog structure?

Answer 13

Represents atomic proposition

Question 14

Inferencing process of prolog?

Answer 14

To prove a query (goal) is true, must find a chain of inference rules and/or facts

Prolog uses backward chaining - begin with goal and attempt to find sequence that leads to set of facts
Prolog uses depth-first search