A crash course in logic for Prolog programmers