Vítor Santos Costa
|
73373e1ca5
|
global arena is now allocated in the C-code, when initing stacks.
|
2008-12-29 00:13:28 +00:00 |
|
Vítor Santos Costa
|
90d95fdf17
|
fix bad comparisons in devel version.
|
2008-12-29 00:12:54 +00:00 |
|
Vítor Santos Costa
|
331d1830dd
|
fix throw (it should undo bindings).
|
2008-12-29 00:11:05 +00:00 |
|
Vítor Santos Costa
|
18d5fa12e4
|
fix case where compiler would coredump on badly typed arguments to functor/3.
|
2008-12-28 11:00:38 +00:00 |
|
Vítor Santos Costa
|
5e09d8e1bd
|
make sure that we restore even if only the X registers moved.
|
2008-12-28 11:00:05 +00:00 |
|
Vítor Santos Costa
|
95a15bb689
|
fix small mistakes in output_ewalks.
|
2008-12-26 09:26:17 +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 |
|
Vítor Santos Costa
|
8efcdf7eaa
|
add support for creating a list of codes or atoms incrementally.
|
2008-12-22 13:49:44 +00:00 |
|
Vitor Santos Costa
|
7598b56c38
|
fix prompt in silent mode (obs from Tony Wilson)
|
2008-12-22 12:44:49 +00:00 |
|
Vítor Santos Costa
|
915ae47d18
|
fix ~R bug (thanks to Carsten Mueller)
|
2008-12-22 12:16:31 +00:00 |
|
Vítor Santos Costa
|
43e70f2003
|
more changes to support SWI Input/Output. Now it compiles, which does
not mean it would work!
|
2008-12-22 12:03:14 +00:00 |
|
Vítor Santos Costa
|
60b899ee4d
|
q#
|
2008-12-22 12:02:22 +00:00 |
|
Vítor Santos Costa
|
e51a4c2f5b
|
more changes to interface better with SWI-Prolog
|
2008-12-19 11:41:56 +00:00 |
|
Vítor Santos Costa
|
a2744ed186
|
further changes to better support SWI interface.
|
2008-12-17 14:47:05 +00:00 |
|
Vítor Santos Costa
|
f19db29647
|
support split on blank spaces (tab and spaces).
|
2008-12-17 14:46:39 +00:00 |
|
Vítor Santos Costa
|
14a162dc6a
|
fix compilation of NewX = f instructions.
|
2008-12-13 21:22:07 +00:00 |
|
Vítor Santos Costa
|
875a4553d5
|
fix dump of compiler intsructions.
|
2008-12-13 21:21:24 +00:00 |
|
Vítor Santos Costa
|
2b0c27deb6
|
Remove attempt to emulate SWI I/O
add YAP_getcwd and PL_cwd to interface
|
2008-12-13 16:07:55 +00:00 |
|
Vítor Santos Costa
|
e0531d0743
|
fix bad access flags call.
|
2008-12-12 22:46:32 +00:00 |
|
Vítor Santos Costa
|
8c4c7b4ae5
|
fix unbound call to current_predicate/2
|
2008-12-12 22:45:41 +00:00 |
|
Vítor Santos Costa
|
fdf06f486d
|
replace if-then-else optimisation by the new mechanism.
|
2008-12-09 14:23:19 +00:00 |
|
Vítor Santos Costa
|
a36be5bf20
|
massive changes to support new scheme for arithmetic:
- compilation and assembly support
|
2008-12-09 12:54:27 +00:00 |
|
Vítor Santos Costa
|
2e8d898e86
|
add new eval compiler
fix garbage collector for new big allocation scheme.
|
2008-12-05 16:08:44 +00:00 |
|
Vítor Santos Costa
|
8bcafd417a
|
include new arithmetic optimiser.
|
2008-12-04 23:37:25 +00:00 |
|
Vítor Santos Costa
|
e737599dc4
|
Change to simpler Eval mechanism
- avoid duplicate code
- implement different optimised code.
|
2008-12-04 23:33:32 +00:00 |
|
Vítor Santos Costa
|
13dd600f88
|
add type to BIG NUMs, so that we can easily know what it is all about.
|
2008-11-28 15:54:46 +00:00 |
|
Vítor Santos Costa
|
e8cbc5034e
|
first patch to isolate GMP code.
|
2008-11-28 15:54:08 +00:00 |
|
Vítor Santos Costa
|
902dafa906
|
more support for learning
|
2008-11-26 09:56:55 +00:00 |
|
Vítor Santos Costa
|
58d4442883
|
fixes for gcc-4.3 (same as stable)
|
2008-11-26 09:56:18 +00:00 |
|
Vitor Santos Costa
|
a64c1138df
|
more CLP(BN) fixes
- support clpbn_table for an efficient implementation of deterministic tabling.
- corresponding changes to learning algorithm.
|
2008-11-18 11:29:59 +00:00 |
|
Vitor Santos Costa
|
abf9691282
|
fixes to hashing code.
|
2008-11-18 11:29:08 +00:00 |
|
Vitor Santos Costa
|
99c5cb3e36
|
new version of term_hash based on SWI-ideas.
It handles infinite terms, and it seems to be a better hash.
|
2008-11-18 11:28:11 +00:00 |
|
Vitor Santos Costa
|
1b98de440d
|
Improve Gibbs learning in CLP(BN).
|
2008-11-14 14:56:18 +00:00 |
|
Vitor Santos Costa
|
1be78e23ec
|
had shortcut for var-to-var unification.
|
2008-11-14 14:54:52 +00:00 |
|
Vitor Santos Costa
|
e62ae6be36
|
improve handling of local stack expansion.
|
2008-11-14 14:54:25 +00:00 |
|
Vitor Santos Costa
|
f5e1b6d029
|
fix bug in create array: argument order was reversed.
|
2008-11-14 14:53:44 +00:00 |
|
Vitor Santos Costa
|
0ef147459a
|
handle case where we can expand attributed variable stack
without having to grow stack physically.
|
2008-11-14 14:52:55 +00:00 |
|
Vitor Santos Costa
|
9296762791
|
fix bug in reserving space for queues.
|
2008-11-14 14:52:00 +00:00 |
|
Vitor Santos Costa
|
7a21ccb009
|
Include hack to unify two attributed variables, if the solver knows what
it is doing.
|
2008-11-14 14:50:54 +00:00 |
|
Vitor Santos Costa
|
8e9fde1c6c
|
backtrack global hash table.
|
2008-11-14 14:50:04 +00:00 |
|
Vitor Santos Costa
|
99248795c9
|
support for learning CLP(BN) programs from Aleph
|
2008-11-13 09:03:53 +00:00 |
|
Vitor Santos Costa
|
1c334ea198
|
fix bad marking of attributed variables from trail.
|
2008-11-13 09:03:27 +00:00 |
|
Vitor Santos Costa
|
6920041189
|
fix bad size in grow stack
|
2008-11-13 09:02:33 +00:00 |
|
Vitor Santos Costa
|
297ea16dcb
|
fix type in gprof
|
2008-11-05 13:28:44 +00:00 |
|
Vitor Santos Costa
|
3f491b8666
|
small fixes
|
2008-11-04 17:02:26 +00:00 |
|
Vitor Santos Costa
|
e19a8eeb87
|
fix case where index has no clauses.
|
2008-11-04 17:01:57 +00:00 |
|
Vitor Santos Costa
|
13fb5d5156
|
fix underflows when computing marginals.
|
2008-11-04 03:55:49 +00:00 |
|
Vitor Santos Costa
|
0dc7d3492d
|
move aggregate support to aggregates.
|
2008-11-04 03:32:59 +00:00 |
|