Sb-prolog

Stony Brook Prolog. A public domain Prolog interpreter for Unix. Distributed under the GNU General Public License.

Free Online Dictionary of Computing