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

316 Commits

Author SHA1 Message Date
Vítor Santos Costa
8c7d0af032 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-12-22 11:44:48 +00:00
Vítor Santos Costa
1fde83d278 fix overflows 2011-12-22 11:42:26 +00:00
Vítor Santos Costa
18190a4633 fix types for return absmi and friends. 2011-12-13 23:09:05 +00:00
Vítor Santos Costa
7da303450f fix while. 2011-11-30 13:02:20 +00:00
Vítor Santos Costa
0409449a23 expand interface to create list from array of terms. 2011-11-18 16:26:11 +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
9f2b0c7e70 extend C-interface to support b-prolog like stuff 2011-11-03 07:52:52 +09:00
Vítor Santos Costa
8785108e66 Yap_unifiable and TagOfTerm 2011-10-27 12:35:40 +02:00
Vítor Santos Costa
384ddd84ad extend interface with IsTermNIl() 2011-10-24 22:46:16 +01:00
Vitor Santos Costa
72afe868ec allow access to argc and argv in the c-interface. 2011-10-13 16:46:39 +01:00
Vítor Santos Costa
d4ea15811e fix yapor bootstrap. 2011-10-13 15:04:16 +01:00
Vitor Santos Costa
29866562fb fix gc calling from C-code. 2011-10-01 13:00:00 -07:00
Vitor Santos Costa
51e635f0c9 more QLY stuff. 2011-08-31 13:59:30 -07:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4fe1833ece Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3 2011-07-25 17:09:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda mode changes 2011-07-25 17:09:28 +01:00
Vitor Santos Costa
991d85edf0 fixes to interrupt handling in readline. 2011-07-22 22:48:30 +01:00
Vitor Santos Costa
a701f08180 small fixes. 2011-07-22 21:35:18 +01:00
Vitor Santos Costa
a16a7d5b1c fix calling of Write and Read for new SWI style interface. 2011-07-22 15:49:40 +01:00
Vitor Santos Costa
f6be2ed08d support interface to foreign objects that have a backtrack handler. 2011-07-22 04:09:33 -07:00
Vitor Santos Costa
a1d903e3e9 external term support. 2011-07-21 06:32:49 -07:00
ubu32
11a74236dc fix slots: have slots ready at init, even if we don't have a Prolog top-level; 
don't get lost after pruning.
 2011-07-11 22:12:32 -07:00
ubu32
4a13735cb0 ifix pruning 2011-07-11 21:14:26 -07:00
Vitor Santos Costa
6863a43e76 fix handling of backtrackable C-code in longjmp and other long range cuts. 2011-07-09 07:56:11 -04:00
Joao
77171d4179 fix Yap debug. 2011-06-20 14:49:24 +01:00
Vítor Santos Costa
5614d05a03 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-06-14 09:23:32 +01:00
Vitor Santos Costa
261e02b43e support for option comments(X) in read_term/1. 2011-06-12 17:23:10 +01:00
Vítor Santos Costa
03fe3285e9 fix warnings. 2011-06-06 10:32:58 +01:00
Ricardo Rocha
dfe0e1854f init_yapor_workers -> Yap_init_yapor_workers 2011-06-01 18:51:12 +01:00
Joao
98e35b16e8 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-25 16:41:39 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Vítor Santos Costa
14bdc262df export TermToStream 2011-05-25 13:10:39 +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
Joao
676dd26c90 change macros in misc/GLOBALS to GLOBAL_. 2011-05-10 10:06:51 +01:00
Ricardo Rocha
f22994edf9 remove macro MY_ThreadHandle and use LOCAL_ThreadHandle instead 2011-05-09 19:55:06 +01:00
Ricardo Rocha
a532b6cff3 struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00
Joao
65a514349f Remove LOCAL_WPP. 2011-05-05 09:32:04 +01:00
Joao
dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Joao
3e148c3541 change define SBA to YAPOR_SBA 2011-03-30 15:32:59 +01:00
Joao
810c96416b change define ENV_COPY to YAPOR_COPY 2011-03-30 14:35:10 +01:00
Joao
f890a11377 change macros GLOBAL to Yap 2011-03-29 18:19:18 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
1a7561c609 fix reinit and improve performance for cut predicates. 2011-03-22 11:07:49 +00:00
Vítor Santos Costa
36a0023fbf iimprove SWI compat 2011-03-15 23:49:28 +00:00
Vítor Santos Costa
30d9257fe0 improve SWI call interface code. 2011-03-14 20:54:55 +00:00
Vítor Santos Costa
0d6be2d858 improve string support 
fix non-thread compilation.
 2011-03-11 23:21:23 +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
da1df3d851 more cleanups. 2011-03-02 23:19:39 +00:00
Vítor Santos Costa
0e447436b3 fix missing lock in OpInfo 2011-03-01 10:32:25 +00:00
ubu32
3c261305db interface to rationals. 2011-02-27 02:13:25 -08:00
ubu32
82f3af4f23 lookup global modules. 2011-02-15 07:50:55 -08:00
ubu32
185bb1b3f0 cleanups. 2011-02-15 06:43:28 -08:00
ubu32
57f5ef8cfc more bug fixes: 
- make readline use packages, not old YAP code
- fix ! over backtrack cps
- fix write list
 2011-02-15 05:54:19 -08:00
ubu32
140318ff16 read works now. 2011-02-14 23:39:27 -08:00
ubu32
4dbdaaa772 eplace format 2011-02-14 14:13:45 -08:00
ubu32
f6befe5796 alias stuff. 2011-02-14 06:59:15 -08:00
Vitor Santos Costa
98684ba4bb remove YAP sockets interface. 2011-02-12 23:38:24 +00:00
Vítor Santos Costa
45032cc61e export current predicate for SWI built-ins. 2011-02-11 19:01:18 +00:00
Vítor Santos Costa
10f84228bc fix handling of cut_c in SWI packages. 2011-02-11 17:49:19 +00:00
Vitor Santos Costa
6617a63b7e attempt to improve error handliong in SWI emulation. 2011-02-11 14:17:27 +00:00
Vítor Santos Costa
b475be5692 more SWI compatibility changes. 2011-02-11 01:22:07 +00:00
Vítor Santos Costa
02c791fc3d iminor PLStream fixes. 2011-02-10 21:45:43 +00:00
Vitor Santos Costa
3fe9b923cb more fixes to SWI emulation 
integrate in main binary
 2011-02-10 21:14:38 +00:00
Vitor Santos Costa
232a740d43 upgrade to latest SWI 2011-02-10 00:01:19 +00:00
Vitor Santos Costa
c1721df472 Merge branch 'master' of /yap-6.3 
Conflicts:
	C/c_interface.c
 2011-02-03 11:33:50 +00:00
Vitor Santos Costa
48b891a5b2 Merge branch 'master' of ../yap-6.2 2011-02-03 11:27:01 +00:00
Vitor Santos Costa
6cccadb8cb export signal:wq 2011-02-03 11:26:46 +00:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
a4a1feeacc improve SWI emulation in WIN32. 2011-02-03 11:23:12 +00:00
Vítor Santos Costa
cbf6caddbd fix support for comparing weird terms. 2011-02-02 19:37:11 +00:00
Vitor Santos Costa
313273cce0 fix debugging messages. 2011-01-21 08:14:30 -06:00
Vitor Santos Costa
a9587b5e3d restore and agc of recorded terms 
overflows in recorded.
 2011-01-02 21:16:29 -06:00
Vitor Santos Costa
5feb6a9dc5 SWI emulation: it is unsafe to keep arguments in regs. 2010-12-30 22:42:30 -06:00
Vítor Santos Costa
eb82f5fa2a more fixes to recursive call execution and backtracking from within C-mode. 
semweb java example now working.
 2010-12-14 09:30:40 +00:00
Vítor Santos Costa
21bbffceda make sure we rebuild saved state stuff even if we do not actually enter top-level. 
fix bug with some definitions being reset at load time.
 2010-12-07 15:06:53 +00:00
Vítor Santos Costa
8db05c883b make sure we separate betwen async exceptions and synchroneous. 2010-12-04 19:05:13 +00:00
Abramo Bagnara
94194209ec Extended C predicates to have 10 arguments. 2010-11-30 12:27:30 +00:00
vsc
312d82816e fix memory allocation (MMAP) for shared LOCAL and GLOBAL in ENV_COPY 2010-10-15 02:06:37 +01:00
Vitor Santos Costa
99c5a17b12 Implement Halt Hook (request from Bernd). 2010-09-24 14:00:53 +01:00
Vitor Santos Costa
8b9cf7dc2a YAP_SetYAP_Flag 2010-08-30 22:25:56 -05:00
Vitor Santos Costa
3e6ce40eb1 indenting cganges 2010-08-17 13:02:28 +01:00
Vítor Santos Costa
f1977f5dab allow saving and restoring current arguments to/from slots. 2010-08-04 17:36:20 +01: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
Vitor Santos Costa
5cd55b0e0e EX changes 2010-07-27 23:29:55 +01:00
Vítor Santos Costa
2ce4427395 fix bad error handling 
unlock new stream
 2010-07-26 12:56:17 +01:00
Vitor Santos Costa
f3b9811ef7 more packages to implement better thread interface. 2010-07-23 15:54:13 +01:00
Vítor Santos Costa
3dd68aa8bd fix EX: it cannot be a term and it should be a placeholder for BallTerm, 
so the twp can never be alive at the same time.
 2010-07-21 12:49:06 +01:00
Vítor Santos Costa
d100e697a3 fix debugging message 2010-06-23 11:45:44 +01:00
Vítor Santos Costa
0718f3e08d USE_THREADS->THREADS 2010-06-08 10:40:55 +01:00
Vítor Santos Costa
05a20e26f3 make sure we return correct code in YAP_Boot 2010-06-06 23:03:59 +01:00
Vítor Santos Costa
247d59f0ef - slots should be considered as always live for gc. 
- make sure slots do not die when they should be live, and vice-versa.
- improve a little on foreign_frame
 2010-06-01 00:40:58 +01:00
Vítor Santos Costa
faeef37a03 long -> Int 2010-05-10 10:21:56 +01:00
Vítor Santos Costa
aadbb136f5 make sure we always look for slots if called from user code. 
oops beautifications.
 2010-05-04 14:53:34 +01:00
Vítor Santos Costa II
661b9c3b7d protect base choice-point from nasty cutting. 2010-04-13 00:31:25 +01:00
Vítor Santos Costa II
8efec0b26e put ThOr back in shape. 2010-04-09 11:56:07 +01:00
Vitor Santos Costa
d5e1ff38f4 new interface to access globals. They are not in a file called GLOBALS, from which 
we generate several files automatically.
 2010-03-21 22:12:42 +00:00
Vitor Santos Costa
99460df195 use IsAttVar 2010-03-08 09:19:35 +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
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
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
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
d4b14648b0 fix confusion with SWI handling of C-backtrackable predicates. 2010-01-12 14:58:48 +00:00