List of Programming Languages By Type - Logic-based Languages

Logic-based Languages

See also: Category:Logic programming languages

Logic-based languages specify a set of attributes that a solution must have, rather than a set of steps to obtain a solution. Examples:

  • ALF
  • Alma-0
  • CLACL (CLAC-Language)
  • Curry
  • Formula One
  • Fril
  • Janus
  • λProlog (a logic programming language featuring polymorphic typing, modular programming, and higher-order programming)
  • Leda
  • Oz
    • Mozart Programming System a multiplatform Oz
  • Poplog
  • Prolog (formulates data and the program evaluation mechanism as a special form of mathematical logic called Horn logic and a general proving mechanism called logical resolution)
    • Mercury (based on Prolog)
    • Strawberry Prolog (standard Prolog with some extensions)
    • Visual Prolog (object-oriented Prolog extension)
  • ROOP

Read more about this topic:  List Of Programming Languages By Type

Famous quotes containing the word languages:

    “The less sophisticated of my forbears avoided foreigners at all costs, for the very good reason that, in their circles, speaking in tongues was commonly a prelude to snake handling. The more tolerant among us regarded foreign languages as a kind of speech impediment that could be overcome by willpower.”
    —Barbara Ehrenreich (b. 1941)