Logic Based Programming in the Best of the Web Directory

Logic Based Programming

Department of Computer Science University of Illinois

Check for general Maude System information, documentation, and applications.

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.

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.

Submit a site to this category