Not One But Two Prolog