Application programming in quintus Prolog See original record