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

1820 Commits

Author SHA1 Message Date
Ricardo Rocha
ee0022bb47 checking for frozen segments in the trail stack in now done using the 
macro IN_BETWEEN(Yap_TrailBase, ref, Yap_TrailTop)
 2010-03-12 20:02:32 +00:00
Vítor Santos Costa II
df6b9a8511 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-03-12 18:03:41 +00:00
Vítor Santos Costa II
ff97f53a24 expand_index was broken for long_ints 2010-03-12 18:03:15 +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
abe4744fe7 fix error handling. 2010-03-10 14:09:35 +00:00
Vitor Santos Costa
3d10482cc7 more upgrades to new coroutining code. 2010-03-10 14:06:07 +00:00
Vitor Santos Costa
4a6bfe1fa0 avoid unnecessary term construction. 2010-03-09 22:03:00 +00:00
Vitor Santos Costa
2c53542bb1 fix error handling. 2010-03-09 22:01:42 +00:00
Vitor Santos Costa
34ca485e42 new Atts code. 2010-03-08 09:23:58 +00:00
Vitor Santos Costa
d48be6406b no more need to support AttVars 2010-03-08 09:21:48 +00:00
Vitor Santos Costa
43a822b41f IsAttVar 2010-03-08 09:21:16 +00:00
Vitor Santos Costa
16ea59e106 no more list of variables. 2010-03-08 09:20:30 +00:00
Vitor Santos Costa
0dc4369b20 no more need to support call_residue. 2010-03-08 09:20:06 +00:00
Vitor Santos Costa
e440953256 use IsAttVar 2010-03-08 09:19:57 +00:00
Vitor Santos Costa
99460df195 use IsAttVar 2010-03-08 09:19:35 +00:00
Vitor Santos Costa
e992b0dcf0 new version of attributed variable code, using arena to store variables and 
removing variable chain.
 2010-03-08 09:18:52 +00:00
Vitor Santos Costa
76c6e06b45 patch label for gc 2010-03-08 09:18:30 +00:00
Vitor Santos Costa
02fb454f3f DelayTop goes away 2010-03-08 09:18:08 +00:00
Vitor Santos Costa
81635b48fb use isattvar 2010-03-08 09:17:40 +00:00
Vitor Santos Costa
a98cc1ac65 fix bad label for gc 2010-03-08 09:13:52 +00:00
Vitor Santos Costa
ba091eb2f9 support db_ref_e: 2010-03-06 22:43:21 +00:00
Vitor Santos Costa
8fc50d9935 make YAP throw a runtime-error on unknown arithmetic ops. 2010-03-06 00:16:49 +00:00
Vitor Santos Costa
08257b2817 use YAPSHAREDIR instead of YAP_PL_SRCDIR to book from Prolog files. 2010-03-05 09:51:52 +00:00
Vitor Santos Costa
43a1a754dd erf function (patch from Bernd Gutmann). 2010-03-05 00:01:04 +00:00
U-Khasa\Vitor
1b65f5e220 WINDOWS can seek 2010-03-03 18:50:56 -06:00
Vitor Santos Costa
3070e4ce9d fix locking issues with dynamic predicates and threads (obs from Paulo Moura). 2010-03-03 22:11:50 +00:00
Vitor Santos Costa
fb6c4f966c Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-03-03 21:49:14 +00:00
Vítor Santos Costa II
8f41517e24 del_attrs/1 (for SWI compatibility). 2010-03-03 19:08:17 +00:00
Vitor Santos Costa
24f5b060d5 improve previous patch for syntax_error. 2010-03-02 23:18:04 +00:00
Vitor Santos Costa
9e5a25c61e make sure syntax_error receives a global variable (obs from Jose Santos). 2010-03-02 22:21:48 +00:00
Vitor Santos Costa
233926ea00 fix nb_getval to handle exceptions. 2010-03-01 22:32:40 +00:00
Vitor Santos Costa
51982bee42 fix nb_current/2 2010-03-01 21:48:39 +00:00
U-Khasa\Vitor
46f0a0644c fix bad restore of operators (obs from Paulo Moura) 2010-03-01 11:52:42 -06:00
Vitor Santos Costa
8b18242138 fix missing ; (obs from Paulo Moura). 2010-03-01 00:06:45 +00:00
Vitor Santos Costa
16a9c8a807 SWI-compatible source_file/1 and 2 2010-02-28 22:24:51 +00:00
Vitor Santos Costa
623200683a fix comparison if Int != int. 2010-02-28 12:15:29 +00:00
Vitor Santos Costa
c8479541bb fix bad overflow handling in peek_memory_stream (obs from Jos De Roo). 2010-02-28 09:30:58 +00:00
Vitor Santos Costa
7037b38fa7 make nb_ undefined variable return an error, as SWI does. 2010-02-28 00:57:29 +00:00
Vitor Santos Costa
5778730b62 be less enthusiastsis about writing (op). 2010-02-26 14:14:10 +00:00
Vitor Santos Costa
4355a94793 make syntax_error handling ISO compatible. 2010-02-26 13:08:38 +00:00
Vitor Santos Costa
0e9a98fa30 handle right cases where both argumnets to number_ are bound. 2010-02-26 12:01:24 +00:00
Vitor Santos Costa
b316710db5 make error handling close to ISO. 2010-02-26 12:01:08 +00:00
Vitor Santos Costa
59759cc88e make current_stream file name ISO friendly. 2010-02-26 11:43:05 +00:00
Vitor Santos Costa
69b6f47b73 make open remember original file. 2010-02-26 11:23:15 +00:00
Vitor Santos Costa
038b74493c more ATOM changes. 2010-02-26 10:59:43 +00:00
Vitor Santos Costa
361c54bed8 execute0 has no access to the third argument. 2010-02-26 10:04:33 +00:00
Vitor Santos Costa
f4e734da34 make number_chars and atom_chars SWI/ISO compatible by default. 2010-02-26 10:04:08 +00:00
Vitor Santos Costa
c6ad678174 some more tests. 2010-02-26 09:12:20 +00:00
Vitor Santos Costa
21fb6091ea fix char_conversion 2010-02-26 09:12:06 +00:00
Vítor Santos Costa
01b801e753 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-02-26 00:17:39 +00:00
Vitor Santos Costa
6f745469b0 make ceiling, floor and round always return an int (ISO and SWI compat, obs from Paulo Moura). 2010-02-26 00:15:55 +00:00
Vítor Santos Costa
5e1f8ff84f Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-02-25 17:52:30 +00:00
Vítor Santos Costa
6a7e584e94 protect better call 2010-02-25 17:52:11 +00:00
Vitor Santos Costa
eab72f6ab7 handle integer(0.0/0.0) (obs from David Vaz). 2010-02-23 22:25:04 +00:00
Vitor Santos Costa
83f25afc41 add address_bits flag (request from Paulo Moura). 2010-02-23 00:29:17 +00:00
Vitor Santos Costa
f3c2dea752 use the right type in call. 2010-02-22 23:08:40 +00:00
Vitor Santos Costa
f137773011 fix error handling on entry arguments. 2010-02-22 22:48:13 +00:00
Vitor Santos Costa
29854466fa check_bom should undo char, even if end of file (obs from Nicola di Mauro). 2010-02-21 00:53:55 +00:00
Vitor Santos Costa
7b89916c43 C-code may mess up with environment: we cannot afford to just jump 
there from anywhere (obs from Stefano Ferili).
 2010-02-21 00:45:49 +00:00
Vitor Santos Costa
12672a77e1 fix missing unlock. 2010-02-21 00:45:38 +00:00
Vítor Santos Costa
692a482adf fix gc call while in meta-call. 2010-02-19 15:37:36 +00:00
Vítor Santos Costa
dddad72a0e AtomDouble was not defined correctly. 2010-02-19 14:16:57 +00:00
Vítor Santos Costa
1b66eba611 fix handling of float/1 by indexing code. 2010-02-19 14:16:41 +00:00
Vitor Santos Costa
3b4bb45c62 fix error handling in builtin arithmetic (obs from Jose Santos). 2010-02-18 10:56:59 +00:00
Vitor Santos Costa
c21f178b36 fix error where \* ( could be scanned as \+( (obs from Paulo Moura). 2010-02-18 09:19:29 +00:00
U-Khasa\Vitor
7855ddf2ce exists_directory/1 2010-02-11 12:07:08 -06:00
U-Khasa\Vitor
33190e290d mingw complaint with recent versions of gcc 2010-02-10 03:03:03 -06:00
vsc
f8070bdd59 YAPOR: lock memory allocation under YAPOR/dlmalloc 2010-02-03 22:54:47 +00:00
vsc
976ae73266 fix get_dbterm compilation. 2010-02-03 18:52:10 +00:00
Vitor Santos Costa
929995f5a1 fix compilation problems. 2010-02-01 21:44:21 +00:00
Vitor Santos Costa
3b1ab8cfd9 do not recover space if there is an overflow. (obs from Paulo Moura). 2010-02-01 21:43:45 +00:00
Vítor Manuel de Morais Santos Costa
9d1f0cd361 incremental copying with or-threads. 2010-02-01 20:05:01 +00:00
Vitor Santos Costa
a0b48eb108 protect against calls to garbage collector (obs from Paulo Moura). 2010-01-31 23:03:55 +00:00
Vitor Santos Costa
6b8c2b096a make sure everything is close together. 2010-01-31 23:03:27 +00:00
Vítor Manuel de Morais Santos Costa
10744069fc fix global variable core dump in threaded yapor. 2010-01-29 18:09:07 +00:00
Vítor Manuel de Morais Santos Costa
4d341f2aab fix bad call to gc (obs from Jose Santos). 2010-01-29 15:21:00 +00:00
Vítor Manuel de Morais Santos Costa
f56b9ab426 each OPTYap worker needs its own auxiliary stack! 2010-01-29 12:28:00 +00:00
Vítor Manuel de Morais Santos Costa
139fc6c440 small fixes for CUT_C 2010-01-28 15:42:49 +00:00
Vitor Santos Costa
b4b9891242 fix for gprof in 64 bit OSX. 2010-01-27 10:59:59 +00:00
Vitor Santos Costa
cfba7815c1 fix compilation in OSX, WINDOWS 2010-01-26 23:36:00 +00:00
Vítor Manuel de Morais Santos Costa
bcc4a27206 cut_succeed and cut_fail should recover pool of try_c and should 
do trim_trail (not that the latter really matters).
 2010-01-26 18:03:09 +00:00
Vítor Manuel de Morais Santos Costa
98c0964c80 iget rid of annoying message. 2010-01-26 16:35:15 +00:00
Vitor Santos Costa
b112574dc5 booting should not be console controlled. 2010-01-26 12:20:46 +00:00
Vitor Santos Costa
df267a07b9 be able to parse "hello" 2010-01-26 12:19:48 +00:00
Vítor Manuel de Morais Santos Costa
b0ea945ebc Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-01-26 11:40:47 +00:00
Vítor Manuel de Morais Santos Costa
4d54ea4c92 improve PP on threaded version 2010-01-26 11:40:32 +00:00
Vitor Santos Costa
2702c7e973 oops, forgot deref 2010-01-25 21:28:51 +00:00
Vitor Santos Costa
c8ee7259d7 allow MMAP variable on OSX. 2010-01-25 12:29:27 +00:00
Vitor Santos Costa
5cd85f4eaa export Yap_IsGroundTerm(t) 2010-01-25 12:28:49 +00:00
Vitor Santos Costa
98769ce9af fix case where debugger was finding the wrong clause. 2010-01-25 10:21:40 +00:00
Vitor Santos Costa
ce3a193ae7 fix forgotten unlocks. 2010-01-25 09:01:04 +00:00
Vitor Santos Costa
7854f39fb9 in SYSTEM_MALLOC, save_heap makes no sense (as it stands). 2010-01-22 22:29:07 +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
Vítor Manuel de Morais Santos Costa
1187e58005 fix unnecessary unlocking (obs from Jiefei Ma). 2010-01-21 15:05:59 +00:00
Vítor Manuel de Morais Santos Costa
7bdc216cf6 get rid of the 0x0x problem. 2010-01-21 15:05:01 +00:00
Vitor Santos Costa
fa9425cd21 make sure there is indexing code after a record_at 2010-01-21 10:00:24 +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
d78591f73c don't forget that we may have aaa and aa in substring. 2010-01-18 14:27:56 +00:00
Vitor Santos Costa
8f9f1223e7 fix sub_atom(xxx,_,_,_,'') (obs from David Vaz). 2010-01-17 00:04:17 +00:00
Vítor Manuel de Morais Santos Costa
89e38cbcc0 or_last is different under yapor. 2010-01-15 16:15:36 +00:00
Vitor Santos Costa
7da431fe00 fix fix :( 2010-01-15 10:58:58 +00:00
Vitor Santos Costa
70c762c162 fix undefined predicate (made Logtalk loop). 2010-01-15 01:03:34 +00:00
Vítor Manuel de Morais Santos Costa
a498dc1265 icompile table+orp 2010-01-14 17:38:39 +00:00
Vítor Manuel de Morais Santos Costa
5ef31fbfd2 experiment in or-parallel threads. 2010-01-14 15:58:19 +00:00
Vítor Manuel de Morais Santos Costa
ac104aac9c revert previous commit. 2010-01-14 15:57:16 +00:00
Vítor Manuel de Morais Santos Costa
31314c8059 fix warning about not checking output. 2010-01-14 15:43:18 +00:00
Vitor Santos Costa
8d5c490ff7 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-01-12 22:21:46 +00:00
Vítor Manuel de Morais Santos Costa
d4b14648b0 fix confusion with SWI handling of C-backtrackable predicates. 2010-01-12 14:58:48 +00:00
Vítor Manuel de Morais Santos Costa
4670e456a5 do not check for bom over binary files (obs from Nuno Fonseca). 2010-01-12 14:08:38 +00:00
Vitor Santos Costa
5824e5ecea fix debugging info. 2010-01-12 10:08:15 +00:00
Vitor Santos Costa
02108d2017 make it so that we always use the fixed op for |. Needs improement. 2010-01-12 10:06:10 +00:00
Vítor Manuel de Morais Santos Costa
324833f84a fix excessive trimming in C-interface for backtrackable predicates (obs from José Vieira). 2010-01-11 15:44:43 +00:00
Vitor Santos Costa
e86a995dd2 fix bad test faster interface to eval (obs from Jose Santos) 2010-01-11 10:35:36 +00:00
Vitor Santos Costa
5fc26e1b45 improve emulataion of backtrackable SWI c-code (request from NF). 2010-01-06 11:25:15 -02:00
Vitor Santos Costa
a7e6c5672e try to speed up eval a bit. 2010-01-04 21:16:42 -02:00
Vitor Santos Costa
33f3dcc3d1 avoid excessive error testing 2010-01-03 15:43:07 -02:00
Vitor Santos Costa
da4aa804a7 improve error handling for is/2. 2010-01-03 15:42:51 -02:00
Vitor Santos Costa
ab0913a2df ask for space proportional to the free trail space at trail overflow. 2009-12-21 10:26:00 -02:00
Vitor Santos Costa
6d1eec34db make atom locking compatible with SWI-Prolog. 2009-12-21 10:12:47 -02:00
Vitor Santos Costa
6ec92ac5c0 handle correctly file rewind in the presence of ungetc (obs from Jose Santos). 2009-12-19 19:57:20 -02:00
Vitor Santos Costa
79a1d3e13c fix thread stuff (obs from Jiefei Ma). 2009-12-17 23:55:09 -02:00
Vitor Santos Costa
5b8dc25eff fix locking stuff. 2009-12-17 16:11:02 -02:00
Vitor Santos Costa
6aff7bda59 fix initialization in threaded version. 2009-12-17 16:03:00 -02:00
Vítor Manuel de Morais Santos Costa
48861db34e fix bad testing of choice-point in throw (tabling bug?) 2009-12-12 23:22:10 +00:00
Vitor Santos Costa
1486b97e75 YAP added / to WIN32 file names (obs from Jose Santos). 2009-12-11 09:49:47 +00:00
Vitor Santos Costa
ac2cf2434a prolog_flag executable (obs from Aubrey Barnard). 2009-12-10 01:16:29 +00:00
Vitor Santos Costa
df2b11a6ec define Optype for xxc, for instructions whose constant argument is a term, like functor(a,X,T). 2009-12-06 00:37:48 +00:00
Vítor Manuel de Morais Santos Costa
783c5ed6bc fix excessive untrailing in C-code interface (obs from Nuno Fonseca). 2009-12-04 22:58:46 +00:00
Vítor Manuel de Morais Santos Costa
72e2a9658e make volatile part of the system (SWI compatibility). 2009-12-04 18:24:22 +00:00
Vitor Santos Costa
97a27bd4b6 [ ] and {} should be handled by the scanner, not the parser (obs from Paulo Moura). 2009-12-03 22:51:29 +00:00
Vítor Manuel de Morais Santos Costa
1176f71f3a support for making sure exceptions are reset when they should be reset (obs from Nuno Fonseca, #159) 2009-12-03 17:48:25 +00:00
Vitor Santos Costa
1bbf7ff16c | should use operator priority, not some built-in (#156) 2009-12-03 09:41:28 +00:00
Vitor Santos Costa
d2da5bfe26 fix setup_call_cleanup and friends. 2009-12-03 02:13:22 +00:00
Vitor Santos Costa
06d30b9fc9 Jump and Throw need to store the term away, if they try to use arena 
the term will hang in the stack (#152).
 2009-12-02 21:59:41 +00:00
Vitor Santos Costa
8213d52af4 fix bad call to realloc (nf patches). 2009-11-27 18:46:11 +00:00
Vítor Manuel de Morais Santos Costa
506da0b1bf make write always protect operators when they are not used as operators so as to follow standard (#150). 2009-11-27 16:09:48 +00:00
Vítor Manuel de Morais Santos Costa
69988d0718 harmonize | priority (#149) 2009-11-27 15:55:46 +00:00
Vítor Manuel de Morais Santos Costa
b16623d026 fix realloc and friends (obs from Nuno Fonseca). 2009-11-27 13:31:03 +00:00
Vítor Manuel de Morais Santos Costa
d746afaa32 UserCode may changed YENV, so be careful, be very careful! (obs from Nuno Fonseca). 2009-11-27 13:14:30 +00:00
Vítor Manuel de Morais Santos Costa
98f79484ae change throw mechanism to fit better with cleanup mechanism: 
- balls are now stored off line and recovered by Prolog code when everything
is safe.
- if a ball exists, throw uses the *existing* one (be careful not to have one
laying around).
- Jump routine cleans up every cp except ones for setup_call handling, backtracking simply calls setup handlers.
 2009-11-27 11:21:24 +00:00
Vítor Manuel de Morais Santos Costa
7f5da32c08 fix trail when you do a jumpenv (Ulrich Neumerkel #152) 2009-11-25 09:47:38 +00:00
Vitor Santos Costa
50d720a9c6 fix current_op/3 by walking over the chain of ops or properties and moving complex code to Prolog (obs from Paulo Moura). 2009-11-25 00:38:47 +00:00
Vitor Santos Costa
ccaab728af handle user operators as "prolog" operators. 2009-11-25 00:38:29 +00:00
Ricardo Rocha
7640d65609 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2009-11-23 18:49:23 +00:00
Ricardo Rocha
8a557012dd add primitive YAP_IsLongIntTerm to the C Language interface. 2009-11-23 18:46:57 +00:00
U-Xato7\Vsc
5e70ff47b3 TrueFileName was rewriting input atom in WIN32 :( (obs from Jos Deroo) 2009-11-23 18:42:28 +00:00
U-Xato7\Vsc
691abd8243 check_opcodes is unused in WIN32_, don't declare it. 2009-11-23 16:01:41 +00:00
Vitor Santos Costa
c6406b822b prolog: multifiles are not really system predicates (they can be redefined). 2009-11-23 10:10:47 +00:00
Vitor Santos Costa
6852a0c861 make =@= an well known alias to variant. 2009-11-23 10:10:14 +00:00