In Prolog, an instantiation refers to:

Question $2$ options:

a$)$

represents an atomic proposition

b$)$

binding of type and value to a variable

c$)$

a single execution of a program

d$)$

creating a new instance of an object