Vitor Santos Costa
|
c132e7e6ec
|
fix gmp support to give out of resource error if the bignum is too big.
|
2009-04-25 11:01:33 -05:00 |
|
Vitor Santos Costa
|
2503805aff
|
support 2^2 is 4 and not 4.0: complicated if we have to deal with bignums.
|
2009-04-24 19:03:00 -05:00 |
|
Vitor Santos Costa
|
700ea83b17
|
array name should $array, not array
|
2009-04-22 11:34:23 -05:00 |
|
Vitor Santos Costa
|
fc2e01f320
|
improve code for disjunctions by trying to avoid permanent variables.
|
2009-03-10 16:24:26 +00:00 |
|
Vitor Santos Costa
|
a000af113b
|
OSX portability updates
start of support for commons prolog initiative
|
2009-02-16 12:25:03 +00:00 |
|
Vítor Santos Costa
|
4b826e76ae
|
support for user defined indexing: step 1 basic routines.
|
2009-02-12 16:39:20 +00:00 |
|
Vitor Santos Costa
|
8a3978e3e1
|
rename BinaryTestPredFlag to BinaryPredFlag
get rid of small annoying arithmetic bugs
|
2009-02-09 21:56:40 +00:00 |
|
Vitor Santos Costa
|
b1cf60cafb
|
moe changes to support atomic generation of atoms
support automatic generation of code walker (to find P's predicate and clause)
|
2008-12-24 09:04:44 +00:00 |
|
Vitor Santos Costa
|
f679f21a71
|
cleanup unnecessary MkFunctor
|
2008-12-23 02:20:22 +00:00 |
|
Vítor Santos Costa
|
a8ac9bfb43
|
generate known atoms and functors automatically
|
2008-12-23 01:53:52 +00:00 |
|