Programming LanguageCiaoAppeared 1984Modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular. It supports logic, constraint, functional, higher-order, and object-oriented programming styles.HomepageWikipediaMarkdownEditInfluence graphInfluence graph for Ciao: 3 influencing languages, 1 family linksProlog influenced CiaoScheme influenced CiaoLisp influenced SchemeCiao implements PrologLispPrologSchemeCiaoSolid arrows: influence, oldest at the top. Dashed: compiles to / is a dialect of / implements.ParadigmsConcurrentConstraintDistributedFunctionalLogicModularMultiObject-OrientedPlatformsAppleBSDCross-PlatformLinuxWindowsType SystemsDynamicInferredStaticImplementsPrologInfluenced ByPrologSchemeLicensesGPLLGPLTags3D GraphicsCLICompilerDBMSIndustrial ControlInterpreterProof AssistantScriptingServerShellVisualization
