Accident report (cognitve modeling in Prolog)