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:

    “I am always sorry when any language is lost, because languages are the pedigree of nations.”
    —Samuel Johnson (1709–1784)