Re: Mu-Prolog

[brad@cs.adelaide.edu.au (Bradley Alexander)]

=>I am looking for functions in Mu-prolog that I need
=>Like a function which calcule the Max or Min
=>or others mathematics functions.
=>Do you have a library of functions that I could use.
=>Or Is there a Bible of Mu-Prlog that I could buy.

Hello,
      Mu-prolog has a few mathmematical functions but they are
all for integers the functions are:

 Binary operators:
   + - mod /  /\ (which is bitwise and) \/ (bitwise or) 
   ^ (exclusive or) << (shift left) >> (shift right)
 
 Binary predicates:
   and  or  <  =<  >  >=  =:= (equals)  =\= (not equals)

 unary operators:
    - (minus)  \ (bitwise not)

  additonal functions:

   maxint(X)   X is the largest possible integer in the system.
               the smallest is -X-1.

   plus(X,Y,Z) Acts as a predicate if none of the args are variables
               if one is a variable then its value is returned other-
               wise it delays. 

   int(X)      succeeds if X is an integer delays if it a variable.
   integer(X)  succeeds if X is an intege fails otherwise.


Real arithmetic is accomplished though calls to other languages. 
I posted a short summary of this a while ago (I could dig it up 
if needed). 

I could send you a copy of the Mu-Prolog manual if you like but 
since I got my copy from France you may find one closer at hand.

yours sincerely,

Brad Alexander