Visual representation for prolog programming