Prolog, Input prüfen?