Which of these is a logic language?

Prolog
Python
SQL
HTML

Prolog is a logic language.