High-level programming language with incremental execution and local search
Primary LanguagePrologMIT LicenseMIT