Tygrys.com - katalog stron : Computers : Programming : Languages : Logic-based : Functional Logic

---

Znaleziono 8 stron w kategorii Functional Logic:

Tytuł strony: ALF
Opis strony: 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.
Adres: http://www.informatik.uni-kiel.de/~mh/systems/ALF.html

Tytuł strony: BABEL
Opis strony: Operational semantics based on lazy narrowing; provides some higher-order features.
Adres: http://www-i2.informatik.rwth-aachen.de/Research/BABEL/

Tytuł strony: Curry
Opis strony: 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.
Adres: http://www.informatik.uni-kiel.de/~curry/

Tytuł strony: Escher
Opis strony: 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.
Adres: http://www.cs.bris.ac.uk/~jwl/escher.html

Tytuł strony: Functional Logic Programming
Opis strony: Michael Hanus's pages on amalgamating functional and logic programming.
Adres: http://www.informatik.uni-kiel.de/~mh/FLP/

Tytuł strony: HAL
Opis strony: Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
Adres: http://www.csse.monash.edu.au/~mbanda/hal/

Tytuł strony: LPG
Opis strony: 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.
Adres: ftp://ftp.imag.fr/pub/labo-LSR/SCOP/LPG/

Tytuł strony: RELFUN
Opis strony: 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.
Adres: http://www.dfki.uni-kl.de/~vega/relfun.html

---

Small Business 2007 nieruchomości lublin ortodoncja lodz Kamagra stretch

Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

Zapraszamy do Globalnego Katalogu Stron - największy zbiór stron w sieci
Teksty piosenek | drzwi | self catering cottages | Kredyt mieszkaniowy na oświadczenie | stojaki reklamowe