Logic Programming Flashcards
1
Q
What are Horn clauses in prolog
A
2
Q
What is the alphabet of Prolog?
A
3
Q
Rules in prolog are
A
4
Q
Queries in prolog are
A
5
Q
How do lists work in prolog?
A
6
Q
How do you search for an element of a list
A
7
Q
How do you add an element to a list? Delete an element? Append two lists? Sublist?
A
8
Q
Example of list operations:
A
9
Q
What is unification?
A
10
Q
What is equality in prolog?
A
11
Q
How does arithmetic and βisβ work in prolog?
A
12
Q
More unification
A
13
Q
What are control algorithms in prolog?
A
14
Q
Control algorithm examples
A
15
Q
What are prolog trees and how do they work?
A
Review slides and vid as well