Vítor Santos Costa
666ef1877d
itry to respect SWI semantics on expand_goal/2.
2010-12-13 22:03:54 +00:00
Vítor Santos Costa
eec588f488
distribute goal_Expansion over comma
2010-12-13 21:33:43 +00:00
Vítor Santos Costa
9f8f8ee73e
fix missing cut (obs from Bernd).
2010-12-13 19:35:16 +00:00
Vítor Santos Costa
1369057cc4
fix style checker to be more self-contained.
2010-12-13 19:13:33 +00:00
Vitor Santos Costa
3c4da56af2
allow write to find out about SWI streams in SWI mode.
2010-12-13 12:38:37 +00:00
Vítor Santos Costa
7c2c3febe5
checker should be called after preprocessing (obs from Roberto Bagnara).
2010-12-12 19:19:49 +00:00
Paulo Moura
76ee19ab59
Corrected the meta_predicate/1 directive for the built-in tabling predicate tabling_mode/2.
2010-12-09 18:21:26 +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
1deb6d2663
fix order at boot
2010-12-06 20:15:05 +00:00
Vítor Santos Costa
c6f41e2970
YAP_FAIL_ERROR in case a fail has been requested, but not accepetd yet.
2010-12-04 18:45:09 +00:00
Vítor Santos Costa
268a378ba0
fix p(X) :- once((X, write(yippee), nl)). (obs from Gerlof Bouma).
2010-12-03 15:14:00 +00:00
Vítor Santos Costa
552d424ee0
debugger should use the same code that system uses to find undefined predicates.
2010-12-03 12:40:30 +00:00
Vítor Santos Costa
2f6733e37a
add expand_file_name/2
2010-12-02 19:57:55 +00:00
Vítor Santos Costa
514758e65b
imake call_foreign_function module aware.
2010-12-01 19:30:58 +00:00
Vítor Santos Costa
c454690a67
fix save_program to reload foreign files SWI style when restarting.
2010-11-29 18:44:39 +00:00
Vítor Santos Costa
863747da7b
fix save/1 and save/2 to at least work now.
2010-11-29 18:08:11 +00:00
Vitor Santos Costa
99f1249382
fix file_name_extension with '' as second arg (obs from Crhis Mungall)
2010-11-26 23:44:11 +00:00
Vitor Santos Costa
35100fe515
add interface to SWI's prolog_to_os_filename/2
2010-11-24 08:41:21 +00:00
Vítor Santos Costa
576d37510c
fix ls/0.
2010-11-22 18:22:53 +00:00
Vitor Santos Costa
20699fd838
fix syntax error.
2010-11-22 12:50:50 +00:00
Vitor Santos Costa
1b36c79733
ISO: conforming type errors for setof/3 etc ulrich neumerkel patch
2010-11-21 21:49:13 +00:00
Paulo Moura
a0201aa53f
Added implementation of the SWI-Prolog predicates pwd/0, cd/0, and ls/0 (work in progress).
2010-11-09 16:36:22 +00:00
Vitor Santos Costa
9396252588
patches to provide initial support UTF32 encodings(from Paulo Moura)
2010-10-27 14:49:27 +01:00
Vitor Santos Costa
b16a0d53b0
integration of two different event profilers.
2010-10-26 22:02:23 +01:00
Vitor Santos Costa
ef53ed696b
allow uninstanted arguments in erased_statistics.
2010-10-26 10:07:34 +01:00
Paulo Moura
15a728ce6d
Added hook predicate user:prolog_predicate_name/2, taken from SWI-Prolog, to the profiler code.
2010-10-21 20:15:17 +01:00
Vitor Santos Costa
65a66a3360
fix operator problem (|). (Ulrich #193 )
2010-10-18 08:36:47 +01:00
Vitor Santos Costa
7f70a797f4
fix error messages to obey standard.
2010-10-12 22:02:24 +01:00
Vitor Santos Costa
f40ba3e6db
rounding function was incorrect (ulrich's #180 )
2010-10-08 11:02:56 +01:00
Vitor Santos Costa
da0aee0f57
fix operator error checking (Ulrich #192 )
2010-10-08 10:44:51 +01:00
Vítor Santos Costa
f56cf4a737
fix rooted_path for win32 (patch from David Powers)
2010-09-30 20:59:33 +01:00
Vítor Santos Costa
4ae92544b2
fix $when (obs from David Powers)
2010-09-30 20:48:13 +01:00
Vítor Santos Costa
fa91fb6d86
ifix typo
2010-09-30 20:10:25 +01:00
Vítor Santos Costa
48cc87e882
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-09-28 01:01:55 +01:00
Vítor Santos Costa
6d4d1b1a3a
speedup current_pred
...
fixes from David Powerswq
2010-09-28 01:01:37 +01:00
Vítor Santos Costa
13130df3d9
fix bugs in corout (onbs from David Powers).wq
2010-09-28 00:59:39 +01:00
Vitor Santos Costa
bf40154ff1
fix UN #189 and #172
2010-09-27 22:31:06 +01:00
Vitor Santos Costa
206638e92b
fix checking on_signal/3 (obs from Theo Mantadelis).
2010-09-24 12:37:36 +01:00
Vitor Santos Costa
68f49e9bdd
fix bsolute_file_name for directories (obs from Paulo Moura).
2010-09-24 12:14:37 +01:00
Vitor Santos Costa
4707c4c10c
fix v
2010-09-24 12:14:20 +01:00
Vitor Santos Costa
f9e687a971
Fix block/1 declarations and remove uses of $recorded (patch from David Powers).
2010-09-24 00:36:10 +01:00
Vitor Santos Costa
01776c7a48
fixes by David Powers (broadcast and >= 0)
...
Dion't mess with linger.
2010-09-21 22:27:35 +01:00
Vitor Santos Costa
0fd0662603
ˆ/2 and ˆ/3 are not built-ins.
2010-08-04 23:32:46 +01:00
Vitor Santos Costa
cf3cb21fd7
subsumes_term/2 (from ISO and UD #173 ).
2010-08-04 21:46:10 +01:00
Vítor Santos Costa
f2dff606ef
replace call to non-existing predicate.
2010-08-04 13:04:17 +01:00
Vítor Santos Costa
c081d01e78
implement access_file/2 in C
2010-08-03 21:04:16 +01:00
Vítor Santos Costa
6895b8521a
fix for long messages (from Denys Duchier)
2010-08-02 18:44:10 +01:00
Vitor Santos Costa
b2c1523de6
fix different semantics for yapor.
2010-07-31 00:32:54 +01:00
Vitor Santos Costa
e9c83142ad
fix stupid bug in setof (patch from U Neumerkel).
2010-07-14 00:24:26 +01:00
Vitor Santos Costa
8690fb8ca0
make clp(bn) work again.
2010-06-30 17:54:58 +02:00
Vítor Santos Costa
e350a938e6
new predicates
2010-06-23 11:47:44 +01:00
Vítor Santos Costa
e21526ffc8
allow term_expansion from system
2010-06-23 11:45:18 +01:00
Vítor Santos Costa
735f318b77
fix silly cut in autoload
2010-06-18 00:30:11 +01:00
Vítor Santos Costa
0021b66807
fix case where second argument is known.
2010-06-18 00:29:47 +01:00
Vítor Santos Costa
4a5a74929c
give correct opts to absolute_file_name
2010-06-17 11:05:17 +01:00
Vítor Santos Costa
67ba23efdd
remove unnecessary code
2010-06-17 11:03:13 +01:00
Vítor Santos Costa
6e67a84ab0
shared_object routines support: SWI compatibility and more flexibility.
2010-06-17 00:29:01 +01:00
Vítor Santos Costa
c7b5cc235e
atomic_list_concat/3 (SWI compatibility).
2010-06-17 00:28:03 +01:00
Vítor Santos Costa
57ca6f6406
fix with_mutex in uni-threaded case.
...
avoid dynamics for stable data.
2010-06-17 00:26:41 +01:00
Vítor Santos Costa
8872fed811
make initialization/2 executable (SWI compatibility).
...
add predicate on file suffix (SWI compatibility).
2010-06-17 00:24:19 +01:00
Vítor Santos Costa
959e446218
make sure list predicates are available to whoever needs them.
2010-06-17 00:23:03 +01:00
Vítor Santos Costa
c7c4bd151c
open_shared_objects flag
2010-06-14 22:43:15 +01:00
Vítor Santos Costa
a055cc4637
meta declarations for thread stuff (from Paulo Moura).
2010-06-14 08:56:21 +01:00
Vítor Santos Costa
dc4557c707
more fixes to verbose_load
2010-06-14 08:56:05 +01:00
Vítor Santos Costa
43cc875571
fix verbose_load (obs from Paulo Moura).
2010-06-14 08:47:15 +01:00
Vítor Santos Costa
0645040602
get rid of debug messages.
2010-05-28 16:59:52 +01:00
Vítor Santos Costa
8d93e8f9b9
remove all initialization/1 in a single swoop.
2010-05-28 16:07:20 +01:00
Vítor Santos Costa
380fd692d9
:- G should not go top-level (obs from Ingo Molnar).
2010-05-25 16:15:09 +01:00
Vítor Santos Costa
e67528cc1d
oops, forgot to explicitely declare modules.
2010-05-24 16:19:39 +01:00
Vítor Santos Costa
eb980421a9
make term_to_atom/2 a YAP builtin.
2010-05-23 18:39:46 +01:00
Vitor Santos Costa
33c2828b7f
make sure autoload is seen as dynamic by the system.
2010-05-11 13:57:52 +01:00
Vítor Santos Costa
55019a83bd
win64
2010-05-10 10:22:42 +01:00
Vitor Santos Costa
d8fc0ea8bf
fix obj detection.
2010-05-05 00:12:25 +01:00
Vítor Santos Costa
ea47bd124c
more fixes
2010-05-04 16:37:39 +01:00
Vítor Santos Costa
4e39da0531
fix plus/3 fix
2010-05-04 16:37:03 +01:00
Vítor Santos Costa
02459e7bec
add plus/3
2010-05-04 16:33:35 +01:00
Vitor Santos Costa
31554991c8
better emulation of SWI atom_t and functor_t.
2010-05-03 14:26:56 +01:00
Vitor Santos Costa
b958bad35d
fixes to stack dumper.
2010-04-29 10:29:24 +01:00
Vítor Santos Costa II
0cf7780db9
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2010-04-23 16:45:03 +01:00
Vítor Santos Costa II
4c36f8b6ce
hack call_residue.
2010-04-23 16:44:38 +01:00
Ricardo Rocha
16c1056a01
tabling support for the common global trie is now available by default
...
(macro GLOBAL_TRIE was removed). Use 'yap_flag(tabling_mode,MODE)' to
set the storing mode for all tabled predicates to MODE ('local_trie' or
'global_trie). Alternatively, use 'tabling_mode(PRED,MODE)' to set the
default tabling mode of predicate PRED to MODE ('local_trie' or
'global_trie'). The default mode for all tabled predicates is 'local_trie'.
2010-04-23 04:22:10 +01:00
Vitor Santos Costa
3cb5e57833
declare meta-predicate call arguments (Paulo Moura).
2010-04-22 20:45:57 +01:00
Vítor Santos Costa II
5adea12feb
fix meta-predicate declaration for predsort (Paulo Moura).
2010-04-22 18:03:09 +01:00
Vítor Santos Costa II
6b98791e53
fix syntax errors in yapor
2010-04-22 16:27:50 +01:00
Vítor Santos Costa II
788193b0c9
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2010-04-22 12:17:39 +01:00
Vítor Santos Costa II
52ef6ae819
improve dialect support (make it less hackhish).
...
first attempt at emulation of autoloader.
2010-04-22 12:16:37 +01:00
Vítor Santos Costa II
3efe7a067a
another victim of system name change
2010-04-22 12:16:23 +01:00
Vítor Santos Costa II
28cc9171c3
another victim of system name change
2010-04-22 12:15:59 +01:00
Vítor Santos Costa II
2dcf02687e
another victim of system module name change.
2010-04-22 12:12:24 +01:00
Vítor Santos Costa II
2566ebcee5
make predsort a system predicate.
2010-04-20 23:49:14 +01:00
Vítor Santos Costa II
b0f20ea8c5
ifurther support for dialect.yap
2010-04-20 23:19:51 +01:00
Vítor Santos Costa II
1a4c414831
meta-expansion should be done before calling goal_expansion :(
2010-04-20 23:14:15 +01:00
Vítor Santos Costa II
bc6846d6f7
start improving support for dialect
2010-04-20 23:13:52 +01:00
Vítor Santos Costa II
acee213eeb
beautification.
2010-04-20 23:13:11 +01:00
Vítor Santos Costa II
007bfc21b9
document aggregate library
...
support plus/3 and succ/2 and document them, plus between
2010-04-20 23:06:41 +01:00
Ricardo Rocha
7eee5a5b56
new built-in predicates to access OPTYap statistics related to memory
...
usage.
2010-04-20 03:59:48 +01:00
Ricardo Rocha
ddb1cd8604
adding two new modes to the yap_flag/2 and tabling_mode/2 built-in
...
predicates: 'local_trie' mode and 'global_trie' mode.
2010-04-16 02:08:06 +01:00
Vitor Santos Costa
5b1a2067f9
add support for with_output_to/2.
2010-04-14 10:57:00 +01:00
Vitor Santos Costa
660ea12537
exception handler was not passing well exceptions in setup.
2010-04-14 10:49:32 +01:00
Vítor Santos Costa II
a3667150d3
remove debugging message
2010-04-13 13:34:05 +01:00
Vítor Santos Costa II
719089b96b
make PL_is_initialised honest :)
2010-04-13 00:31:48 +01:00
Vítor Santos Costa II
9def5978bb
SWI actually calls initialization after exiting the directory (obs from Paulo Moura).
2010-04-12 18:30:39 +01:00
Vítor Santos Costa II
4ccc201322
fix version_data
2010-04-10 23:57:46 +01:00
Vítor Santos Costa II
2257b056f0
fix absolute_file_name (SWI and SICStus compatibility, obs from Paulo Moura).
2010-04-10 21:23:38 +01:00
Vitor Santos Costa
066603c79b
fix global variables
2010-04-08 01:44:08 +01:00
Vitor Santos Costa
f7e6242fe9
fix spy bug (obs from Nuno Fonseca).
2010-04-07 01:32:57 +01:00
Vitor Santos Costa
8e72f97651
fix version info to be more like SWI/SICStus.
2010-04-06 00:57:40 +01:00
Vitor Santos Costa
ca31e9fad8
fix portray_clause to use copy_term_nat and get rid of attributed variables.
2010-03-27 15:06:36 +00:00
Vitor Santos Costa
35bbb9e7d1
avoid binding attributed variables.
2010-03-27 11:43:03 +00:00
Vitor Santos Costa
c468d8431e
try to make top level writing more SWI compatible.
2010-03-27 11:34:10 +00:00
Vitor Santos Costa
568c541874
use copy_term compatible with SWI.
2010-03-27 10:56:35 +00:00
Vítor Santos Costa II
c3d2e4cd14
support for agc_margin
2010-03-22 14:47:53 +00:00
Vitor Santos Costa
39483147f4
fix project_attributes/2 (was not being called ever).
2010-03-22 09:11:27 +00:00
Vítor Santos Costa II
8df2b4a963
fix ref to $freeze
2010-03-15 20:40:05 +00:00
Vitor Santos Costa
9cce7df45b
output unification should go after cut.
2010-03-15 14:18:25 +00:00
Vitor Santos Costa
d33be13487
SWI compatibility
2010-03-14 09:31:25 +00:00
Vitor Santos Costa
2ba051e908
SWI compatibility for term_expansion
2010-03-14 09:30:24 +00:00
Vitor Santos Costa
3235842947
small optimisation
2010-03-12 22:41:49 +00:00
Vitor Santos Costa
26e0bfdf06
fix op
2010-03-12 22:41:30 +00:00
Vitor Santos Costa
c4b39d3ab9
update Prolog code: do a cleanup and make delays use SWI interface.
2010-03-12 14:26:35 +00:00
Vitor Santos Costa
c41f6e1906
atts stuff is now a part of prolog.
2010-03-12 08:26:56 +00:00
Vitor Santos Costa
613dfb0d95
move away from SICStus: do not check all attvars.
2010-03-12 08:25:35 +00:00
Vitor Santos Costa
3d10482cc7
more upgrades to new coroutining code.
2010-03-10 14:06:07 +00:00
Vitor Santos Costa
bb3c837ec5
fix unnecessary choicepoint in [a].
2010-03-09 22:00:46 +00:00
Vitor Santos Costa
dd3645b5c8
move to SWI like interface.
2010-03-08 09:24:24 +00:00
Vitor Santos Costa
8fc50d9935
make YAP throw a runtime-error on unknown arithmetic ops.
2010-03-06 00:16:49 +00:00
Vítor Santos Costa II
8497905876
declare erf to Prolog
2010-03-05 16:49:37 +00:00
Vitor Santos Costa
e4f3a127e0
make sure environment variables are consulted first.
2010-03-05 08:33:40 +00:00
Vitor Santos Costa
e92107e4cc
version is 6.0
2010-03-05 08:33:29 +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
f489118025
small fix to consult.
2010-03-03 19:08:59 +00:00
Vitor Santos Costa
910d04a786
test for [X] and friends.
2010-03-02 23:13:39 +00:00
Vitor Santos Costa
635d13c082
exception/3 is dynamic.
2010-03-01 23:02:37 +00:00
Vitor Santos Costa
8cfbee9584
support exception/3 on undefined predicates.
2010-03-01 23:02:24 +00:00
Vitor Santos Costa
233926ea00
fix nb_getval to handle exceptions.
2010-03-01 22:32:40 +00:00
Vitor Santos Costa
0546df7ac3
fix goal_expansion
2010-03-01 22:30:31 +00:00
Vitor Santos Costa
51982bee42
fix nb_current/2
2010-03-01 21:48:39 +00:00
Vitor Santos Costa
28c60f7e09
fix missing global.
2010-03-01 08:47:39 +00:00
Vitor Santos Costa
dcd1c37fa8
make expand_goal built-in.
2010-02-28 22:25:54 +00:00
Vitor Santos Costa
16a9c8a807
SWI-compatible source_file/1 and 2
2010-02-28 22:24:51 +00:00
Vitor Santos Costa
8582d4ff45
term_expansion can be called from the current_module, as well as from user.
2010-02-28 10:08:01 +00:00
Vitor Santos Costa
12b8acfa20
fix missing initialization (obs from Paulo Moura).
2010-02-28 09:08:06 +00:00
Vitor Santos Costa
a5e8dbc096
split directives into two files.
2010-02-28 01:11:05 +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
ec30e08f69
add user_flags/s prolog_flag
2010-02-28 00:42:47 +00:00
Vitor Santos Costa
495529e69e
SWI compatible option: prompt_alternatives_on.
2010-02-28 00:05:38 +00:00
Vitor Santos Costa
a00c3e13c1
accept // more often as predicate indicator.
2010-02-27 23:07:03 +00:00
Vitor Santos Costa
d69902e986
fix alarm/3 for floating point input (obs from Ashwin Srinivasan).
2010-02-27 10:10:23 +00:00
Vitor Santos Costa
b4481ca98c
fix confusion with file names.
2010-02-26 13:41:40 +00:00
Vitor Santos Costa
4355a94793
make syntax_error handling ISO compatible.
2010-02-26 13:08:38 +00:00
Vitor Santos Costa
5df3c389b5
fix stream_property position
2010-02-26 12:13:28 +00:00
Vitor Santos Costa
97a3897c88
fix op error handling.
2010-02-26 12:03:32 +00:00
Vitor Santos Costa
69b6f47b73
make open remember original file.
2010-02-26 11:23:15 +00:00
Vitor Santos Costa
34400afd8e
disallow abolish(_).
2010-02-26 10:38:56 +00:00
Vitor Santos Costa
00c3419e02
fix bad $execute test
2010-02-26 10:23:38 +00:00
Vitor Santos Costa
a1e3aa45ba
protect against assert(1).
2010-02-26 10:22:41 +00:00
Vitor Santos Costa
a8039df035
protect unbound ball
2010-02-26 10:22:09 +00:00
Vitor Santos Costa
61eb299ba5
fix call(\+ !).
2010-02-26 10:03:32 +00:00
Vitor Santos Costa
daa55352ec
fix bad module passing.
2010-02-26 09:25:47 +00:00
Vitor Santos Costa
83f25afc41
add address_bits flag (request from Paulo Moura).
2010-02-23 00:29:17 +00:00
U-Khasa\Vitor
f350e369b5
handle cr in files
2010-02-11 12:06:27 -06:00
Vitor Santos Costa
eea6932e23
fix undefined error in the absence of tabling (obs from Paulo Moura).
2010-01-31 23:13:30 +00:00
Vitor Santos Costa
6700981b63
fix typo (obs from Bernd Gutmann)
2010-01-26 22:27:00 +00:00
Vítor Manuel de Morais Santos Costa
b94a667972
fix uninited nb if booting from prolog (obs from nf).
2010-01-26 12:37:10 +00:00
Vitor Santos Costa
8ec6791183
add atom_to_term/3.
2010-01-26 12:19:13 +00:00
Vitor Santos Costa
87a075bd28
avoid unnecessy retry ports
2010-01-25 10:21:21 +00:00
Vitor Santos Costa
30e5e5d803
protect hooks within spy
2010-01-25 09:02:15 +00:00
Vitor Santos Costa
de46b64eee
allow debugging inside directives.
2010-01-25 09:02:00 +00:00
Vitor Santos Costa
e860bd7ee1
fix initialization/1 (obs from Paulo Moura).
2010-01-18 14:34:30 +00:00
Vitor Santos Costa
8f9f1223e7
fix sub_atom(xxx,_,_,_,'') (obs from David Vaz).
2010-01-17 00:04:17 +00:00
Vitor Santos Costa
e86b28911f
improve performance of depth_limit call.
2010-01-17 00:03:55 +00:00
Vítor Manuel de Morais Santos Costa
0c29616bc2
SWI-compatible for initialization/2·
2010-01-15 16:21:29 +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
bf52be1ece
add extra options for SWI compatibility: notice, attributes/1 is not actually implemented within write yet!
2010-01-12 14:27:32 +00:00
Vitor Santos Costa
79a1d3e13c
fix thread stuff (obs from Jiefei Ma).
2009-12-17 23:55:09 -02:00
Vítor Manuel de Morais Santos Costa
946b6aa812
small space fixes
2009-12-12 23:20:44 +00:00
Vitor Santos Costa
ac2cf2434a
prolog_flag executable (obs from Aubrey Barnard).
2009-12-10 01:16:29 +00:00
Vitor Santos Costa
1be390d31a
fix create_prolog_flag to guess domain (idea from Jan Wielemaker).
2009-12-06 00:49:51 +00:00
Vitor Santos Costa
2cb3ef5fa4
fix set_base_module to retract previous modules,
...
add delete_import_module.
2009-12-04 21:32:36 +00:00
Vítor Manuel de Morais Santos Costa
bed3e52a84
fix version option
2009-12-04 18:24:45 +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
b3088710d3
emulate SWI module inheritance mechanism (at least, I hope).
2009-12-04 11:00:13 +00:00
Vitor Santos Costa
d554871ffb
get rid of create_prolog_flag/2.
2009-12-04 09:17:27 +00:00
Vitor Santos Costa
ee575387af
rstore user_defined_directive
2009-12-04 00:29:50 +00:00
Vitor Santos Costa
367f1d954f
better way to define prolog flag.
2009-12-04 00:06:11 +00:00
Vitor Santos Costa
4c47f4188e
fix exceptions in setup.
2009-12-03 22:54:31 +00:00
Vítor Manuel de Morais Santos Costa
71e4d73a75
make sure to reenable interrupts if you have to exit setup in a hurry ( #158 ).
2009-12-03 17:46:21 +00:00
Vitor Santos Costa
bc4b718afb
follow import recursively so that we don't lose properties like being a
...
meta predicate.
2009-12-03 16:33:44 +00:00
Vitor Santos Costa
2d6934178b
check for unbound calls ( #154 )
2009-12-03 09:08:06 +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
Vítor Manuel de Morais Santos Costa
91a7fc3c66
fix bugs in backtrackable versions of atom_concat/3 and atomic_concat/3 (obs from Paulo Moura).
2009-11-27 13:45:18 +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
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
fe6148ef15
be more cautions about removing prolog: from calls.
2009-11-23 10:15:11 +00:00
Vitor Santos Costa
2d2fb30167
atomic_list_concat/2 and fix some reverse mode ops in atom_concat/3.
2009-11-23 10:13:55 +00:00
Vitor Santos Costa
31e5c54125
support message_string/2 for SWI emulation.
2009-11-23 10:09:32 +00:00
Vitor Santos Costa
e4c9d69044
in SWI mode allow new flags to be silently defined.
2009-11-23 10:06:51 +00:00
Vitor Santos Costa
b15d9c0363
add source_location for SWI compatibility
2009-11-23 10:02:40 +00:00
Vitor Santos Costa
d91bab4247
make sure goal_expansion is never seen as an undefined goal. It should at least always succeed.
2009-11-23 10:01:55 +00:00
Vitor Santos Costa
ffe1dfdfff
support for module based operators.
2009-11-20 00:33:14 +00:00
Vitor Santos Costa
628d181923
protect against var usage.
2009-11-20 00:32:14 +00:00
Vítor Manuel de Morais Santos Costa
71de4ed52a
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-11-18 13:13:51 +00:00
Vítor Manuel de Morais Santos Costa
a316090f8c
fix nth_instance: fix bugs and actually add two versions (obs from Theofrastos Mantadelis)
2009-11-18 13:06:37 +00:00
Vitor Santos Costa
cef6c9da36
fix bad processing of eof_action flag (obs from Ulrich, #147 ).
2009-11-17 02:37:56 +00:00
Vitor Santos Costa
f7214090cb
make operators defined within a module local to the module, operators in header are still global to every module, though (UN #131 ).
2009-11-17 00:59:06 +00:00
Vitor Santos Costa
ce5ae8b972
another oops :(
2009-11-17 00:48:16 +00:00
Vitor Santos Costa
84022de89d
disable creep when top-level starts: this prevents creeping after a top-level.
2009-11-17 00:32:38 +00:00
Vitor Santos Costa
b56894e0d5
indenting.
2009-11-17 00:32:27 +00:00
Vitor Santos Costa
73cdfe0f5b
oops in previous change :(
2009-11-17 00:23:22 +00:00
Vitor Santos Costa
59935893ac
fix bad syntax (obs from Ulrich Neumerkel #137 , after #138 )
2009-11-17 00:13:54 +00:00
Vitor Santos Costa
3f30a2bf18
expand meta-predicates before trying to debug them.
2009-11-17 00:09:23 +00:00
Vítor Manuel de Morais Santos Costa
3b7e5544f6
m:subgoal should compile subgoal with m as default module (obs from Nuno Fonseca).
2009-11-04 12:29:31 +00:00
Vítor Manuel de Morais Santos Costa
0e1fae17d9
make sure action is deterministic on key input.
2009-11-04 12:29:09 +00:00
Vitor Santos Costa
717d6ac4c8
handle meta-calls to unbound variables.
...
first step to improve exceptions.
2009-11-04 00:10:27 +00:00
Vitor Santos Costa
15fc06764a
fix declaration and message_hook/3 (obs from Paulo Moura)
2009-11-02 12:53:51 +00:00
Vitor Santos Costa
0ea348c26d
extend SWI interface with PL_toplevel and to handle C++ code.
...
prolog/0 built-in
fixes to parms.h changes.
2009-10-23 16:50:43 +01: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
Vítor Manuel de Morais Santos Costa
0f4b64d199
make should only look at reconsulted files, it makes no sense to use make for
...
consulted files.
2009-10-16 08:31:23 +01:00
Vítor Manuel de Morais Santos Costa
d649ba5894
first cut at make/0y
2009-10-15 12:56:16 +01:00
Vitor Santos Costa
218bc2e423
fix to slow reconsult (Jos Deroo)
2009-09-20 10:03:10 -05:00
Costa Vitor
4e4d486dee
fix compilation errors
2009-09-09 18:13:12 -05:00
Vitor Santos Costa
0688fb4d68
handle old style binding lists.
2009-09-09 18:00:35 -05:00
Vitor Santos Costa
ce76be4e77
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-09-07 22:19:41 -05:00
Vitor Santos Costa
9047ad2e6e
fix bad call.
2009-09-02 23:08:36 -05:00
Vitor Santos Costa
903358724d
fix bad code in between (obs from Jose Santos).
2009-09-02 23:07:43 -05:00
Costa Vitor
5fb3ec0515
fix repeated definition for halt.
2009-09-01 00:00:08 -05:00
Vitor Santos Costa
12d793755e
load control.yap
2009-08-20 10:38:33 -05:00
Vitor Santos Costa
2984a660fb
make setup in setup_call_cleanup deterministic ( #141 )
...
break utils.yap and transfer control functionality to control.yap
2009-08-20 10:36:58 -05:00
Costa Vitor
014209c22f
undo bug fix, it just handled one case.
2009-07-22 14:31:15 -05:00
Costa Vitor
ead58f6b34
in tabled mode, replace X is Y by X=X', is(Y') to avoid cases where Y is assigned determinastically but needs to be later restored. (obs Ricardo Rocha)
2009-07-22 14:23:32 -05:00
Costa Vitor
df8f194d80
fix setof cleanup vars (patch from Bart Demoen).
2009-07-02 14:46:07 -05:00
Costa Vitor
5d966928b9
prolog_file_name/2 was missing
2009-07-01 12:11:33 -05:00
Costa Vitor
d8595221d0
optimise sub_atom when sub_atom is known.
2009-06-22 15:35:40 -05:00
Vitor Santos Costa
557ed169e8
fix processing of meta-arguments.
2009-06-14 22:58:12 -05:00
Vitor Santos Costa
65e8ed2908
use more efficient predicate.
2009-06-14 22:57:07 -05:00
Vitor Santos Costa
a22f66a4fa
don't import everything in a module by default when reexporting it #134
2009-06-14 12:16:54 -05:00
Vitor Santos Costa
9dff291be2
improve DCG support #72
2009-06-12 14:08:03 -05:00
Vitor Santos Costa
d8e92a2808
do not use immediate updates, even in cprolog mode.
2009-06-11 23:05:10 -05:00
Ulrich Neumerkel
7ae4c887fc
Instantiation error for looping :- meta_predicate P.
2009-06-08 20:26:57 -05:00
Vitor Santos Costa
a9647b0321
wake up goals the same order they were suspended.
2009-06-05 09:48:00 -05:00
Costa Vitor
51d1c442d6
fix not_empty_list #92
2009-06-03 10:43:40 -05:00
Costa Vitor
8a20da6639
fix clean_call handling by top level (regression #110 )
2009-06-03 10:11:41 -05:00
Costa Vitor
7f54acb536
separate standard alarm from virtual alarm. timeout uses virtual alarm #112
2009-06-03 10:09:14 -05:00
Costa Vitor
b72345cc97
handle correctly throws within the scope of a call_cleanup. This is implemented
...
by using an extra argument to verify if the catcher is the current call_cleanup.
If it is, we allow the exception to go forth.
2009-06-02 19:46:41 -05:00
Vitor Santos Costa
627a4f8b1f
ensure environment after goal execution in call_cleanup #106
2009-06-01 23:43:59 -05:00
Ulrich Neumerkel
28f593f0a8
alarm(0,Any1,Any2) steadfast: Always disables alarm.
2009-06-01 18:03:02 -05:00
Vitor Santos Costa
d6ed058157
first pass at a decent implementation of PL_error ( #95 )
...
- basically copy SWI code.
2009-05-30 12:52:23 -05:00
Vitor Santos Costa
f61aee4a83
third argument to thread_create needs :, #91
2009-05-30 10:43:03 -05:00
Vitor Santos Costa
2dae7fd5ef
fix unnecesary warnings for multifile (obs from Paulo Moura).
2009-05-29 10:48:40 -05:00
Vitor Santos Costa
3fc4f71bee
prolog module is visible everywhere.
2009-05-28 21:51:34 -05:00
Ulrich Neumerkel
c1dcb1d75d
FIX #85 (defaultyness & meta_predicate), and thus #84 , #82 , #69
2009-05-28 12:35:41 -05:00
Ulrich Neumerkel
2b495cd095
Introduction of errors for signal. In a case of conflict, 13211-1:7.12.2a is given precedence over 13211-2:6.7.1.4
2009-05-28 12:34:13 -05:00
Vitor Santos Costa
4f71103b88
idon't disable interrupts for creeping.
2009-05-25 09:57:59 -05:00
Vitor Santos Costa
9a0393e2ce
predicate_property would only return first prop for system pred (obs from Paulo Moura).
2009-05-25 09:57:27 -05:00
Vitor Santos Costa
99ac4f4d4a
handle SWI style goal expansion natively, instead of trying to be smart.
2009-05-24 19:18:52 -05:00
Vitor Santos Costa
f5bff2a21d
just indenting
2009-05-24 15:16:40 -05:00
Vitor Santos Costa
f79d79e926
replace TYPE_ERROR_VARIABLE for attributes #57
2009-05-22 21:51:48 -05:00
Costa Vitor
7304fbda13
fix lack of streams message (Ulrich Neumerkel #60 )
2009-05-22 19:55:18 -05:00
Vitor Santos Costa
8f019b22de
make sure to work even without system mode
2009-05-22 14:01:05 -05:00
Vitor Santos Costa
51e669dcfb
support for passing priority as argument to write. (Ulrich's #45 ).
...
fixes on making write handle infinite loops
2009-05-22 13:24:27 -05:00
Vitor Santos Costa
e466bf2c5b
fix $notrace (Ulrich Neumerkel #26 )
2009-05-21 23:51:34 -05:00
Vitor Santos Costa
3736ba5793
$notrace should call $execute and disable interrupts below.
2009-05-21 22:35:24 -05:00
Vitor Santos Costa
a58e3d812d
fix interrupt enabling in call_setup and friends
...
remove between.
2009-05-21 00:41:35 -05:00
Vitor Santos Costa
46543ccb5c
remove redundant $between
2009-05-21 00:40:52 -05:00
Vitor Santos Costa
fe01f71f3e
between/3 is now part of arith.yap:
...
- handle inf
- handle errors
- make top case deterministic (Ulrich #66 )
2009-05-21 00:36:09 -05:00
Vitor Santos Costa
26a20fa74a
fix showing clean_call ( #65 Ulrich Neumerkel).
2009-05-20 09:12:01 -07:00
Vitor Santos Costa
26057240a8
fix call_cleanup/2 and /3 (broken in previous patch).
2009-05-20 07:29:13 -07:00
Vitor Santos Costa
c7066b43ec
first try of setup_call_cleanup/3 and setup_call_catcher_cleanup/4
2009-05-19 23:53:14 -07:00
Vitor Santos Costa
13b9098200
Ulrich: [PATCH-YAP] Permit | in DCGs.
2009-05-18 07:39:01 -07:00
Vitor Santos Costa
cfec78de06
fix copy_term and frozen (obs from Ulrich).
2009-05-18 07:07:42 -07:00
Vitor Santos Costa
55036ad9bb
check if argument to when is bound (obs from Ulrich Neumerkel).
2009-05-17 10:58:21 -07:00
Vitor Santos Costa
f4e3869025
include messages for out of stack and friends.
2009-05-17 10:40:14 -07:00
Vitor Santos Costa
1058a350c6
more cleanups: get rid of dead code.
2009-05-16 12:08:11 -07:00
Vitor Santos Costa
1fe1b19534
cleanup handling of attributed variables:
...
- try to make it clear when to call project
- try to make it clear when to generate goals for attributed variables (get_goalist_from_attvars).
- change call_residue to rely this infrastructure and then add extra variables.
- change frozen never to call project.
2009-05-16 12:00:56 -07:00
Vitor Santos Costa
8cfd6cf7fc
make length steadfast (from Ulrich Neumerkel).
2009-05-15 20:54:14 -05:00
Vitor Santos Costa
bdf8b890e3
copy_term/3
2009-05-13 17:11:21 -05:00
Vitor Santos Costa
04fa96e8a0
add call_residue_vars (SWI and SICStus 4 compatibility).
2009-05-13 16:43:24 -05:00
Vitor Santos Costa
e5a3150da0
** and exp should not be compiled as ^.
2009-05-09 23:40:37 -04:00
Vitor Santos Costa
f065e9359b
hProlog semantics requires checking *every* existing attributed variable (broken
...
in recent patch).
2009-05-08 00:01:09 -04:00
Vitor Santos Costa
d3632dd48c
fix case where you may bind variable (eg, freeze(X,Y)), obs from Ulrich Neumerkel.
2009-05-07 23:51:18 -04:00
Vitor Santos Costa
7d37428f36
fix reporting state of unknown flag (obs from Paulo Moura).
2009-05-06 09:33:13 -05:00
Vitor Santos Costa
6a6b18b045
send the abort message at the right place.
2009-05-04 22:31:03 -05:00
Vitor Santos Costa
e3293851a7
change variable names so that they are standard everywhere.
2009-05-04 18:11:11 -05:00
Vitor Santos Costa
42442bd360
make sure throw goes away on deterministic computations.
2009-05-04 18:10:07 -05:00
Vitor Santos Costa
d7559c3f96
put a reminder that in the future YAP will give an exception on unknown.
2009-05-04 18:08:12 -05:00
Vitor Santos Costa
848e1209a2
make sure call_cleanup makes exception handler fail.
2009-05-04 14:02:17 -05:00
Vitor Santos Costa
95ee0d9148
support calling attribute_goals.
2009-04-25 12:54:50 -05:00
Vitor Santos Costa
50fd7dca5a
support thread_initialization.
2009-04-25 12:54:21 -05:00
Vitor Santos Costa
c132e7e6ec
fix gmp support to give out of resource error if the bignum is too big.
2009-04-25 11:01:33 -05:00
Vitor Santos Costa
9ef589aef7
simplify output messages
2009-04-25 10:58:21 -05:00
Vitor Santos Costa
2503805aff
support 2^2 is 4 and not 4.0: complicated if we have to deal with bignums.
2009-04-24 19:03:00 -05:00
Vitor Santos Costa
e3aeb48af6
call_cleanup/3 should allow exceptions to go through, even if cleaner
...
itself calls an exception (obs from Ulrich Neumerkel).
2009-04-24 18:06:33 -05:00
Vitor Santos Costa
13f66957b6
break should restore system_mode.
2009-04-23 11:48:06 -05:00
Vitor Santos Costa
c1aba9a840
fix the signal handling a bit better.
2009-04-22 16:13:08 -05:00
Vitor Santos Costa
2f8c9c6b6c
block users from catching user balls.
2009-04-22 11:32:07 -05:00
Vitor Santos Costa
cf2b399e9a
debugger events should be known to the debugger!
2009-04-22 11:31:31 -05:00
Vitor Santos Costa
9d07b51937
make sure we don't redo things.
2009-04-21 15:19:26 -05:00
Vitor Santos Costa
af69088bc3
debug mode should be recovered at debug exit.
2009-04-21 15:01:18 -05:00
Vitor Santos Costa
374051733b
objects may be more than .so: they may be .dylib or .dll.
2009-04-17 16:19:21 -05:00
Vitor Santos Costa
f668676e72
make a better effort to avoid walking through system code.
2009-04-17 15:46:13 -05:00
Vitor Santos Costa
e42083a2bb
fix bad call.
2009-04-17 14:18:05 -05:00
Vitor Santos Costa
6da3d91f78
current_predicate: avoid debugger walking into clauses and make cp(X,M:a(_)) more efficient.
2009-04-16 19:06:49 -05:00
Vitor Santos Costa
9b088119c7
fix a case where one can creep inside the debugger.
2009-04-16 16:33:49 -05:00
Vitor Santos Costa
007a1346f4
fix unhandled exceptions.
2009-03-26 08:54:49 +00:00
Vitor Santos Costa
f46ff06f38
get rid of broken $clause/3: fixes listing of dynamic predicates.
2009-03-26 08:12:24 +00:00
Vitor Santos Costa
bdd625c8ae
arena is allocated by the system now.
2009-03-24 13:47:32 +00:00
Vitor Santos Costa
67b29f3c85
improve SWI compatibility.
2009-03-13 19:40:27 +00:00
Vitor Santos Costa
c9c097b32d
improve implementation of call_with_args/*
2009-03-13 11:11:04 +00:00
Vitor Santos Costa
503d97af90
make top-level error handling a bit more compatible with SWI.
2009-03-10 18:07:50 +00:00
Vitor Santos Costa
fc2e01f320
improve code for disjunctions by trying to avoid permanent variables.
2009-03-10 16:24:26 +00:00
Vitor Santos Costa
4af5713fd2
use current version of library
2009-03-09 00:44:30 +00:00
Vitor Santos Costa
2bc5d8425a
fix arithmetic dependence on Prolog table.
2009-02-25 00:12:36 +00:00
Vitor Santos Costa
94ebb90719
UDI patch: make it work with YAP.
2009-02-20 11:42:48 +00:00
Vitor Santos Costa
ad2d073184
allow better writing of inlined operations
...
disallow eval.yap
2009-02-16 21:04:30 +00:00
Vitor Santos Costa
a000af113b
OSX portability updates
...
start of support for commons prolog initiative
2009-02-16 12:25:03 +00:00
Vítor Santos Costa
d0de8a9f7d
include fixes from stable releasew
2009-02-16 09:55:31 +00:00
Vítor Santos Costa
78bd156a20
trivial interface to udi code (for now).
2009-02-12 21:40:44 +00:00
Vitor Santos Costa
a40dc14525
fix discontiguous warnings
2009-02-10 23:03:25 +00:00
Vitor Santos Costa
8a3978e3e1
rename BinaryTestPredFlag to BinaryPredFlag
...
get rid of small annoying arithmetic bugs
2009-02-09 21:56:40 +00:00
Vítor Santos Costa
73373e1ca5
global arena is now allocated in the C-code, when initing stacks.
2008-12-29 00:13:28 +00:00
Vítor Santos Costa
e0531d0743
fix bad access flags call.
2008-12-12 22:46:32 +00:00
Vítor Santos Costa
8c4c7b4ae5
fix unbound call to current_predicate/2
2008-12-12 22:45:41 +00:00
Vítor Santos Costa
a36be5bf20
massive changes to support new scheme for arithmetic:
...
- compilation and assembly support
2008-12-09 12:54:27 +00:00
Vítor Santos Costa
2e8d898e86
add new eval compiler
...
fix garbage collector for new big allocation scheme.
2008-12-05 16:08:44 +00:00
Vítor Santos Costa
8bcafd417a
include new arithmetic optimiser.
2008-12-04 23:37:25 +00:00
Vítor Santos Costa
e737599dc4
Change to simpler Eval mechanism
...
- avoid duplicate code
- implement different optimised code.
2008-12-04 23:33:32 +00:00
Vitor Santos Costa
f5e1b6d029
fix bug in create array: argument order was reversed.
2008-11-14 14:53:44 +00:00
Vitor Santos Costa
67d9e0ef26
fix compilation of (V;_) where V is unbound (obs from Ingo Molnar).
2008-10-29 18:16:11 +00:00
Vitor Santos Costa
017146ee54
fix compilation of C/3 (there was a bug with .)
2008-10-29 17:58:47 +00:00
Vítor Santos de Costa
1b399e3433
fix bad call to $execute in $spy
2008-10-24 14:26:44 +01:00
Vitor Santos Costa
0dcf34b7bc
mainbranch fixes to:
...
- fix quoted characters output
- fix line position in read_term and friends
- make messages look a bit better
- CLP(BN) EM improvements.
2008-10-23 22:17:45 +01:00
Vitor Santos Costa
7e4384cf5c
fix if/3 compilation (obs from Brian De Vries)
2008-10-18 12:50:02 +01:00
Vítor Santos de Costa
7207c18e65
fix longmp in trow not to recover trail. This way we do not need to do
...
copy_term/2 and we avoid losing the attributed variable stack.
2008-10-18 11:03:25 +01:00
Vítor Santos de Costa
9403ea8942
get rid of duplicate declarations.
2008-10-16 17:22:01 +01:00
Vítor Santos de Costa
45e8b6fc8f
when I call from $spy I am not under debugger control.
2008-10-13 15:40:05 +01:00
Vítor Santos de Costa
6692a5888c
make sure we force debug_jump false on creep.
2008-10-10 00:39:24 +01:00
Vítor Santos de Costa
8b171db743
fix notrace so that it will not call goal_expansion and friends.
2008-10-08 13:43:33 +01:00
Vitor Santos Costa
32a1396b79
declare hook predicates so that $notrace will not think they are undefined.
2008-09-30 11:44:48 +01:00
Vitor Santos Costa
ce8a8bc965
fix showprofres/1.
2008-09-26 00:58:57 +01:00
Vítor Santos Costa
139f591458
fix catch and throw: make sure we have an environment.
...
use $notrace consistently: note that it only matters if ran from the
debugger, otherwise it is just a meta-call.
2008-09-24 00:13:02 +01:00
Vítor Santos Costa
e252ef0b2f
more debugger fixes!
...
- make sure donotrace and oncenotrace are known to the signal mechanism:
they should disable creeping
- avoid creep at deallocate: it is a very bad idea :(
2008-09-23 23:43:01 +01:00
Vítor Santos Costa
ebbefd71ce
debugger fixes:
...
fix $execute0 and $call: they should be handled explicitely
fix missing ! for builtins in debugger meta-call
2008-09-23 22:50:25 +01:00
Vitor Santos Costa
895e29d444
FIX: '$execute0' should be invisible to creep processing
2008-09-22 18:07:50 +01:00
Vitor Santos Costa
7f51339a97
fix syntax error in current_predicate
2008-09-18 17:48:01 +01:00
Vitor Santos Costa
821cc384a3
allow statistics on data base keys of integers.
...
change pred_entry not to fail on this case.
avoid using functor in this case.
2008-09-15 04:30:09 +01:00
Vítor Santos Costa
65ccd336b2
fix a stupid threads bug
2008-09-04 16:58:45 +01:00
Vítor Santos Costa
6046f9f913
more fixes to debugger: make l and s option do what they are supposed to
...
do.
fix k and t, they had been broken.
Ideas:
DebugOn is now in the system and can disable spypoints.
Have an extra flag to distinguish fast (t,z,k) and slow(l,s) jumping.
2008-09-02 03:48:02 +01:00
Vítor Santos Costa
882178c02f
support paths like the term a/b.
2008-08-30 04:34:27 +01:00
Vítor Santos Costa
1226b58d8e
The debugger relied on the environment stack. To fix it:
...
- absmi.c now tells who called the debugger, besides who it was calling
- this is used to control whether we allow a goal to be debugged.
- I have creep to start creeping immediately, and signal_creep to tell
the next meta-call to creep what it executes!
- The debugger uses CalledFromTheDebugger to know if it is within the
debugger. If so, we do not need to creep on leaving.
2008-08-30 02:39:36 +01:00
Vitor Santos Costa
8169ef0343
fix stack_dump
2008-08-25 15:20:18 +01:00
Vitor Santos Costa
a6b9d096a6
make sure we always close intermediate memory streams on exit.
2008-08-25 15:19:00 +01:00
Vitor Santos Costa
7a94144ccb
support writeln/1 for SWI compatibility.
2008-08-24 16:09:33 +01:00
Vitor Santos Costa
46744810ae
support exporting DCG rules as // (swi compatibility).
2008-08-24 14:24:02 +01:00
vsc
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
pmoura
ad67cd43af
Added built-in predicate format/1 for compatibility with SWI-Prolog.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2303 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-10 15:44:12 +00:00
vsc
b3a0b412f1
fix threads/0.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2302 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-08 16:05:10 +00:00
vsc
5776abb31c
more thread fixes.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2301 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-08 14:05:34 +00:00
vsc
2581c3a3bf
more threadin fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2300 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-07 20:51:23 +00:00
vsc
6d23a23a81
fix debugging info
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2299 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-06 23:05:49 +00:00
vsc
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
vsc
ea812ad059
fix expand_term to list at end_of_file
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2296 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-06 10:15:48 +00:00
vsc
2c829f8e5c
fixes to module expansion
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2295 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-06 00:56:11 +00:00
vsc
75c72d7b7d
SWI and module fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2290 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-22 23:34:50 +00:00
vsc
dc53522604
small fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2289 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-16 10:58:59 +00:00
vsc
d8e5f2c895
fixes by Bart and Tom: mostly libraries but nasty one in indexing
...
compilation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2286 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-11 17:02:10 +00:00
vsc
e90f744e5e
fix stack growth in globals
...
fix compilation messages
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2277 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-16 21:22:15 +00:00
vsc
ac6ddd5005
fix syntax error messages
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2275 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-12 10:55:52 +00:00
pmoura
f26c4592bb
Corrected a bug in setting a thread exit status in case the thread goal results in an exception; exit status should be exception(Exception) and not exception(error(Exception,_)).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2270 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 16:55:23 +00:00
pmoura
502a5571a8
Corrected a bug in setting a thread exit status in case the thread goal results in an exception; exit status should be exception(Exception) and not exception(error(Exception,_)).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2269 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 16:45:52 +00:00
vsc
02497c1172
fix manual and message handling
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2253 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-03 09:24:28 +00:00
vsc
8e6403794f
fix abolish bug
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2252 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-02 17:20:28 +00:00
vsc
abbf5430dc
keep current_stream across top-level.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2249 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-26 09:16:24 +00:00
vsc
0c006711ba
fix cygiwn version
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2248 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 22:29:52 +00:00
vsc
7c24afa0f2
handle SIGPIPE and improve USR1 and USR2
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2242 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 10:02:13 +00:00
vsc
73cf1fbafa
fix predicate_property/2
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2240 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-22 21:48:04 +00:00
vsc
511181b472
debugging fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2238 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-15 18:31:02 +00:00
vsc
316811d2cd
user:goal_expand should be called before import
...
add extra apply_macros and apply stuff; fix unexisting definitions.
add forall/2 and ignore/1 to system stuff.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2237 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-15 13:41:48 +00:00
vsc
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
vsc
f1d5e84918
fix bug in current_predicate/2
...
fix bug in c_interface.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2221 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-28 23:02:32 +00:00
vsc
3edc72b4c1
fixed a bug in static_clause (thanks to Jose Santos)
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2218 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-14 21:20:36 +00:00
vsc
3c3d0de2de
partial fix to predicate_property trouble (obs from Nicos).
...
fix core dump when writing arrays without bignum support.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2217 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-14 17:30:18 +00:00
vsc
516a349aad
only evaluate lists with a single character.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2214 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-08 15:36:53 +00:00
vsc
21f03da2cd
fixes for message queues
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2208 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-04 11:28:59 +00:00
vsc
4c933b8d79
implement thread_cancel using signals
...
use duplicate_term instead of copy_term in throw: throw may lose
reference to term.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2207 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-04 10:02:44 +00:00
vsc
f930fd3179
thread at_exit should be module aware.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2206 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-04 09:32:10 +00:00
pmoura
04682ef5f0
Fixed bug in the predicate thread_create/1 when the thread goal generates an exception.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2204 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-03 23:23:06 +00:00
pmoura
2462596050
Fixed missing argument in recorda/3 call.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2198 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-03 01:28:21 +00:00
pmoura
5d6ddc8026
Fixed two bugs when closing a thread: (1) register thread exit status before running the exit hooks; (2) incorrect register of exception exit status.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2197 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-03 01:22:47 +00:00
pmoura
f827e047c1
Fixed bug in the thread_create/3 predicate where the thread indentifer was not within scope of the at_exit/1 option.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2196 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-03 00:10:04 +00:00
pmoura
1acbfc4f80
Only register at_exit/1 hooks given by the programmer.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2195 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-03 00:02:24 +00:00
pmoura
48e8101a87
Added new flag "max_workers". It uses a C function, "p_max_workers" that is currently defined in the *wrong* place ("threads.c").
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2193 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-02 22:59:52 +00:00
vsc
929ec2412f
handle out of memory error at thread creation (obs from Paulo Moura).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2190 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-02 17:37:07 +00:00
vsc
70b3438293
separate MAX_WORKERS and MAX_THREADS (obs from Paulo Moura)
...
MAX_AGENTS can be used in all cases
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2189 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-02 15:41:50 +00:00
vsc
7aab33a153
fix at_exit and thread_at_exit (obs from Paulo Moura).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2188 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-02 15:13:16 +00:00
vsc
5459617266
stupid bug in assert_all (thanks to Jose Santos).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2186 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-01 20:47:57 +00:00
vsc
5b6e8e742b
more fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2176 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-31 22:56:22 +00:00
pmoura
ff59818068
Reimplemented the message_queue_create/1-2 predicates and added new predicate message_queue_property/2 for compliance with the ISO Prolog Threads DTR.
...
Remove thread info when closing a detached thread.
Simplified creation of thread message queues.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2174 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-31 18:41:36 +00:00
pmoura
8a318a5e83
Updated the implementation of the thread_detach/1 predicate to help ensure that threads already terminated at the time of the call are destroyed instead of becoming zombie threads.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2173 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-31 16:26:31 +00:00
pmoura
8a1cfeb770
Added support for the SWI-Prolog thread_create/3 option at_exit/1 (work in progress)
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2172 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-28 10:57:28 +00:00
vsc
1c6b91cb72
improve WIN32 support and installation
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2170 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-27 00:41:33 +00:00
vsc
bee5cd8c0b
fix thread_dettach
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2168 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-26 14:51:41 +00:00
pmoura
fa73e89807
Use "resource_error(threads)" instead of "resource_error(max_threads)" for compatibility with SWI-Prolog, XSB, and the latest ISO Prolog Threads DTR.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2162 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-25 01:04:27 +00:00
vsc
47d7eee66d
ensure locking
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2161 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-25 00:15:05 +00:00
vsc
e2519f4e3a
handle message_queue_create/1 with vars right
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2160 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-25 00:11:55 +00:00
vsc
7d6e7f2613
make sure thread messages go to user_error.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2159 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-24 23:54:32 +00:00
vsc
c20c0f7767
fix maximum number of threads open error
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2158 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-24 23:48:47 +00:00
vsc
18568bd46f
fix unnecessary exception.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2156 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-22 11:38:05 +00:00
vsc
1090771c90
fix breakage in module system
...
disable stack writing in error for now
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2155 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-17 18:31:16 +00:00
vsc
19a9340011
oops
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2154 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-17 12:11:56 +00:00
vsc
e13e788411
avoid silly message
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2153 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-17 12:08:28 +00:00
vsc
3101d1ff61
-q flag
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2150 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-13 18:41:52 +00:00
vsc
2fe3053c78
fix exists/1
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2148 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-13 18:03:57 +00:00
vsc
0e45f242d4
update to CLP(QR). Note that CLP(Q) is still unsupported.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2145 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-13 17:16:47 +00:00
vsc
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
vsc
785ddd56af
member was deterministic :(
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2142 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-12 19:18:29 +00:00
vsc
fda34985b9
fix lists predicates
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2141 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-12 17:05:04 +00:00
vsc
c07c5286c0
replace $append by lists:append
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2140 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-12 16:26:51 +00:00
vsc
fc22f62eb7
fix verbose flag
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2138 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-12 15:51:58 +00:00
vsc
d0cd8182d9
fix path issues when opening files
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2137 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-12 15:37:34 +00:00
vsc
a3f3d62b1b
more fixes to messages
...
improve lineutils
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2117 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-25 10:15:31 +00:00
pmoura
9058342aaa
Added commented out code for an (incomplete) definition of the new float flags specified on the ISO Core Reviosion DTR.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2115 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-24 16:49:56 +00:00
pmoura
9fbbb1e47a
Corrected a bug in thread_property/2 due to the use of the broken definition of the auxiliary predicate '$current_thread'/1. Removed predicates '$current_thread'/1-2.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2114 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-24 12:40:40 +00:00
pmoura
045965e3ed
Completed ISO DTR definition of the message_queue_create/2 predicate. Still commented out waiting for a bug fix when creating queues without using aliases.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2113 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-24 12:28:05 +00:00
pmoura
eac625e0ec
Fixed a bug in the predicate threads/0 where some threads might not be listed if there are gaps between the identifiers of the existing threads (e.g. with threads 0, 1, 3 the thread 3 would not be listed).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2112 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-23 11:31:13 +00:00
vsc
0e3d91a0ff
fix chr bootstrap.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2111 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-23 01:32:31 +00:00
vsc
17d16e0b14
Big update to support more SICStus/SWI like message handling
...
fix YAPSHAREDIR
fix yap.tex (Bernd)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2107 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-22 15:08:37 +00:00
vsc
e748bd9b33
more fixes to modules
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2102 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-15 12:41:33 +00:00
vsc
6cc240fe7f
get rid of silly debugging message.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2101 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-14 16:34:14 +00:00
vsc
88bb8c81aa
fix stupid module bug I introduced yesterday :(
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2100 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-14 16:22:42 +00:00
vsc
df0a199afb
fix the op changes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2097 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-13 14:42:55 +00:00
vsc
a4a26478e0
fix some bugs from yesterday plus improve support for modules in
...
operators.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2095 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-13 10:15:36 +00:00
vsc
efe6c4eaef
condor support.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2092 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-12 21:50:58 +00:00
vsc
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
pmoura
d39002c271
Work in progress in the implementation of a version of the message_queue_create/2 compliant with the ISO Threads DTR.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2085 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-09 13:04:32 +00:00
vsc
7a9e7816c9
undo current_predicate changes and make iso fully use LU semantics.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2083 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-08 09:49:21 +00:00
vsc
83e941e4cf
don't break ISO standard in current_predicate/1.
...
Include Nicos flag.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2081 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-07 23:09:13 +00:00
vsc
a65a9d67ad
changes to import
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2080 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-07 22:34:45 +00:00
pmoura
176c6ae3c5
Corrected a problem with the format/2 call in the definition of the new predicate time/1 for those cases where we print "Inf" instead of a number for the CPU percentage.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2074 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-01 16:50:28 +00:00
pmoura
ba31d8db97
NEW: time/1 (based on the SWI-Prolog time/1 predicate; request from Paulo Moura).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2073 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-31 23:31:47 +00:00
vsc
cca4dfef2e
fix debugger
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2071 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-29 17:25:45 +00:00
vsc
e032bcb8be
fix typo
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2067 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-28 17:13:41 +00:00
vsc
fc2d89a372
fix case where BOM is asked for, and fix case where file with BOM is
...
consulted, not just read. Also fix some deadlocks when protecting
file access.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2066 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-28 12:47:45 +00:00
vsc
ff8213e506
make thread code more stable
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2063 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-27 11:01:07 +00:00
vsc
4ae454aac6
Will Benton's patches for Mac 64 bits.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2062 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-25 00:21:28 +00:00
vsc
817663588d
get rid of debugging messages
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2057 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-23 22:22:42 +00:00
vsc
637f381d94
valgrind it!
...
enable atom garbage collection.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2055 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-23 17:57:56 +00:00
vsc
2a7d514d3f
fix missing variable
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2054 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-16 09:53:42 +00:00
vsc
76bf9355a4
add SWI's char and code_type/2.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2049 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-12-29 12:26:41 +00:00
vsc
65d3704e4b
recover stack space
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2046 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-12-23 22:48:44 +00:00