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