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