Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
Functional Logic (7)
- Top/Computers/Programming/Languages/Declarative
- Top/Computers/Programming/Languages/Functional
- Top/Computers/Programming/Languages/Logic-based/Constraint Logic
- Top/Computers/Programming/Languages/Multiparadigm
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 use
http://www.informatik.uni-kiel.de/~mh/systems/ALF.html
Operational semantics based on lazy narrowing; provides some higher-order features.
http://www-i2.informatik.rwth-aachen.de/Research/BABEL/
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/
Michael Hanus's pages on amalgamating functional and logic programming.
http://www.informatik.uni-kiel.de/~mh/FLP/
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/
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 wi
ftp://ftp.imag.fr/pub/labo-LSR/SCOP/LPG/
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
http://www.dfki.uni-kl.de/~vega/relfun.html
Last Updated: 2007-01-02 19:58:16
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
