 |
|
|
Welcome
to the NEW UGN (Undergrounds Network), formerly known as Undergrounds.com!
Browse
our ever growing web directory or any of the other entertainment sites, absolutely
free. Please note that some content has been sourced from the ODP.
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 |
BABEL
Operational semantics based on lazy narrowing; provides some higher-order 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, 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 |
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 |
|
SEO |
|
|
|
