Prolog for Lojbanists