In the context of Prolog programming, a(n) ________________ is a tabular method for visualizing and specifying rules based on multiple factors.
a. selection control structure
b. decision table
c. formal method
d. storyboard