general

JSR223Program
sequentally reduce all subterms and always return true.
apply
- apply(x) - synonim to reduce x
- apply(x,y)
  - x is name of system -- apply system x to term y
  - x is JTerm -- invoke method y to object in x
  - x is rule -- try to apply this rule to y
note, that apply have syntax shugar -- x.y


arity



arity(t(x1..xn)) -> n


clone



  clone(x) - return term clone (i.e. deep copy) of x.



divide



ariphmetics division.  (syntax shugar is x/y)


eq



eq(x,y) - true if x and y are equal


greater



 greater(x,y) = x > y 
  
   greater(boolean, boolean)  -> usial greater in ariphmetics sence. 
   greater(numeric, numeric)  -> usial greater in ariphmetics sence. 
   greater(string,  string )  -> Compares lexicographically 
 


greater_eq



 greater_eq(x,y) = x >= y 
  
   greater_eq(boolean, boolean)  -> usial compare in ariphmetics sence. 
   greater_eq(numeric, numeric)  -> usial compare in ariphmetics sence. 
   greater_eq(string,  string )  -> Compares lexicographically 
 


if



if(x,y,z) = [ x ? y : z ] - if x is true, then return y, otherwise - z 


intersection



intersection($x,$y) - intersection of sets $x and $y, i. e.
 intersection({},$S) = {}
 intersection({$x:$y},$S) = $x in $S ? { $x:intersection($y,$S)} : intersection($y,$S)
 



isAtom



isAtom(x) = true if term 'x' is atom.


isBigDecimal



isBigDecimal(x) = true if term 'x' is big decimal.


isBigInteger



isBigInteger(x) = true if term 'x' is big integer.


isBoolean



isBoolean(x) = true if term 'x' is a boolean term.


isByte



isByte(x) = true if term 'x' is a byte.


isChar



isChar(x) = true if term 'x' is a char.


isDouble



isDouble(x) = true if term 'x' is a double value.


isFloat



isFloat(x) = true if term 'x' is a float value.


isInt



isInt(x) = true if term 'x' is a int.


isJavaObject



isJavaObject(x) = true if term 'x' is java object.


isList



isList(x) = true if term 'x' have look cons($x,$y) or NIL


isLong



isLong(x) = true if term 'x' is a long.


isNil



isNil(x) = true if term 'x' is nil.


isNumber



isNumber(x) = true if term 'x' is a number.


isShort



isShort(x) = true if term 'x' is a short.


isString



isString(x) = true if term 'x' is a string.


isX



isX(x) = true if term 'x' is a propositional variable.


less



 less(x,y) = x < y 
  
   less(boolean, boolean)  -> usial less in ariphmetics sence. 
   less(numeric, numeric)  -> usial less in ariphmetics sence. 
   less(string,  string )  -> Compares lexicographically 
 


less_eq



 less_eq(x,y) = x <= y  (x less or equal then y) 
  
   less_eq(boolean, boolean)  -> usial less or equal in ariphmetics sence. 
   less_eq(numeric, numeric)  -> usial less or equal in ariphmetics sence. 
   less_eq(string,  string )  -> Compares lexicographically 
 


let



let(rule) - add rule to system, and return true 
let(assigments,retval) - perform assigments and substitute retval 



logical_and



 logical_and(x,y) = x && y 
  
   logical_and(boolean, boolean)  -> logical multiplication of arguments. 
 


logical_not



logical_not(x) = ! x  
  
  logical_not(boolean)  -> logical inversion of argument. 
 
 


logical_or



logical_or(x,y) = x || y 
  
  logical_or(boolean, boolean)  -> logical addition of arguments. 
 
 


minus



minus(x,y) - ariphmetics difference
minus(x) - ariphmetics negation

minus(minus($0))->$0


$0-$1->$0+minus($1)



mod



mod(x,y) - ariphmetics module of 'x' by 'y'


multiply



 ariphmetics multiplication. 
     also if one of argument - numeric, perform commutative operation 
     to forse numeric value be first in expression.
  i. e.  
 
     x*z*2 -> 2*x*z 
     3*x*2 -> 6*x  


1*$0->$0


$0*0->0


0*$0->0


$0*1->$0



neq



neq(x,y) - true if x and y are not equal


plus



plus(x,y) =  x+y  - ariphmetics plus
    +x -> x 
    x+y -> ariphmetics sum of x and y if they are numeric.



$0+minus($0)->0



printString



printString($x) - print string on system.out and always return true


reduce



reduce(t) -- force reduction of  t 


term_arity



arity(t(x1..xn)) -> n


term_name



name of functional symbol of term


toBigDecimal



convert to big decimal term if possible


toBigInteger



convert to big integer term if possible


toBoolean



transform term to boolean


toDouble



convert to double term if possible


toInt



convert to int term if possible


toLong



convert to long term if possible


toString



convert to string term


unify



unify(x,y) - do unification of x with y, filling current substitution if necessory. On success - fill substitution and  reduce to true, otherwise - reduce to false.