Prolog is a logic programming language widely used for __________________.
A goal is a statement that we are trying to prove whether or not it is True or False.
Imported from external platform