e031026a62
instrument PE locking
...
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
2010-07-25 11:22:16 +01:00
a7612bb15e
fix bad call to subsumes (obs from Jose Santos)
2010-07-21 00:09:24 +01:00
6183ff0282
semweb and http compile now (but they don't work properly yet).
2010-07-15 23:35:37 +01:00
a45105ee04
export wide atoms and add a little comment.y
2010-07-15 17:46:52 +01:00
b2184ecb00
term export and import routines
2010-07-15 17:19:37 +01:00
11641c5f94
64 bit cleanups.
2010-05-06 15:00:44 +01:00
da51afc1e4
fix term_hash of floats and large ints (obs from Jose Santos).
2010-03-22 00:09:50 +00:00
3c67550975
fix stupid use of ++ within macro.
2010-03-15 16:20:47 +00:00
8b6b9e9ac3
we don't need to wakeup variables that have no attributes, even if they have been bound.
2010-03-15 14:17:30 +00:00
4fafe10fbe
fix error messages
2010-03-14 09:32:04 +00:00
222ead095c
term_attvars/2.
2010-03-12 08:49:12 +00:00
30a4f3cfe7
fixes to support copy_term and nb_
2010-03-12 08:24:58 +00:00
3d10482cc7
more upgrades to new coroutining code.
2010-03-10 14:06:07 +00:00
34ca485e42
new Atts code.
2010-03-08 09:23:58 +00:00
2702c7e973
oops, forgot deref
2010-01-25 21:28:51 +00:00
5cd85f4eaa
export Yap_IsGroundTerm(t)
2010-01-25 12:28:49 +00:00
a7c1e9afba
fix hashing over empty atoms (obs from Jose Santos).
2010-01-21 15:21:26 +00:00
2edc06b6a2
fix unifiable for attributed variables (obs from Jiefei Ma).
2010-01-21 09:47:55 +00:00
6852a0c861
make =@= an well known alias to variant.
2009-11-23 10:10:14 +00:00
7b85efff0c
subsumes should check for loops (Ulrich's #146 ).
2009-11-17 02:08:01 +00:00
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
56d37591a5
fix var_in_term
2009-09-12 17:17:16 -05:00
bf9091b5ed
fix bug in copyterm
2009-06-17 14:43:24 -05:00
ec595374a6
fix allocation of temporary stack so that unification can work even for
...
very deep terms.
fix occur_unification_bug X = a(f(Y)).
2009-05-22 18:35:24 -05:00
780b629bff
fix bad handling of trail overflow.
2009-05-04 21:26:47 -05:00
b5dc71d080
is_list/1 is now a builtin.
2009-04-24 10:31:53 -05:00
cc7ff82275
term_hash non non_ground terms: ignoring the variables.
2009-03-31 21:56:12 +01:00
b744fabb71
new predicates for variable search in term.
2009-03-10 16:21:05 +00:00
cd548813fd
make $variables_in_term/3 check for repeated variables, ie (vint(a(X),[X],[X])).
2009-03-09 14:15:41 +00:00
a8ac9bfb43
generate known atoms and functors automatically
2008-12-23 01:53:52 +00:00
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
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
17ba194c1e
Include new instruction execute_cpred to perform tail optimisation for
...
builtins. Required changes:
- be careful about creeping in deallocate: it may be followed by
something that is not a cut nor a proceed.
- include new instruction in absmi.c: it is a merge of execute and
call_cpred.
- change compiler to generate execute even for C builtins.
- be careful with dexecute: it may not be done if execute_op is a C
builtin.
- if we are in execute_cpred, the garbage collector cannot trust P:
instead it must look at CP to find out the size of the current
environment. The macro gc_P receives that information.
- We don't need to change CP if we do a meta-call from within
execute_cpred (and we in fact cannot). Check places where we do
meta-calls: exec, clause in cdmgr, and lu_recorded.
2008-08-28 04:43:00 +01:00
d170b34624
MaxOS fixes
...
Avoid a thread deadlock
improvements to SWI predicates.
make variables_in_term system builtin.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2304 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-12 01:27:23 +00:00
85d7d39dbf
more thread fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2297 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-06 17:32:22 +00:00
257c3a2cbc
fix threads and LU
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2233 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-10 23:24:13 +00:00
92d26f604e
term_variables could store local variable in global.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2199 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-03 10:50:28 +00:00
b2274186bd
make or-parallelism compile again
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2164 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-25 16:45:53 +00:00
d02bc3de81
update chr
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2143 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-13 14:38:02 +00:00
af0fb4f4d9
SWI-portability changes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-12 17:03:59 +00:00
01432a467a
fix a few extra overflows.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1993 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-14 09:23:42 +00:00
c0c2d8767b
fix trail overflow while copying huge terms
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1990 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-12 10:39:49 +00:00
a5f5f4c237
compile ground terms away.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1975 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-06 17:02:13 +00:00
1656d383d5
more small fixes (thanks to Markis Triska)
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1953 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-10-11 14:25:09 +00:00
7f366435f4
fixes to copy term
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1931 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-21 13:52:52 +00:00
9cdf70aa41
fix number of overflows (comments by Bart Demoen).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1857 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-27 13:48:51 +00:00
78b52b925c
diverse fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1738 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-27 01:32:38 +00:00
f0b132b083
more fixes for global data-structures.
...
statistics on atom space.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1690 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-09-01 20:14:42 +00:00
d11fd73306
global variables
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1685 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-08-22 16:12:46 +00:00
0f714371e5
fix garbage collector not to try to garbage collect when we ask for large
...
chunks of stack in a single go.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1684 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-08-07 18:51:44 +00:00
Vítor Santos Costa
Vítor Manuel de Morais Santos Costa
Costa Vitor
Vítor Santos Costa
vsc