Prolog from formal specification to prototype See original record