CMU Artificial Intelligence Repository
Math Library: Prolog code for various mathematical
functions.
lang/prolog/code/math/
algebra/ Algebra: Computer algebra system implemented in
Prolog
graph/ Prolog graph-handling routines
interval/ II: Integer arithmetic constraint system using
interval arithmetic.
A variety of mathematical functions implemented in Prolog.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
Math, Prolog!Code, Prolog!Math
Last Web update on Mon Feb 13 10:33:50 1995
AI.Repository@cs.cmu.edu