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