Symbolic reasoning about myocardial scintigrams in PROLOG | JoVE Visualize