Home Set as Homepage Add to Favorite Contact            11 November, 2009   search for     egories Arts » Business » Computers » Education » Entertainment » Health » Home » Kids and Teens » News » Recreation » Reference » Science » Shopping » Society » Sports » New Addition Adhesives Manufacturers India Microtex Energy P Ltd. Welding Wires Manufacturer India Corporate Express, Inc. Headphones Noise Reduction Bimetal Bandsaw Blades Suppliers Ferrous Metal Casting Supplier Plastic Products Supplier Biology Equipment Exporters Power Cable Accessories Supplier Hypnosis Relaxation Wholesale Industrial Chemicals Suppliers Agarwal Packers and Movers Equestrian Equipment Machine Installation Service Small Business Phone Systems Mitel / Inter-tel Aastra Telephone system Fire Alarm Cables Exporters Esstech Inc. Embroidery Whispers Resort of St Pete Beach      Category:  Main » Computers » Programming » Languages » Logic-based UPDATE URL | REPORT BROKEN LINK Elf Meta-Language Popularity:    Hit: 69 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, ... 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 ... Related Press Donald J. Trump Partners with TV One on a Groundbreaking New Reality Series Entitled, 'Omarosa's Ultimate Merger' (Popularity: ): Real Estate Billionaire and Entertainment Mogul Donald J. Trump has partnered with TV One on a groundbreaking new reality series ... Atari to Ship Star Trek Online on February 2, 2010 (Popularity: ): Atari, Inc., one of the world's most recognized videogame publishers, and Cryptic Studios(TM), creators of the acclaimed Champions Online, City ... Joolwe.com Is Honoring Five Community Heroes with Free Jewelry for Christmas (Popularity: ): The holidays are just around the corner and one Dallas-based online jewelry store is honoring five women who touch the ... Do you need a more powerful mobile phones to support your communications needs? (Popularity: ): Do you need a more powerful mobile phones to support your communications needs? How about three sim card three standby? ... Data Recovery becomes more faster with the Windows Data Recovery Software by Recover Data (Popularity: ): Recover Data announces the new series of Windows Data Recovery Software equipped with lot of new data recovery features & ... Related Articles Article Writing - 3 New Ways to Energize Your Article Writing (Popularity: ): Whether you're an internet marketer or a freelance writer, it's a must that you constantly energize or improve the quality ... The Coverdell Education Savings Account - Is it Right For You? (Popularity: ): Most parents are dealing with daily battles from getting homework into backpacks to packing a healthy lunch, still long term ... There is Bankruptcy Help in Milwaukee and Waukesha (Popularity: ): Milwaukee has a proud history of industriousness and self-sufficiency. This is due in part to the influx of many German ... Decision Support System - Brief Information (Popularity: ): The plan of a DSS or Decision Support System is very broad and its meanings differ depending upon the writer's ... Make Money on Facebook Or Via iPhone - Here's a Sure Fire Way to Generate a Huge Income (Popularity: ): An area of Facebook which is making several companies huge amounts of money is the applications that run on Facebook. ...     Home | Top | Set as Homepage | Bookmark this Page | Privacy | Contact | Submit URL © 2003-2008, ABC-Directory.Com. All Rights Reserved