Theofrastos Mantadelis
5033588754
corrected an extension error
2010-11-24 18:39:07 +01:00
Theofrastos Mantadelis
813b15d022
quick documentation for block_diagram
2010-11-23 13:24:05 +01: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
Paulo Moura
fea1ec1941
Added documentation on the new built-in predicates cd/0, pwd/0, and ls/0.
2010-11-23 00:25:33 +00:00
Paulo Moura
907d10128d
Commented out buggy patch for supporting quote atoms starting with /* as it breaks write_canonical/1.
2010-11-23 00:12:41 +00:00
Vitor Santos Costa
f9cd010242
do not reexecute function on restore if f_name is NULL.
2010-11-22 21:47:17 +00:00
Vítor Santos Costa
576d37510c
fix ls/0.
2010-11-22 18:22:53 +00:00
Vítor Santos Costa
a2286354c8
fix shared object stuff (obs from Roberto Bagnara).
2010-11-22 18:07:01 +00:00
Vítor Santos Costa
80b2253de1
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-11-22 17:53:42 +00:00
Vitor Santos Costa
2ee12ca1a7
only force 1E30 an error if in ISO mode.
...
always 1.0e30.
2010-11-22 12:51:02 +00:00
Vitor Santos Costa
20699fd838
fix syntax error.
2010-11-22 12:50:50 +00:00
Vitor Santos Costa
92bfc4cedc
fix loop in c_files (obs from roberto bagnara).
2010-11-22 10:36:32 +00:00
Vitor Santos Costa
1730d4e206
fix profon profon (obs from Bernd).
2010-11-21 23:31:42 +00:00
Vitor Santos Costa
7640700fdf
[PATCH-YAP 6/6] ISO: compound(+1). now holds.
...
from ulrich neumerkel
2010-11-21 22:11:10 +00:00
Vitor Santos Costa
0fa3fff5d5
[PATCH-YAP 5/5] ISO: reject 1E1 as float notation
...
from ulrich neumerkel
2010-11-21 22:09:07 +00:00
Vitor Santos Costa
c4913849c6
[PATCH-YAP 3/4] ISO: Restrict binary, octal, hexadecimal integer constant indicators
...
and exponent char to minuscules. (6.4.4)
from Ulrich Neumerkel
2010-11-21 21:55:58 +00:00
Vitor Santos Costa
86d0a251b5
[PATCH-YAP 4/4] ISO: quote atoms starting with /* (7.10.5 d)
...
from ulrich neumerkel
2010-11-21 21:53:58 +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
Vitor Santos Costa
bb570108de
ISO: Always bracket atoms that are current operators when written as
...
operands (7.10.5 h 2 ii)
2010-11-21 21:47:07 +00:00
Vítor Santos Costa
edf11bb1d8
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-11-09 16:40:43 +00:00
Vítor Santos Costa
23d07e2d78
fix chr install (from Keri)
2010-11-09 16:39:34 +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
Theofrastos Mantadelis
bad796702d
follow up for using user defined ground
2010-11-09 15:12:34 +01:00
Theofrastos Mantadelis
94d6c3cebd
Added a user modifiable ground handler for ProbLog probabilistic facts
2010-11-09 02:51:24 +01:00
Theofrastos Mantadelis
a278bda787
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2010-11-09 01:59:08 +01:00
Theofrastos Mantadelis
3432b7bb67
Correction of a huge dbtrie bug
2010-11-09 01:58:42 +01:00
Vitor Santos Costa
c8c5c3d1dc
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-11-07 19:56:34 +00:00
Vitor Santos Costa
a25a8f4243
from Keri Harris:
...
Keri Harris
to yap-users
show details Oct 24
When running 'make install' packages/jpl suffers from a race condition:
* install_unix rule calls:
- cd packages/jpl ; make
- cd packages/jpl ; make install <-- race
* install_data rule calls:
- cd packages/jpl ; make install <-- race
2010-11-07 19:48:30 +00:00
Vitor Santos Costa
1187afa64f
fix install problems (Keri Harris)
...
During the CHR bootstrap we attempt to dlopen shared libs that exist in
$DESTDIR/$YAPLIBDIR:
2010-11-07 19:44:54 +00:00
Vitor Santos Costa
8f02054109
From Keri Harris
...
In the event that Yap is compiled on a machine where the timezone is not set
it's possible to hit a buffer overflow:
2010-11-07 19:32:40 +00:00
Paulo Moura
1ff86ea4e5
Corrected meta_predicate/1 description and examples.
2010-11-05 22:25:32 +00:00
Vítor Santos Costa
5df973a66f
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-11-05 11:00:50 +00:00
Vítor Santos Costa
6fb86625c6
fix operator declaration (patch from Ulrich Neumerkel)
2010-11-05 11:00:14 +00:00
Theofrastos Mantadelis
0a5a1efd77
no comment
2010-11-03 19:34:16 +01:00
Theofrastos Mantadelis
8303b477ab
these guys got forgotten
2010-11-03 19:30:43 +01:00
Theofrastos Mantadelis
24b21de2e7
ProbLog Makefile.in to include a new file please re-configure
2010-11-03 19:24:37 +01:00
Theofrastos Mantadelis
c804d105b6
Some ProbLog improvements related with tabling efficiency, more to come soon
2010-11-03 19:22:11 +01:00
Vitor Santos Costa
362ecc2f16
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-29 10:28:57 +01:00
Vitor Santos Costa
7e90e90239
fixes to number_codes and number_chars.
2010-10-29 10:28:25 +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
Paulo Moura
9a09a93a5b
Corrected another bug in my patch for detecting UTF-32 BOMs.
2010-10-27 17:43:00 +01:00
Paulo Moura
f3efdff878
Uncommented the code that generates an error when UTF-32 BOMs are detected.
2010-10-27 17:33:48 +01:00
Paulo Moura
168e084c62
Corrected a bug in my patch for detecting UTF-32 BOMs.
2010-10-27 17:19:26 +01:00
Vítor Santos Costa
89411acbc9
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-27 14:53:33 +01:00
Vítor Santos Costa
186369a279
document predicate_statistics
2010-10-27 14:52:52 +01: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
95acd408e7
support DragonFly BSD (patch from Aleksej Saushev)
2010-10-27 10:11:19 +01:00
Vitor Santos Costa
ab8911708b
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +01:00
Vitor Santos Costa
b16a0d53b0
integration of two different event profilers.
2010-10-26 22:02:23 +01:00
Vitor Santos Costa
e0aa6ae30a
improve low level profiler interface. Still doesn't work too well.
2010-10-26 22:01:29 +01:00
