 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
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 ...
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
