SWI Prolog

Introduction

SWI-Prolog is an open source implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

Usage

OS and Processor Invocation Version(s)
Red Hat Linux (64-bit) % /util/bin/pl 5.6.64 (default)

Notes

  1. Exit pl with Ctrl-d.

People

  1. Carl Alphonce, instructor.
  2. Bharat Jayaraman, instructor.
  3. Stuart Shapiro, instructor.

References

  1. http://en.wikipedia.org/wiki/SWI_Prolog
  2. http://www.swi-prolog.org/
  3. AttachmentSize
    echo.pro979 bytes