Top /
Computers /
Programming /
Languages /
Logic-based /
Functional_Logic /
 |
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.
http://www.informatik.uni-kiel.de/~curry/
Uni-kiel.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
BABEL
Operational semantics based on lazy narrowing; provides some higher-order features.
http://www-i2.informatik.rwth-aachen.de/Research/BABEL/
Rwth-aachen.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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
http://www.cs.bris.ac.uk/~jwl/escher.html
Bris.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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 w
ftp://ftp.imag.fr/pub/labo-LSR/SCOP/LPG/
Imag.fr ~
Site Info
Whois
Trace Route
RBL Check
|
 |
RELFUN
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 (relation
http://www.dfki.uni-kl.de/~vega/relfun.html
Uni-kl.de ~
Site Info
Whois
Trace Route
RBL Check
|
|
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 us
http://www.informatik.uni-kiel.de/~mh/systems/ALF.html
Uni-kiel.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
HAL
Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
http://www.csse.monash.edu.au/~mbanda/hal/
Monash.edu.au ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
