| Directory > Computers > Programming > Languages > Logic-based > Functional Logic 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.
http://www.informatik.uni-kiel.de/~mh/systems/ALF.html
Reviews Rating: Not yet Rated
Whois 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 (relations, functions) allowing
(apply-reducible) higher-order syntax with arbitrary terms (constants, structures, variables) as
operators.
http://www.dfki.uni-kl.de/~vega/relfun.html
Reviews Rating: Not yet Rated
Whois 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 with innermost narrowing.
ftp://ftp.imag.fr/pub/labo-LSR/SCOP/LPG/
Reviews Rating: Not yet Rated
Whois Check
SEL
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/
Reviews Rating: Not yet Rated
Whois Check
Functional Logic Programming
Michael Hanus's pages on amalgamating functional and logic programming.
http://www.informatik.uni-kiel.de/~mh/FLP/
Reviews Rating: Not yet Rated
Whois 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 types: integers, lists, characters,
strings, sets, programs.
http://www.cs.bris.ac.uk/~jwl/escher.html
Reviews Rating: Not yet Rated
Whois Check
BABEL
Operational semantics based on lazy narrowing; provides some higher-order features.
http://www-i2.informatik.rwth-aachen.de/Research/BABEL/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
|
