1/12
Looks like no tags are added yet.
Name | Mastery | Learn | Test | Matching | Spaced |
---|
No study sessions yet.
Which logical connectives are used to write a rule in prolog?
Implication & conjunction
What is important to know about Prolog’s “negation as failure”?
a)Prolog’s negation is only logically sound when there are no disjunctions in the negated expression
b)Prolog’s negation is only logically sound if all variables in the negated expression are ground
c)Prolog’s negation is only logically sound when it’s applied to a literal
Prolog’s negation is only logically sound if all variables in the negated expression are ground
How many solutions will Prolog provide for a query?
A)One for each literal in the query
B)Just one, unless the user requests more
C)All possible solutions
Just one, unless the user requests more
What are the two main programing paradigms?
A)Procedural vs Object Oriented
B)Imperative vs Declarative
C)Functional vs Logic
D)Static vs Dynamic
Imperative vs Declarative
What is the Prolog logic programing language based on?
A)Modal logic
B)Intuitionistic logic
C)Predicate logic
D)Propositional logic
Predicate logic
The syntax of Prolog is composed of:
-variables
-atoms
-functors
-implications
-conjunctions
[there is more than one answer]
-Atoms
-Functors
-implications
-conjunctions
Prolog’s SLD resolution algorithm is
a)A breadth first tree search algorithm
b)A Monte Carlo tree search algorithn
c)A depth first tree search algorithm
d)A linear search algorithm
A depth first tree search algorithm
What is the return type of a generator written in C# that yields values of some type T?
IEnumerable<T>
What are the advantages of the “generator pattern?”
All of the above
What kind of data can be queried with LINQ
All of the above
Initialized static variables
Data segment
Local Variables
Stack
The machine instructions of the executable
Text segment