Welcome to ListC.com is full of categories related to computer including links to artificial intelligence, bulletin board systems, computer science, system management, security, graphics, system management and much more.
Browse Categories
Artificial Intelligence
Bulletin Board Systems
Communications
Companies
Computer Science
Data Communications
Data Formats
Education & Training
Emulators
Graphics Design
Guides and Directories
Hardware
Home Automation
Human Resources
Humor
Mobile Computers
Multimedia
News & Magazines
Programming
Security
Software
System Management
Technical Guides & Support
 
You are here: Home > Programming > Languages > Logic-based
Listing(s)
Axiomatic Language
A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
http://www.axiomaticlanguage.org/
Google PR
Bookmark and Share
KLIC Association
Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth Generation Computer Systems (FGCS) project, by Institute for New Generation Computer Technology (ICOT), Jap
http://www.klic.org/
Google PR
Bookmark and Share
Xcerpt
A logic-based query and transformation language for XML and semistructured data.
http://xcerpt.org/
Google PR
Bookmark and Share
Category Jump :
Home | About Us | Contact Us | Disclaimer | Link to Us | Privacy Policy | Submit Site | Computer Blog
Copyright © ListC.com, Inc. All Rights Reserved.
At ListC.com you can find all information related to computer such as operating systems, data communications, home automation, system management, configuration management, word processors & offices suite, data formats.