Logic Programming Flashcards

1
Q

What are Horn clauses in prolog

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What is the alphabet of Prolog?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Rules in prolog are

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Queries in prolog are

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

How do lists work in prolog?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

How do you search for an element of a list

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

How do you add an element to a list? Delete an element? Append two lists? Sublist?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Example of list operations:

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What is unification?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

What is equality in prolog?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

How does arithmetic and β€˜is’ work in prolog?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

More unification

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

What are control algorithms in prolog?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Control algorithm examples

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What are prolog trees and how do they work?

A

Review slides and vid as well

How well did you know this?
1
Not at all
2
3
4
5
Perfectly