Theofrastos Mantadelis
|
b5d486279a
|
fix a trie backward traverse bug
|
2010-12-17 12:29:56 +01:00 |
|
Vitor Santos Costa
|
0c7f207627
|
make format/n swi aware.
|
2010-12-17 00:11:05 +00:00 |
|
Vítor Santos Costa
|
4546a22101
|
SWI seems to use t=0 for user_input/output. Not very clear why...
|
2010-12-15 20:03:22 +00:00 |
|
Vítor Santos Costa
|
1ca5c92469
|
fix goal expansion for with_output_to in SWI mode (obs from Roberto Bagnara).
|
2010-12-15 12:08:26 +00:00 |
|
Vitor Santos Costa
|
68539ab1e0
|
make sure with_output_to argument is not rewritten.
|
2010-12-14 23:46:17 +00:00 |
|
Vítor Santos Costa
|
57aafe5d23
|
don't use with_output_to/2 from PLStream: it gets confused by whose stdout it should write to.
|
2010-12-14 12:04:44 +00:00 |
|
Vítor Santos Costa
|
628ae12d15
|
ifix warning message.
|
2010-12-14 12:04:33 +00: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
|
f89f7e8e98
|
PL_set_engine should always return a sensible answer, even if multi-threading is not on.
|
2010-12-13 21:07:35 +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
|
51e9cb14a7
|
nl should be in the SWI IO (obs from Roberto Bagnara).
|
2010-12-12 19:07:24 +00:00 |
|
Vítor Santos Costa
|
c08e99a77c
|
fix mapnodes/2 (obs from Ingo Molnar).
|
2010-12-07 17:50:51 +00:00 |
|
Vítor Santos Costa
|
af6bf40985
|
fix SWI functor handling to work with 32 bits. (for now)
|
2010-12-02 19:41:48 +00:00 |
|
Vítor Santos Costa
|
2713ac27b6
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
Conflicts:
library/dialect/swi/fli/swi.h
|
2010-12-02 19:38:15 +00:00 |
|
Vítor Santos Costa
|
f03f353722
|
make swi functors more robust to confusion with atoms.
|
2010-12-02 19:25:10 +00:00 |
|
Vitor Santos Costa
|
7e59179622
|
fix bad SWI functor :(
|
2010-12-02 12:10:03 +00:00 |
|
Vitor Santos Costa
|
b02507ed22
|
fix 32 bit atoms to ensure alignment at 8 bytes (broken with blobs).
|
2010-12-02 11:49:58 +00:00 |
|
Vitor Santos Costa
|
aead067476
|
mv swi compatibility stuff to library/dialect
|
2010-11-30 22:33:33 +00:00 |
|
Vitor Santos Costa
|
56c767f2b7
|
fix bad free
|
2010-11-30 22:12:30 +00:00 |
|
Vitor Santos Costa
|
2d00dd15ab
|
fix missing files
|
2010-11-30 21:59:45 +00:00 |
|
Vitor Santos Costa
|
7b6f330bd3
|
improve blob support (but just skeleton).
|
2010-11-29 23:17:06 +00:00 |
|
Vitor Santos Costa
|
fe1fbaf6f7
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
Conflicts:
library/dialect/swi.yap
|
2010-11-28 13:48:09 +00:00 |
|
Vitor Santos Costa
|
f4bda9b043
|
fix build compund term.
|
2010-11-28 11:50:41 +00:00 |
|
Theofrastos Mantadelis
|
359855132a
|
Corrected a db trie related bug
|
2010-11-27 16:34:18 +01:00 |
|
Vitor Santos Costa
|
92f647556d
|
prolog_to_os_filename is now built-in.
|
2010-11-27 10:20:52 +00:00 |
|
Paulo Moura
|
f604df8fec
|
Commented out the definition of the predicate prolog_to_os_filename/2, now a built-in predicate, in order to fix CHR compilation.
|
2010-11-27 00:13:00 +00:00 |
|
Vitor Santos Costa
|
f470a44efe
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
|
2010-11-26 23:14:09 +00:00 |
|
Theofrastos Mantadelis
|
44105c6c49
|
forgot to add :-D
|
2010-11-24 21:53:16 +01:00 |
|
Theofrastos Mantadelis
|
5033588754
|
corrected an extension error
|
2010-11-24 18:39:07 +01:00 |
|
Vitor Santos Costa
|
e03f030907
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
|
2010-11-24 10:01:47 +00:00 |
|
Vitor Santos Costa
|
69cde79ba6
|
PL_malloc and friends should call malloc, not Yap_Alloc
|
2010-11-24 08:44:03 +00:00 |
|
Theofrastos Mantadelis
|
ccc1fee7ae
|
Adding a new tool for yap: block_diagram, also fixed the term_to_atom/2 warning
|
2010-11-23 13:02:12 +01:00 |
|
Theofrastos Mantadelis
|
3432b7bb67
|
Correction of a huge dbtrie bug
|
2010-11-09 01:58:42 +01:00 |
|
Paulo Moura
|
3d0e88dc10
|
Added missing meta_predicate/1 directives to the charsio library. Thanks to Cristiano Pitangui for reporting the problem.
|
2010-10-28 17:18:57 +01:00 |
|
Vítor Santos Costa
|
0deddd5603
|
include Nicos Angelopoulos r_session package.
|
2010-10-16 14:54:48 +01:00 |
|
Vitor Santos Costa
|
7f70a797f4
|
fix error messages to obey standard.
|
2010-10-12 22:02:24 +01:00 |
|
Vitor Santos Costa
|
b272ac33f0
|
cpp does not always have -o
|
2010-09-27 22:31:57 +01:00 |
|
Paulo Moura
|
794b66987c
|
Fixed a minor bug in the "wundgraphs" library: the predicate wdgraph_symmetric_closure/2 is already reexported, should not be listed in the use_module/2 directive for the same module.
|
2010-09-26 17:27:20 +01:00 |
|
Vitor Santos Costa
|
99c5a17b12
|
Implement Halt Hook (request from Bernd).
|
2010-09-24 14:00:53 +01:00 |
|
Vitor Santos Costa
|
d19ee6094e
|
fix use of Yap instead of YAP.
|
2010-09-21 22:20:01 +01:00 |
|
Theofrastos Mantadelis
|
3399fd9e8f
|
db tries library small null bug fix
|
2010-09-07 19:28:56 +02:00 |
|
Vitor Santos Costa
|
eed3eded82
|
remove some old SWI code (unused).
|
2010-08-06 22:48:54 +01:00 |
|
Vitor Santos Costa
|
fcbd2b34fe
|
fix missing !
|
2010-08-06 01:18:58 +01:00 |
|
Vitor Santos Costa
|
e4a76d7f1e
|
add coinduction.yap code.
|
2010-08-06 00:58:11 +01:00 |
|
Vitor Santos Costa
|
18c3292dad
|
and the file itself.
|
2010-08-04 23:27:17 +01:00 |
|
Vitor Santos Costa
|
410c4c96d5
|
Ulrich Neumerkel's lambda expressions.
|
2010-08-04 23:26:50 +01:00 |
|
Vitor Santos Costa
|
0449bf1e7f
|
acyclic_term/1 should be builtin(ISO WG17, UD #174).
|
2010-08-04 21:50:19 +01:00 |
|
Vítor Santos Costa
|
032d9f7591
|
bug fixes
|
2010-08-04 13:04:09 +01:00 |
|
Vítor Santos Costa
|
bebb236e32
|
improve SWI compatibility, especilaly for threaded stuff.
|
2010-08-04 11:37:12 +01:00 |
|
Vítor Santos Costa
|
e913087190
|
improvements in SWI emulation, especially for text.
|
2010-08-04 02:46:26 +01:00 |
|