Commit Graph

4303 Commits

Author SHA1 Message Date
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
e7f5c50707 fix restore foreign functions 2010-12-07 18:21:10 +00:00
Vítor Santos Costa
1bbded5ef7 memfiles need swi compat streams. 2010-12-07 18:20:45 +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
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
c085e68529 document YAP_Throw 2010-12-06 20:14:51 +00:00
Vitor Santos Costa
8290341a5f fix typo 2010-12-05 00:07:22 +00:00
Vítor Santos Costa
8db05c883b make sure we separate betwen async exceptions and synchroneous. 2010-12-04 19:05:13 +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
f8806bed9f explicitely link pthreads in clib. 2010-12-03 12:12:15 +00:00
Vítor Santos Costa
2f6733e37a add expand_file_name/2 2010-12-02 19:57:55 +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
Theofrastos Mantadelis
9ee83ddf6c problog examples fix 2010-12-02 15:04:42 +01:00
Theofrastos Mantadelis
f46000cd11 office fix 2010-12-02 15:02:49 +01:00
Theofrastos Mantadelis
df162a0ae6 Updating ProbLog and adding ADs 2010-12-02 14:55:15 +01:00
Theofrastos Mantadelis
b54517d419 Updating ProbLog and adding ADs 2010-12-02 14:54:47 +01:00
Theofrastos Mantadelis
d3cdc8d2b9 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-12-02 14:48:39 +01:00
Theofrastos Mantadelis
6ffa3eb06b ... 2010-12-02 14:48:28 +01: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
Vítor Santos Costa
514758e65b imake call_foreign_function module aware. 2010-12-01 19:30:58 +00:00
Vitor Santos Costa
22c27e0d5e fix debugging stuff. 2010-11-30 22:34:54 +00:00
Vitor Santos Costa
aead067476 mv swi compatibility stuff to library/dialect 2010-11-30 22:33:33 +00:00
Vitor Santos Costa
cb1307ded7 hack to fix differences in SWI compatibility. 2010-11-30 22:33:12 +00:00
Vitor Santos Costa
56c767f2b7 fix bad free 2010-11-30 22:12:30 +00:00
Vitor Santos Costa
0024a6a5e1 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-11-30 22:00:33 +00:00
Vitor Santos Costa
2d00dd15ab fix missing files 2010-11-30 21:59:45 +00:00
Theofrastos Mantadelis
28026e8cb3 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-11-30 19:17:48 +01:00
Theofrastos Mantadelis
611af95e43 added anottated disjunctions 2010-11-30 19:17:25 +01:00
Abramo Bagnara
94194209ec Extended C predicates to have 10 arguments. 2010-11-30 12:27:30 +00:00
Vitor Santos Costa
7b6f330bd3 improve blob support (but just skeleton). 2010-11-29 23:17:06 +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
2a8854094b halt_hooks should not be in save/restore, this will cause trouble. 2010-11-29 18:08:29 +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
Vítor Santos Costa
a1d9a1d095 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-11-29 16:52:25 +00:00
Paulo Moura
e784d72c22 Fixed make clean bug for the tai package (reported by Roberto Bagnara). 2010-11-29 15:36:23 +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
2db6020e80 remove debugging message. 2010-11-28 11:52:56 +00:00
Vitor Santos Costa
4aee4df719 single initialization for top frame. 2010-11-28 11:51:31 +00:00
Vitor Santos Costa
f4bda9b043 fix build compund term. 2010-11-28 11:50:41 +00:00
Vitor Santos Costa
c47419ed03 better support for YAP portability. 2010-11-28 11:50:21 +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
04949ddb37 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-11-27 00:13:34 +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