diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,368 Commits 2 Branches 6 Tags 146 MiB
c63709f310
Commit Graph

118 Commits

Author SHA1 Message Date
Vítor Santos Costa
0b1c98d3f6 allow MPI to compute term size. 2012-02-05 11:57:03 +00:00
Vítor Santos Costa
bd677152e7 more MPI fixes. 2012-02-05 11:20:30 +00:00
Vítor Santos Costa
a2c86643b0 ismall fixes to MPI interface. 2012-02-03 16:31:49 +00:00
Vítor Santos Costa
6eea1fe1ea fixes for export_term and friends. 2012-02-02 23:25:09 +00:00
Vítor Santos Costa
4e6cc28cd3 lam support. 2012-02-02 09:58:05 +00:00
Vitor Santos Costa
91cada2661 include correct implementation of skip_list as built-in. 2012-01-09 23:28:31 +00:00
Vítor Santos Costa
749a5103a1 fix empty slots in unnumbervars. 2011-11-18 22:16:33 +00:00
Vítor Santos Costa
cadb0fe4ae ifix bad call to unnumbervars. 2011-11-16 14:59:28 +00:00
Vítor Santos Costa
64dded4a53 iunnumbervars may be copying terms from outside the stacks, so don't share 
unless we know we share.
 2011-11-04 09:28:33 +00:00
Vítor Santos Costa
6ed7736c28 C implementation of numbervars 2011-11-03 07:44:08 +09:00
Vitor Santos Costa
15f5277ca4 use structure for visited terms in hash. 
predicates that did stack expansion were declared safe.
 2011-07-06 17:26:53 -04:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Joao
8170f6d3cb Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS 2011-05-23 16:19:47 +01:00
Vítor Santos Costa
8fb8aec9bf MULTIPLE_STACKS - or-parallelism/threads/tabling 
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
 2011-04-14 18:51:11 +01:00
Vitor Santos Costa
d51dc81032 fix bad left-over. 2011-03-19 23:24:13 +00:00
Vitor Santos Costa
a1fbcf872b bad handling of overflow. 2011-03-19 23:21:37 +00:00
Vítor Santos Costa
0d8aed7971 new implementation of corourining... 2011-03-18 19:34:58 +00:00
Vítor Santos Costa
90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa
e509d11c2e routines to copy rational terms to tree and vice-versa. 2010-11-01 20:11:28 +00:00
Vítor Santos Costa
388f4fb782 expand C-interface to allow access to common term operations (request from Ingo Molnar). 2010-08-02 19:48:17 +01:00
Vítor Santos Costa
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
Vitor Santos Costa
a7612bb15e fix bad call to subsumes (obs from Jose Santos) 2010-07-21 00:09:24 +01:00
Vitor Santos Costa
6183ff0282 semweb and http compile now (but they don't work properly yet). 2010-07-15 23:35:37 +01:00
Vitor Santos Costa
a45105ee04 export wide atoms and add a little comment.y 2010-07-15 17:46:52 +01:00
Vitor Santos Costa
b2184ecb00 term export and import routines 2010-07-15 17:19:37 +01:00
Vítor Santos Costa
11641c5f94 64 bit cleanups. 2010-05-06 15:00:44 +01:00
Vitor Santos Costa
da51afc1e4 fix term_hash of floats and large ints (obs from Jose Santos). 2010-03-22 00:09:50 +00:00
Vítor Santos Costa II
3c67550975 fix stupid use of ++ within macro. 2010-03-15 16:20:47 +00:00
Vitor Santos Costa
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
Vitor Santos Costa
4fafe10fbe fix error messages 2010-03-14 09:32:04 +00:00
Vitor Santos Costa
222ead095c term_attvars/2. 2010-03-12 08:49:12 +00:00
Vitor Santos Costa
30a4f3cfe7 fixes to support copy_term and nb_ 2010-03-12 08:24:58 +00:00
Vitor Santos Costa
3d10482cc7 more upgrades to new coroutining code. 2010-03-10 14:06:07 +00:00
Vitor Santos Costa
34ca485e42 new Atts code. 2010-03-08 09:23:58 +00:00
Vitor Santos Costa
2702c7e973 oops, forgot deref 2010-01-25 21:28:51 +00:00
Vitor Santos Costa
5cd85f4eaa export Yap_IsGroundTerm(t) 2010-01-25 12:28:49 +00:00
Vítor Manuel de Morais Santos Costa
a7c1e9afba fix hashing over empty atoms (obs from Jose Santos). 2010-01-21 15:21:26 +00:00
Vitor Santos Costa
2edc06b6a2 fix unifiable for attributed variables (obs from Jiefei Ma). 2010-01-21 09:47:55 +00:00
Vitor Santos Costa
6852a0c861 make =@= an well known alias to variant. 2009-11-23 10:10:14 +00:00
Vitor Santos Costa
7b85efff0c subsumes should check for loops (Ulrich's #146). 2009-11-17 02:08:01 +00:00
Vitor Santos Costa
0179998d60 change Heap.h to YapHeap.h 
rename $live to prolog/0 (for SWI compatibility).
 2009-10-23 14:22:17 +01:00
Costa Vitor
56d37591a5 fix var_in_term 2009-09-12 17:17:16 -05:00
Costa Vitor
bf9091b5ed fix bug in copyterm 2009-06-17 14:43:24 -05:00
Costa Vitor
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
Vitor Santos Costa
780b629bff fix bad handling of trail overflow. 2009-05-04 21:26:47 -05:00
Vitor Santos Costa
b5dc71d080 is_list/1 is now a builtin. 2009-04-24 10:31:53 -05:00
Vitor Santos Costa
cc7ff82275 term_hash non non_ground terms: ignoring the variables. 2009-03-31 21:56:12 +01:00
Vitor Santos Costa
b744fabb71 new predicates for variable search in term. 2009-03-10 16:21:05 +00:00
Vitor Santos Costa
cd548813fd make $variables_in_term/3 check for repeated variables, ie (vint(a(X),[X],[X])). 2009-03-09 14:15:41 +00:00
Vítor Santos Costa
a8ac9bfb43 generate known atoms and functors automatically 2008-12-23 01:53:52 +00:00