In Partnership with AOL Search
 
about dmoz | dmoz blog | suggest URL | update listing | become an editor | report abuse/spam | help
Open Directory - Computers: Programming: Languages: Logic-based: Functional Logic
See also:
  • ALF - Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full integration of both programming models, so any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations.
  • BABEL - Operational semantics based on lazy narrowing; provides some higher-order features.
  • Curry - Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles in the area of integrated functional logic languages.
  • Escher - Declarative, general-purpose language, merges best features of functional and logic languages. Has types and modules, higher-order and meta-programming facilities, declarative input/output. Set of system modules provides many operations on standard data types: integers, lists, characters, strings, sets, programs. [PDF]
  • Functional Logic Programming - Michael Hanus's pages on amalgamating functional and logic programming.
  • HAL - Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
  • LPG - Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or classical atomic formulae. Extant version uses extension of SLD-resolution merged with innermost narrowing.
Volunteer to edit this category.
Copyright © 2012 Netscape Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: Friday, June 26, 2009 5:05:21 AM EDT - edit