PROLOG is an AI programming language which solves problems with a form of symbolic
logic known as ______.
A. Propositional logic
B. Tautology
C. Predicate calculus
D. Temporal logic
logic known as ______.
A. Propositional logic
B. Tautology
C. Predicate calculus
D. Temporal logic