PROLOG

PROLOG = Programming in Logic
Eine Programmiersprache, die besonders von Mathematikern und Computerwissenschaftlern verwendet werden.