Jax RCFB Copyright © 1988-2009 Jack J. Woehr

Prolog and Logic Programming

This page is designed to be browsable using a text-mode browser.

• Amzi Prolog
  • A vendor with an embeddable logic engine, neat!
• Brain Aid Prolog
  • Prolog environment for Transputers.
• Declarativa InterProlog a Java front-end and enhancement for Prolog
  • Nice list of Java+Prolog systems
    
• Java-Based Prolog Open Code Project
  • Help code a new Prolog written entirely in Java!
• LPA Prolog
  • Nice stuff.
• Paulo Moura's Links to Logtalk, Prolog, and Object-oriented Programming related resources
• POPLOG
  • Open Source Poplog website.
• Prolog Development Center
  • A commercial Prolog vendor featuring a timelock download of Visual Prolog.
• Prolog Tutorial
• Quintus Prolog
  • For a long time one of the industry leaders in commercial supported Prolog.
• Reform Prolog Project Home Page
  • A beta release of Reform Prolog is now freely available under the GNU GPL.
• SICStus Prolog
  • A fine commercial Prolog system compiling to native code.
• Sudoku Solver for Prolog
• SWI-Prolog
  • Possibly the best free Prolog in GNU style , freely redistributable but with licensing restrictions if you embed it in a commercial application.
• Paul Tarau's Home Page
  • Paul is involved with BinProlog, JProlog and Jinni.
• Warren's Abstract Machine: A Tutorial Reconstruction
  • Hassan Ait-Kaci's excellent work formerly published by the MIT Press is out of print but now downloadable from his website.
• The World Wide Web Virtual Library: Logic Programming

Rocky Coast Free Board

Jax Home Page