Theo
|
ffa0823e57
|
Same as before...
|
2013-12-19 18:18:01 +00:00 |
|
Theo
|
fdd96e96cf
|
Same as before...
|
2013-12-19 17:08:55 +00:00 |
|
Theo
|
b4506cf793
|
CoInductive tabling
|
2013-12-19 16:56:55 +00:00 |
|
Theo
|
1f0f9968df
|
Adding rational term support for tabling tries
|
2013-12-19 10:56:52 +00:00 |
|
Vitor Santos Costa
|
493b591b66
|
slots again: make sure they're bound after resetting the stack and when calling InitForeign
|
2013-12-18 19:34:15 +00:00 |
|
Vitor Santos Costa
|
c6351abe25
|
remove debugging msg
|
2013-12-18 19:09:21 +00:00 |
|
Vitor Santos Costa
|
30828eba98
|
fix input sz: should only matter with NCHARS
|
2013-12-18 16:42:05 +00:00 |
|
Vitor Santos Costa
|
86a71e9232
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2013-12-18 15:23:06 +00:00 |
|
Vitor Santos Costa
|
fe2411b046
|
Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3
|
2013-12-18 15:09:01 +00:00 |
|
Theofrastos Mantadelis
|
b0fdf9263c
|
Restored the [] as the default value for tabling_mode yap flag
|
2013-12-18 15:01:02 +00:00 |
|
Theo
|
65eb3b8e4d
|
Still undoing... sorry
|
2013-12-17 18:15:34 +00:00 |
|
Theofrastos Mantadelis
|
5a8017156a
|
undid the last changes...
|
2013-12-17 18:03:46 +00:00 |
|
Theofrastos Mantadelis
|
35a332f23a
|
rational tries support for yap tabling
|
2013-12-17 16:55:39 +00:00 |
|
João Santos
|
bc99b42228
|
Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3
|
2013-12-17 15:57:41 +00:00 |
|
João Santos
|
2e3f99d89a
|
fix YAPOR_THREADS (prof. Vitor Costa)
|
2013-12-17 15:57:24 +00:00 |
|
Vítor Santos Costa
|
993a9272d1
|
Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3
|
2013-12-16 21:47:53 +00:00 |
|
Vítor Santos Costa
|
1aafb30360
|
instantiation error
|
2013-12-16 21:47:46 +00:00 |
|
Vítor Santos Costa
|
7a6d36ff16
|
ensure real version to be YAP compatible
|
2013-12-16 21:46:33 +00:00 |
|
joao
|
da0f807abf
|
fix YAPOR_THREADS memory macros
|
2013-12-16 16:51:00 +00:00 |
|
Vitor Santos Costa
|
52b863eab4
|
compile without gmp
|
2013-12-16 15:35:34 +00:00 |
|
Vitor Santos Costa
|
51535a86ce
|
allow reconsult of tabled predicates
|
2013-12-16 15:11:30 +00:00 |
|
Vitor Santos Costa
|
e4fbd39cab
|
avoid weird messages in debugging
|
2013-12-16 15:10:53 +00:00 |
|
Vitor Santos Costa
|
83ae86dba3
|
fix SIG_FAIL and SIG_INT
|
2013-12-16 13:05:08 +00:00 |
|
Vitor Santos Costa
|
a4b130ff1b
|
do wake up before \!
|
2013-12-16 12:34:41 +00:00 |
|
Vítor Santos Costa
|
7d6d369e63
|
avaoid local
|
2013-12-15 10:27:53 +00:00 |
|
Vítor Santos Costa
|
f204776107
|
simplify
|
2013-12-15 10:27:33 +00:00 |
|
Vítor Santos Costa
|
a8e1b91fd5
|
make length explicit in buffer conversion
|
2013-12-15 08:37:10 +00:00 |
|
Vítor Santos Costa
|
e089563ce2
|
improve interrupt debugging
|
2013-12-15 08:35:44 +00:00 |
|
Vítor Santos Costa
|
d73c88f307
|
handle running Prolog without top-level
|
2013-12-15 08:34:52 +00:00 |
|
Vítor Santos Costa
|
6402360691
|
fix S handling in new interrupt code
|
2013-12-14 12:35:18 +00:00 |
|
Vítor Santos Costa
|
b65dee6b3a
|
text files and other typed files cannot be directoried
|
2013-12-14 11:06:09 +00:00 |
|
Vítor Santos Costa
|
b90685fe59
|
fix typo
|
2013-12-14 11:05:37 +00:00 |
|
Vitor Santos Costa
|
cc5b90aafc
|
fix deallocate
|
2013-12-13 10:56:08 +00:00 |
|
Vitor Santos Costa
|
2410cd3862
|
fixes to new signal handling/debugging code
|
2013-12-13 08:42:57 +00:00 |
|
Vitor Santos Costa
|
44d28aa0c9
|
cleanup on exception handling
|
2013-12-12 14:24:40 +00:00 |
|
Vítor Santos Costa
|
fba3c34e50
|
trace fixes
|
2013-12-11 09:34:43 +00:00 |
|
Vítor Santos Costa
|
88e188bece
|
fix excessive trail trimming in SWI call emulation
|
2013-12-11 09:04:59 +00:00 |
|
Vítor Santos Costa
|
ba2c0ca2a0
|
support no trace predicates
|
2013-12-11 01:05:51 +00:00 |
|
Vítor Santos Costa
|
2f8c3d2d1b
|
fix getting thread and sending it to format
|
2013-12-11 00:03:13 +00:00 |
|
Vítor Santos Costa
|
e768a7e7be
|
small improvements to debugger, prolog mode and meta-call (*->)
|
2013-12-10 22:58:02 +00:00 |
|
Vítor Santos Costa
|
795f01d125
|
fix error handling
|
2013-12-10 18:55:58 +00:00 |
|
Vítor Santos Costa
|
05bfe8a15b
|
fix number_codes/2 typo
|
2013-12-09 22:14:17 +00:00 |
|
Vítor Santos Costa
|
a430a1c349
|
fix source clauses
|
2013-12-09 18:43:32 +00:00 |
|
Vítor Santos Costa
|
29c0d55ad4
|
nth_clause cleanup with support for mega and exo clauses
|
2013-12-09 14:16:30 +00:00 |
|
Vítor Santos Costa
|
df6ddfb8b6
|
is [] an atom first or a list first?
|
2013-12-09 14:15:30 +00:00 |
|
Vítor Santos Costa
|
09accc834c
|
remove problog atom initialization
|
2013-12-08 23:16:22 +00:00 |
|
Vítor Santos Costa
|
61d624e416
|
fix comment handling
|
2013-12-08 22:56:48 +00:00 |
|
Vítor Santos Costa
|
a654907fe1
|
fix empty lists
|
2013-12-08 22:56:20 +00:00 |
|
Vítor Santos Costa
|
adea3bdb24
|
more string fixes and get_code
|
2013-12-08 19:12:24 +00:00 |
|
Vitor Santos Costa
|
62a6d96674
|
renaming patch
|
2013-12-06 23:26:28 +00:00 |
|