XSB

Introduction

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.

Usage

Compute Systems Invocation Version(s)
Red Hat Linux (64-bit) % /util/bin/xsb 3.4 (default)

Notes

  1. Exit with Ctrl-d.

People

  1. Jan Chomicki, instructor.

References

  1. http://en.wikipedia.org/wiki/XSB
  2. http://xsb.sourceforge.net/