Which of these is a logic language?

(1 point)
Prolog
Python
SQL
HTML

Prolog is a logic language.