An expert system using SWI Prolog that can be used to verify imaging algorithms
Primary LanguagePrologBSD 2-Clause "Simplified" LicenseBSD-2-Clause