I got 99 problems but Prolog ain't one