Prolog

Question 1

Logic programs are

Answer 1

Declarative

Question 2

Proposition is a

Answer 2

Logical statement or query about the state of the universe

Question 3

Why was formal logic developed?

Answer 3

To describe propositions with the goal of allowing those formally stated propositions to be checked for validity

Question 4

What there needs of formal logic can symbolic logic be used for?

Answer 4

(1) express propositions
(2) express relationship between propositions
(3) describe how new propositions can be inferred from others that are assumed to be true.

Question 5

What is first order predicate calculus used for? What is it a type of.

Answer 5

Logic programming, symbolic logic

Question 6

Proposition’s objects are represented by

Answer 6

Simple terms (constants or variables)

Question 7

What is the simplest type of propositions?

Answer 7

Atomic propositions

Question 8

Logical programming languages are

Answer 8

Declarative languages

Question 9

What do fact and rule statements correspond to (hint what type of clauses)

Answer 9

Headed horn clauses

Question 10

How do you write a prolog atom

Answer 10

String of letters, digits and underscores stating with lowercase letters

Question 11

How do you write variables in prolog

Answer 11

Inbound entitle

Starts with an upper caps letter

Question 12

Facts in prologare (3)

Answer 12

Assumed to be true, contains to variables and stored in database