MercuryExternal LinkLanguish Language RankingsGithub332Derived from Prolog, it provides a clean and efficient logic programming with support for functional programming features and powerful static analysis tools.DetailsGeneralAppeared 1995#332 on LanguishExternal LinkHomeExternal LinkDialect ofPrologInfluenced ByHaskellPrologLicensesMITParadigmsDeclarativeFunctionalGeneral-PurposeLogicPlatformsBSDLinuxWindowsType SystemsAlgebraic Data TypesStaticStrong