Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Logicbased/Functional_Logic
Description
Top
:
Computers
:
Programming
:
Languages
:
Logicbased
:
Functional Logic
(8)
Leda
@
(3)
Mercury
@
(1)
OzMozart
@
(5)
See also:
Computers: Programming: Languages: Declarative
(4)
Computers: Programming: Languages: Functional
(56)
Computers: Programming: Languages: Logicbased: Constraint Logic
(16)
Computers: Programming: Languages: Multiparadigm
(16)
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 higherorder 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, generalpurpose language, merges best features of functional and logic languages. Has types and modules, higherorder and metaprogramming 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, constraintlogic 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 SLDresolution merged with innermost narrowing.
RELFUN
 RelationalFunctional Language: logicprogramming language with callbyvalue (eager) expressions of nondeterministic, nonground functions; clauses are Hornish, succeeding with true(s), or footed, returning any value(s), and define operations (relations, functions) allowing (applyreducible) higherorder syntax with arbitrary terms (constants, structures, variables) as operators.
Usenet comp.lang.functional 
news:

Google Groups
"
Functional Logic
" search on:
AOL

Ask

Bing

Gigablast

Google

Lycos

Yahoo

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: December 5, 2012 at 2:22:19 UTC 
edit