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
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
5fc26e1b45
improve emulataion of backtrackable SWI c-code (request from NF).
2010-01-06 11:25:15 -02:00
Vitor Santos Costa
6d1eec34db
make atom locking compatible with SWI-Prolog.
2009-12-21 10:12:47 -02: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
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
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
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
Ricardo Rocha
8a557012dd
add primitive YAP_IsLongIntTerm to the C Language interface.
2009-11-23 18:46:57 +00:00
nf@khaixa.(none)
1bfbe535da
Extended support for SWI-Prolog C interface.
2009-11-20 08:42:22 +00:00
Vitor Santos Costa
d9016fa650
init_local should be called Yap_init_local to avoid clashesh.
2009-11-19 08:24:38 +00:00
Vitor Santos Costa
4c8eb33e06
we had args already (no need for argv0)
...
improve error handling in YAP_ReadBuffer
2009-10-26 10:42:19 +00:00
Vitor Santos Costa
11cefa668a
handle overflow error in YAP_MkPairTerm ( obs from Fabrizio Riguzzi).
2009-07-13 21:55:57 -05:00
Costa Vitor
f5a72828a0
fix SPARC register allocation bugs (not verified) #130
2009-06-15 10:29:31 -05:00
Costa Vitor
8e55611d90
fix bad test for space overflow
2009-06-01 19:28:30 -05:00
Costa Vitor
00c9194014
fix reference to Yap_regp
2009-06-01 15:46:37 -05:00
Vitor Santos Costa
0bd3c910dd
step towards better emulation of SWI in backtrackable predicates.
2009-06-01 15:32:36 -05:00
Vitor Santos Costa
23301fb19a
avoid warning on malloc
2009-05-22 14:01:22 -05:00
