Prolog
Programmiersprache