ALGT An expert system using SWI Prolog that can be used to verify imaging algorithms A little about the history... Description of predicates...