Logic-based resources found in History, Languages, directories
Located in Duncan BC, Indemand Sales and Solutions is the best choice for your complete website development project!
Indemand.net Specializes in Website Design, In Duncan b.c. in the Cowichan Valley on Vancouver Island
Reliable Website / Domain Hosting at an affordable price. Full Service Account Management
Affiliate Programs. Earn revenue from your traffic.
Have Indemand Sales & Solutions from Duncan, in the Cowichan Valley register / maintain your domain
Data Management. Utilize our extensive data management services. We can build your data centers correctly!
Search Engine Optimization. The most critical concept for your website. Drive traffic to your site!
Logic-based Links
 

Learn more about Logic-based from our Languages directory

Google

/ Resources / History / Languages / Logic-based /

Technical resources for Logic-based / Constraint Logic Constraint Logic
Resources		Technical resources for Logic-based / Functional Logic Functional Logic
Resources


Logic-based Technical Links & Resources


located in the History, Languages Categories

ALP - The Association for Logic Programming promotes all activities concerning the theory and application of logic programming in computer science
Axiomatic Language - A pure
COMPULOG NET: Network of Excellence: NoE - Information on European ESPRIT Basic Research (funded) NoE
Conferences: Logic-Related - In the last few years
DBLP: Logic Programming - A bibliography on logic programming is supplemented with a survey of conferences
Dyna - A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values
Journal of Logic Programming - Unofficial bibliography and home page.
Kiev: Java compiler with logic extensions - This open-source language licensed under GPL is a superset of Java with Prolog-like extensions.
KLIC Association - Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1
Logic-Based Systems Lab - Department of Computer and Information Science
LPNMR FTP Archive - Logic programming papers.
PC AI - Logic Programming - As part of a survey of information on artificial intelligence this section on logic programming is provided.
SampleTalk Language and programming technology - Build a program immediately from data processing examples: AI language
Special Interest Group on Logic Programming and Nonmonotonic Reasoning: LPNMR - Forum for exchange of information on the area of logic programming (LP) and nonmonotonic reasoning (NR): questions in LP related to NR
Starlog - Declarative temporal logic programming language for: general purpose programming
The Maude System - Maude is a reflective language based on equational rewrite principles
The World Wide Web Virtual Library: Logic Programming - Affiliated with the comp.lang.prolog newsgroup this repository includes general information
TyRuBa - Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog
University: Imperial College: Logic Programming Group - Department of Computing
What are Logic Programming and Prolog? - Clear explanation of logic programming
Xcerpt - A logic-based query and transformation language for XML and semistructured data.
XE - Resulting from the Exbed project
XSB - A research-oriented Logic Programming system for Unix and Windows/DOS-based systems

Help build the largest human-edited directory on the web. Open Directory Project - Become an Editor

| Home | Services | Request a Quote | Contact Us | About Us | Sitemap | Search the net | Domain Search | Our Showcase |
| Templates | SEO | SEO Help | SEO Overview | SEO How | Search Engine Planning | Design Basics | Design Basics 2 | CSS Basics |
| Resources | More Resources | Links | Members Area | Free Email Reminders| | Drivers | Books | Online Shopping | Bankruptcy |

Servicing: Cowichan Valley | Duncan | Greater Victoria | Victoria |

© 1995-2012 InDemand Sales & Solutions.