Multiple Choice
____ takes the perspective that a program describes what the solution to a problem is,not how that problem is solved.
A) Interpretive programming
B) Resolution
C) Declarative programming
D) Unification
Correct Answer:

Verified
Correct Answer:
Verified
Related Questions
Q22: Logic programming systems are sometimes referred to
Q23: Programs known as automatic deduction systems _.<br>A)
Q24: The statements a → b and b
Q25: The process of unification can be used
Q26: Prolog applies resolution in a strictly linear
Q28: The kind of logic used in logic
Q29: Theorems are derived from axioms.
Q30: Resolution is an especially inefficient inference rule
Q31: _ are statements that are assumed to
Q32: Horn clauses of the form →b are