Home Set as Homepage Add to Favorite Contact
           27 November, 2009
 
search for
 
 
 
egories
Arts »
Business »
Computers »
Education »
Entertainment »
Health »
Home »
Kids and Teens »
News »
Recreation »
Reference »
Science »
Shopping »
Society »
Sports »


New Addition
Polyester Bath Mats Manufacturers
Advanced Combustion Technology, Inc.
Indian Staffing Services
Carpet Cleaning Victoria
Color Guard Floors
San Francisco Caregiver
Baltimore Innovations- Desiccant and Moisture Control Experts
Griffin Construction Services
Hotel in Jodhpur - Hotel Sachdeva Excellency
Indian Institute of Alternative Medicine
Solar Panels Outlet
Kitchens
Door Architrave Manufacturers
Dynamic Website Designing
Kobe Motor Company Exports Japanese Used Cars
Bamboo Flooring
OmniCoil Spring Works Inc.
Affordable Used Cars
Australian Vets.
Mercator


    
Category:  Main » Computers » Programming » Languages » Logic-based

UPDATE INFO | REPORT BROKEN LINK
Elf Meta-Language Popularity:    Hit: 75
Details:
Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.

Sponsored Links:
URL: http://www-2.cs.cmu.edu/~fp/elf.html
Title: The Elf Meta-Language
Description: Computers, Programming, Languages, Logic-based - Elf Meta-Language. Constraint-logic programming language based on LF Logical Framework
Specialized in:

 
KLIC Association (Popularity: ): Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth ...
XSB (Popularity: ): A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering ...
XE (Popularity: ): Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but ...
DBLP: Logic Programming (Popularity: ): A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ...
SampleTalk Language and programming technology (Popularity: ): Build a program immediately from data processing examples: AI language, simpler than Prolog, based on generalization and matching of unconstrained ...
PC AI - Logic Programming (Popularity: ): As part of a survey of information on artificial intelligence this section on logic programming is provided.
Starlog (Popularity: ): Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components: a ...
Logic-Based Systems Lab (Popularity: ): Department of Computer and Information Science, Brooklyn College of the City University of New York. Home of the 2LP Language, ...
TyRuBa (Popularity: ): Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented ...


Popular Sites
The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ...
DBLP: Logic Programming (Popularity: ): A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
KLIC Association (Popularity: ): Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth ...
LPG (Popularity: ): Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, ...
Elf Meta-Language (Popularity: ): Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages ...


Related Press
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
The Conference Board Consumer Confidence Index(R) Edges Up (Popularity: ): The Conference Board Consumer Confidence Index®, which had declined in October, increased slightly in November. The Index now stands at ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity: ): Gives BMO exclusive rights to issue Diners Club cards in North America; clients will benefit from worldwide acceptance and ability ...
Amid the Flu Epidemic, Don't Forget RSV in Young Children (Popularity: ): Influenza, particularly H1N1, has understandably captured the attention of public health officials, the media and the public. However, an analysis ...


Related Articles
Time Travel Exotica (Popularity: ): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
10 Hints that Comprises SEO Copywriting Handbook (Popularity: ): Starting with SEO copywriting creates lot of confusions with website content writing. But in reality there is a huge difference ...
Home Based Jobs - A Way to Get Extra Income (Popularity: ): Almost every Filipino is looking for home based jobs. This is due to the financial difficulties brought about by the ...
Is Starbucks Going Sleeveless? (Popularity: ): If you're a regular customer of Starbucks and enjoy a hot drink, then you know about the little cardboard "sleeve" ...
High Speed AIT-5 Tape Media Format (Popularity: ): Advanced intelligent tape storage technology uses helical scan in which the data is recorded on diagonal tracks. The recording system ...


 
 
Home | Top | Set as Homepage | Bookmark this Page | Privacy | Contact | Submit URL
© 2003-2008, ABC-Directory.Com. All Rights Reserved