Logic Based Programming

• Constraint Logic
• Functional Logic

• Mercury@
• Oz-Mozart@
• Prolog@

• Computers: Programming: Languages: Functional 
• Science: Math: Logic and Foundations: Software 

• Association for Logic Programming  - Collates information for the contribution of the development of logic programming. Check for related topics and journal.
• Department of Computer Science University of Illinois  - Check for general Maude System information, documentation, and applications.
• Dyna  - Collates particulars about this programming language. Comes with project status, documentation, and downloads.
• KLIC Association  - Intends to enhance and popularize parallel logic programming language implementation. With ReadMe file, releases, tutorial, and mailing list.
• Logic Based Systems Lab  - Provides publications, manuals, tutorial slides, and Linear and Logical Programming executables and model list.
• Logic Programming  - Overview of the programming and to various resources on the net.
• Logic Related Conferences  - Listing of events and workshops for Logic-based programming with proceedings.
• MCORBA  - Comes with news, downloads, applications, and other related information.
• Mercury Project  - Showcases this logic/functional programming language, includes, news, documentation, and related works.
• Starlog Project  - Logic programming language solutions with example codes, and concept and motivation details.
• TyRuBa  - Logic-meta-programming system designed for generating Java code. Comes with language reference, tutorial and project page.
• XSB  - Logic programming and deductive database system for Unix and Windows, offers research information and program details.