Pavel Bažant: Prolog and Logic Programming