Prolog in 10 figures | Communications of the ACM | DeepDyve