YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 499.999,-    Phone: +49(176)74919078
 
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Programming » Languages » Logic-based » Functional Logic


 Categories

Leda (4) Mercury (3) Oz-Mozart (8)

 Web Pages    1 - 7   of   7


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 (relat...

http://www.dfki.uni-kl.de/~vega/relfun.html

[more pages from this URL] 


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/

[more pages from this URL] 


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/

[more pages from this URL] 


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...

http://www.informatik.uni-kiel.de/~mh/systems/ALF.html

[more pages from this URL] 


Operational semantics based on lazy narrowing; provides some higher-order features.

http://www-i2.informatik.rwth-aachen.de/Research/BABEL/

[more pages from this URL] 


Michael Hanus's pages on amalgamating functional and logic programming.

http://www.informatik.uni-kiel.de/~mh/FLP/

[more pages from this URL] 


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 merge...

ftp://ftp.imag.fr/pub/labo-LSR/SCOP/LPG/

[more pages from this URL] 



Olympos Beach


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact