ALGTAn expert system using SWI Prolog that can be used to verify imaging algorithmsA little about the history...Description of predicates...