- 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 and Artificial Intelligence
- Discusses theories and diagrams of logical systems, properties, techniques, robotics, and technologies. Also provides profiles of researchers and list of applications used.
- 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.
- Xcerpt
- Deductive, rule-based query language for graph-structured data, features news, documentation, examples, related projects, prototype, and more.
- XSB
- Logic programming and deductive database system for Unix and Windows, offers research information and program details.
|