Top : Computers : Programming : Languages : Logic-based :
Functional Logic
Categories
| Mercury @ Oz @ |
Websites
Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
site exerpt
HAL home page Constraint logic programming (CLP) languages are evolving to support more flexible experimentation with constraint solvers. First generation CLP languages, such as CLP(R Jaffar et al 92 provided almost no support. They had a fixed underlying solver for each constraint domain...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.
site exerpt
The Functional Logic Language Curry Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. Moreover, it also covers the most important operational principles developed in the area of integrated functional logic languages: residuation...Operational semantics based on lazy narrowing; provides some higher-order features.
site exerpt
MOVES: Software Modeling and Verification (Info 2) Integration funktionaler und logischer Sprachen Funktionale und Logik-Programmiersprachen bieten gegenber den konventionellen Programmiersprachen viele Vorteile und sind vor allem fr Anwendungen in der symbolischen Datenverarbeitung wichtig. Man fasst sie unter dem Oberbegriff deklarative Programmiersprachen zusammen, um die enge Verwandtschaft der...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.
site exerpt
Escher Escher also has a collection of system modules, providing numerous operations on standard data types such as integers, lists, characters, strings, sets, and programs. The main design aim is to combine in a practical and comprehensive way the best ideas...Michael Hanus's pages on amalgamating functional and logic programming.
site exerpt
Functional Logic Programming Functional logic programming aims to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. In comparison with pure functional languages, functional logic languages have more expressive power due to the availability of features like function inversion,...Subset-Equational Language: functional programming language based on equational and subset program clauses, with strict semantics, weak typing. Goal: declarative and efficient set processing compatible with functional and logic programming. Provides ability to define transitive closures through circular constraints. FTP site.
ftp://ftp.cs.buffalo.edu:/users/bharat/SEL2/
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.
ftp://ftp.imag.fr/pub/labo-LSR/SCOP/LPG/
Relational-Functional Language: logic-programming language with call-by-value (eager) expressions of non-deterministic, non-ground functions; clauses are Hornish, succeeding with true(s), or footed, returning any value(s), and define operations (relations, functions) allowing (apply-reducible) higher-order syntax with arbitrary terms (constants, structures, variables) as operators.
site exerpt
DFKI RELFUN Project The language explicitly distinguishes structures [passive] and expressions (active All structures and expressions, not only lists or tuples, can have varying arities. RELFUN generalizes PROLOG's is-primitive to unifying a structure with the value(s) of an arbitrary expression; expressions may become...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.
site exerpt
The ALF System F is a language which combines functional and logic programming techniques. The foundation of ALF is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Since ALF...