661f33ac7e
bug fices
2016-01-03 02:06:09 +00:00
15404b3835
small
...
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
2015-12-15 09:28:43 +00:00
9f3e3baf2b
gap and C++ :(
2015-11-09 11:30:04 +00:00
03c79a89ef
support for absolut_file_name
2015-11-09 11:29:40 +00:00
f8b5ca8291
init and friends : cleanup
2015-11-05 19:33:38 +00:00
c1ca214932
Actually use GMP
2015-11-05 19:26:22 +00:00
5f76e105b1
Debug IO stuff
2015-11-05 19:25:54 +00:00
20c87f1ab6
gcc warnings
2015-10-20 08:06:46 +01:00
bc2dabbca5
fix slot leaks
...
also moe errot gandking
2015-10-09 10:31:07 +01:00
b3cc23ce64
IO patches
...
simplify error handling
use get and inject
use wide support in OS
be stricter in checkin streams and arguments
2015-10-08 02:23:45 +01:00
34fe3e6ded
Error Handler
2015-09-29 23:43:02 +01:00
b871f6676e
fix error handling
2015-09-25 10:57:26 +01:00
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
b164f53191
fix regression tests
2015-08-07 16:57:53 -05:00
dbdae6a930
syntax error handling
2015-07-27 22:22:44 -05:00
1d6f9981e1
mkdir and small stuff
2015-07-06 12:04:42 +01:00
1c06bfdc05
cmake & text support
2015-06-19 01:30:13 +01:00
497cc27003
git versioning
2015-06-19 01:14:28 +01:00
47c3f64eae
Inp/Out changes, blobs
2015-06-18 00:52:31 +01:00
e535e16ae3
C-Interface should call new flags
2015-06-18 00:29:31 +01:00
0ed3ee4fc4
enable path expansion by default
2015-04-24 10:03:44 -06:00
ef586e264e
android debugging plus clean-ups
2015-04-13 13:28:17 +01:00
0d955797fe
don't export config.h
2015-02-14 17:11:56 +00:00
f983c99313
c_interface still kicks
2015-02-09 10:21:53 +00:00
4a5a3d833a
fix tyes.
2015-01-27 03:25:56 +00:00
bc1e70758e
cmake and jit
2015-01-26 04:02:46 +00:00
bece9d05d8
JIT
2015-01-20 03:00:42 +00:00
53877ad426
docs
2014-12-24 15:32:29 +00:00
d526545bc9
Merge branch 'master' of github.com:vscosta/yap-6.3
...
Conflicts:
C/sysbits.c
C/threads.c
2014-11-27 15:15:22 +00:00
a83ff038f4
Mutex stuff movibg to C
2014-11-27 10:02:04 +00:00
d8c4ea4364
support intptr_t and uintptr_t in swi api
2014-11-09 11:18:03 +00:00
091f9dda33
MSYS32
2014-10-30 07:46:17 +00:00
f993421ac8
fix longint < intptr_t warnings
...
Handle printf mess
2014-10-30 07:41:30 +00:00
8f0ce4bb94
YAP meets exo
2014-10-26 01:50:18 +01:00
3e255ec4a1
qload
2014-09-22 18:13:35 +01:00
9929946de2
fix typo
2014-09-19 14:25:10 -05:00
e06bcd659e
more C++/Android fixes
2014-09-19 14:20:22 -05:00
6b0d99e2fe
fix debugging-left-over
2014-09-17 16:55:19 -05:00
3009987985
update docs
2014-09-11 14:06:57 -05:00
4745401b2a
use stdbool
2014-09-10 00:38:31 -05:00
45c0671fa2
support open as script option, to avoid spurious warning message
2014-08-05 09:06:35 -05:00
5c9468983f
fix typo
2014-07-27 22:42:48 -05:00
325c819f79
intermediate steo in improving doc system to doxygeb
2014-07-26 19:14:15 -05:00
2becb15578
more android support changes.
2014-07-16 11:56:09 -05:00
8da6fb70e1
handle_t type name causes conflict with WIN32, replace by yhandle_t
2014-06-16 14:41:54 +01:00
aefb7b3668
more Android debugging.
2014-06-12 01:49:03 +01:00
059884bc03
Android
2014-06-11 19:36:50 +01:00
a76b6d23dc
Fix: eclipse >u. into >y_u.
2014-05-30 01:06:09 +01:00
0ebea4ec26
synch interface with implementation.
2014-05-25 20:48:06 +01:00
df7425922a
compile.
2014-04-29 18:43:17 +01:00
d58dcdc3e6
portability.
2014-04-29 18:17:23 +01:00
3efe5df28e
C++ compatibility.
2014-04-28 11:54:47 +01:00
2c89aadb11
WIN64 support (sill needs improvement)
2014-03-06 02:09:48 +00:00
9e2a2b75b9
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
...
Conflicts:
library/dialect/swi/fli/swi.c
packages/real
2014-02-02 21:52:14 +00:00
ae0ab6fa86
improve SWI
2014-02-02 21:46:33 +00:00
327c1216e4
fixes to SWI interface
2014-01-28 13:01:27 +00:00
d648375412
make MYDDAS into its own module.
2014-01-24 19:59:42 +00:00
6b2e1973ab
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
29c0d55ad4
nth_clause cleanup with support for mega and exo clauses
2013-12-09 14:16:30 +00:00
adea3bdb24
more string fixes and get_code
2013-12-08 19:12:24 +00:00
7e58cf7755
more atom/string manipulation fixes and SWI compatibility
2013-12-05 21:26:46 +00:00
2665f71112
keep trying to fix atoms
2013-12-04 23:01:30 +00:00
d7397b43af
new text conversion and string code (big changes, take care please)
2013-12-02 14:49:41 +00:00
d75e6b56e5
handles in SWI and changes in exports
2013-11-20 22:29:51 +00:00
2a5f6535ae
fix win64
2013-11-16 16:58:07 +00:00
84bd55df0d
continue cleanup
2013-11-16 00:27:02 +00:00
3c7656b619
clang fixes
2013-11-15 10:38:00 +00:00
4e4f21e1dc
upgrade to latest swi
2013-11-15 01:10:25 +00:00
5b46b6bd1a
latest swi flgs
2013-11-13 23:48:54 +00:00
220970db6d
more integration and cleanup work: allow irect access from YAP to swi global and local, to
...
check flags quickly.
2013-11-13 12:57:52 +00:00
4fa9021a7b
integration work:
...
- use SWI flags whenever possible
- support by module unknown, escapes, strings
- accesss thread info fom SWI
- allow strings to be input as strings.
- remove some unused flags.
2013-11-13 10:38:20 +00:00
f2b90a1bb0
improve thread signal support, still far from good
2013-11-04 15:31:26 +00:00
fcaabd2c0b
export API
2013-10-04 18:19:33 +01:00
860a5dcd02
make error codes available to C-interface
2013-10-04 13:14:35 +01:00
94619d2a32
allow yser code error handling
2013-10-03 11:25:56 +01:00
33da88be5b
fix SWI exec issues and try to clean up the code a bit
2013-02-05 14:22:17 +00:00
c03b5095a3
fix bad define (mei).
2013-01-18 15:23:59 +00:00
7407ecb60c
SWI extension including write variable_names
2013-01-17 00:17:02 +00:00
b10d95393e
SWI update
2013-01-16 11:31:37 +00:00
0eacb68907
SWI update
2013-01-16 00:19:07 +00:00
e85e76cd57
update to newer pl-file.c and pl-write.c.
2013-01-15 16:51:55 +00:00
480e9aea69
fix bad ints (obs from Mei).
2013-01-13 11:48:31 +00:00
cdc15e8cd8
merge with yap-6.3
2013-01-06 20:09:48 +00:00
58962f2595
UDI: some code refactor, simple code when no index intersection is needed
2013-01-02 11:23:54 +00:00
e6c2fa30ee
Added uthash to store indexed predicates info
2012-12-27 12:11:14 +00:00
4efa594f0a
UDI: more work
2012-12-20 17:13:30 +00:00
a7307f3faa
add SWI PL_uninstantiatin_error
2012-12-19 00:52:29 +00:00
43e459b8f8
Changes Rtree so almost working
2012-12-18 18:26:59 +00:00
bd25c61fbf
New work on UDI
2012-12-17 20:23:03 +00:00
84a5f518bf
fix Makefile trouble
2012-10-23 09:06:38 +01:00
c30e71fe68
add missing interface.
2012-10-02 08:48:35 +01:00
89030ce97d
Fix WriteBuffer and add WriteDynamicBuffer
2012-09-18 23:06:26 +01:00
2c0fd47e56
fix ReadFromBuffer
2012-09-11 14:21:55 +01:00
1fc641b7d1
add module aware versions of pred interface.
2012-07-13 14:57:12 -05:00
5989af937b
MT support in mingw win32.
2012-06-29 15:38:49 -05:00
a9d1bd788e
improve SWI console
2012-06-22 03:56:01 -05:00
af7510a67b
fix handling of repeated calls to YAP_Init.
2012-04-12 23:25:04 +01:00
edfb13c5e9
allow users to check for out of space conditions explicitly.
2012-03-30 09:49:36 +01:00
74d7ad2704
extend interface to copy fast lists of integers or floats.
2012-03-14 11:08:28 +00:00
a2c86643b0
ismall fixes to MPI interface.
2012-02-03 16:31:49 +00:00
4e6cc28cd3
lam support.
2012-02-02 09:58:05 +00:00
8f728962a5
YAP_ExportTerm and YAP_ImportTerm from buffer (first cut).w
2012-02-01 19:26:28 +00:00
d3c7800ab4
support PL_skip_list and PL_unify_bool.
2012-01-09 23:29:31 +00:00
00b5edd8da
allow copying a chunk of floats to a list in a single operation. Also
...
improve performance of sum out operation on arrays.
2011-12-30 16:04:16 +00:00
18190a4633
fix types for return absmi and friends.
2011-12-13 23:09:05 +00:00
17c3a16d35
rename rellocate -> relocate
2011-12-13 19:14:33 +01:00
aab98180c5
garbage collection support for opaque variables
2011-12-13 10:01:51 +00:00
7aa77faf2a
fix compilation for or-parallelism
2011-11-30 15:19:37 +00:00
e06560eff4
support for threads.
2011-11-30 13:05:06 +00:00
0409449a23
expand interface to create list from array of terms.
2011-11-18 16:26:11 +00:00
449da99843
fix fix.
2011-11-12 12:20:03 +00:00
074a9a754f
fix path for config.h
2011-11-12 12:18:57 +00:00
3ac8e3914f
improve C-interface to cope with prism.
2011-11-10 12:26:23 +00:00
2ee9981a11
new Makefiles and prototypes.
2011-11-03 07:55:56 +09:00
9f2b0c7e70
extend C-interface to support b-prolog like stuff
2011-11-03 07:52:52 +09:00
836a6ee6a4
make it possible to access Regs and Tag codes from external sources.
2011-11-03 07:46:52 +09:00
1769fc7313
bprolog support
2011-10-27 12:38:22 +02:00
980c79359f
Yap_unifiable and YAP_Unifiable.
2011-10-27 12:35:07 +02:00
384ddd84ad
extend interface with IsTermNIl()
2011-10-24 22:46:16 +01:00
5d0eed5eb1
make sure SWI atom constants are typed as atom_t
2011-10-21 23:06:17 +01:00
72afe868ec
allow access to argc and argv in the c-interface.
2011-10-13 16:46:39 +01:00
9cfd4d8d8b
move package/PLStream to os
...
modify Makefiles accordingly
define __unix__ on Unix like clones (OSX, AIX, etc).
2011-09-04 19:42:33 +02:00
b6aca9463d
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2011-08-18 22:35:13 +01:00
619d0622e6
allow writing of opaque terms.
2011-07-27 16:50:14 +01:00
9a48889e69
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
2011-07-26 17:55:10 +01:00
00949b8783
add WIN32 flags.
2011-07-26 17:54:17 +01:00
5437984815
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
2011-07-26 17:07:10 +01:00
69f1bedf47
copy error routines from SWI. That was easy.
2011-07-25 23:52:05 +01:00
4fe1833ece
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
2011-07-25 17:09:43 +01:00
840e287cda
mode changes
2011-07-25 17:09:28 +01:00
beffc7b69d
fix missing CONST
2011-07-25 00:57:35 -07:00
a16a7d5b1c
fix calling of Write and Read for new SWI style interface.
2011-07-22 15:49:40 +01:00
f6be2ed08d
support interface to foreign objects that have a backtrack handler.
2011-07-22 04:09:33 -07:00
a1d903e3e9
external term support.
2011-07-21 06:32:49 -07:00
6b6276a4d3
patch to make YAP_cut_succeed() and YAP_cut_fail() safe to use as statements (from, Denys Duchier).
2011-07-21 04:18:35 -07:00
14bdc262df
export TermToStream
2011-05-25 13:10:39 +01:00
e03acef3f9
use SWI flags.
2011-03-26 15:17:17 +00:00
6b5046bb8c
use external modules.
2011-03-15 16:22:56 +00:00
0d6be2d858
improve string support
...
fix non-thread compilation.
2011-03-11 23:21:23 +00:00
7f44012266
upgrade to new version of clib
2011-03-10 11:06:13 +00:00
d0465f0d7d
use SWI code directly.
2011-03-09 23:20:37 +00:00
53137a2502
fix PROTO problem.
2011-03-08 00:03:07 +00:00
da1df3d851
more cleanups.
2011-03-02 23:19:39 +00:00
3f6b92de4b
enable compilation with multi-threading.
2011-02-27 15:06:10 -08:00
3c261305db
interface to rationals.
2011-02-27 02:13:25 -08:00
dce619f804
compile readline.
2011-02-16 00:23:58 +00:00
1c3188e304
make sure gmp is always included (patch from Nuno FOnseca).
2011-02-15 21:20:14 +00:00
57f5ef8cfc
more bug fixes:
...
- make readline use packages, not old YAP code
- fix ! over backtrack cps
- fix write list
2011-02-15 05:54:19 -08:00
140318ff16
read works now.
2011-02-14 23:39:27 -08:00
4dbdaaa772
eplace format
2011-02-14 14:13:45 -08:00
f6befe5796
alias stuff.
2011-02-14 06:59:15 -08:00
2451a052cb
use text routines from current SWI fli.
2011-02-12 00:17:59 +00:00
3fe9b923cb
more fixes to SWI emulation
...
integrate in main binary
2011-02-10 21:14:38 +00:00
232a740d43
upgrade to latest SWI
2011-02-10 00:01:19 +00:00
a4a1feeacc
improve SWI emulation in WIN32.
2011-02-03 11:23:12 +00:00
168a6366f8
enable obtaining current stream_position from SWI.y
2010-12-19 21:32:13 +00:00
3c4da56af2
allow write to find out about SWI streams in SWI mode.
2010-12-13 12:38:37 +00:00
8290341a5f
fix typo
2010-12-05 00:07:22 +00:00
8db05c883b
make sure we separate betwen async exceptions and synchroneous.
2010-12-04 19:05:13 +00:00
7b6f330bd3
improve blob support (but just skeleton).
2010-11-29 23:17:06 +00:00
69cde79ba6
PL_malloc and friends should call malloc, not Yap_Alloc
2010-11-24 08:44:03 +00:00
99c5a17b12
Implement Halt Hook (request from Bernd).
2010-09-24 14:00:53 +01:00
8b9cf7dc2a
YAP_SetYAP_Flag
2010-08-30 22:25:56 -05:00
f1977f5dab
allow saving and restoring current arguments to/from slots.
2010-08-04 17:36:20 +01:00
bebb236e32
improve SWI compatibility, especilaly for threaded stuff.
2010-08-04 11:37:12 +01:00
388f4fb782
expand C-interface to allow access to common term operations (request from Ingo Molnar).
2010-08-02 19:48:17 +01:00
f3b9811ef7
more packages to implement better thread interface.
2010-07-23 15:54:13 +01:00
1f3455a656
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
...
Conflicts:
include/SWI-Prolog.h
2010-07-21 09:44:18 +01:00
90f7504a76
make swi-yap io interface a structure.
2010-07-21 09:39:49 +01:00
63f891ae40
work around iob problems
2010-07-20 22:55:27 +01:00
bbc67cca67
fix numbering scheme for functors.
2010-07-19 14:45:11 +01:00
6183ff0282
semweb and http compile now (but they don't work properly yet).
2010-07-15 23:35:37 +01:00
b21603ac89
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-07-05 16:01:10 +01:00
9413872467
fix get_atom_nchars (obs from Roberto Bagnara)
2010-07-05 16:00:12 +01:00
8f8ba6221e
add SWI's PL_get_string
2010-06-30 17:54:02 +02:00
d22cb9b6ab
new interface pedicates
...
fixes to bad implementation.
2010-06-23 11:44:21 +01:00
d3f52d3f61
fix SWI to be able to include gmp.h
2010-06-19 14:36:12 +01:00
b2d59d6c43
make sure gmp.h is included
2010-06-19 08:20:25 +01:00
bd50f087e9
imore SWI compat, including string fixes
2010-06-19 00:38:49 +01:00
d1d149b9fd
support for PL_ mpz and mpq ops
...
add missing atom_nchars
2010-06-18 23:24:36 +01:00
4c45f8c4b1
avoid some name clashes (obs from Roberto Bagnara)
2010-06-18 17:48:47 +01:00
b74e38378f
new: PL_atom_nchars
2010-06-18 09:14:45 +01:00
054df758a0
another PL function.
2010-06-18 00:27:13 +01:00
a180e48cfa
improvements in SWI-emulation
2010-06-17 00:35:25 +01:00
99dafc9172
more win64 fixes
2010-05-10 22:14:08 +01:00
8340886b31
long -> Int
2010-05-10 10:22:18 +01:00
bd06b719db
fix long long types
2010-05-06 16:37:44 +01:00
9a437820a3
oops
2010-05-06 16:36:46 +01:00
53336b6788
fix interface types
2010-05-06 16:35:53 +01:00
6307508ffc
more fixes
2010-05-06 16:32:41 +01:00
c44d7b66d2
fix warnings
2010-05-06 16:01:48 +01:00
11641c5f94
64 bit cleanups.
2010-05-06 15:00:44 +01:00
51f33514b3
fix typing problems and a bug in quote.c?
2010-05-06 12:19:51 +01:00
0fabe2b9c6
_PL_get_arg and WUNDEFINED
2010-05-06 10:58:44 +01:00
764737fe5b
add missing files.
2010-05-03 14:27:54 +01:00
030539f33b
PL_get_chars: Implement CVT_WRITE and CVT_WRITE_CANONICAL
2010-04-29 23:04:04 +01:00
4fda6b7488
track recent SWI changes.
2010-02-22 09:35:21 +00:00
33190e290d
mingw complaint with recent versions of gcc
2010-02-10 03:03:03 -06:00
110f1c7977
improve SWI interface compatibility
2010-01-26 12:21:06 +00:00
0d38d67dfa
add missing interface functions.
2010-01-25 12:29:51 +00:00
Vítor Santos Costa
Vitor Santos Costa
U-w7\vsc
David Vaz
David Vaz
VITOR SANTOS COSTA
Denys Duchier
Ricardo Rocha
U-WIN-U2045GN0RNQ\Vítor Santos Costa
Vítor Santos Costa
ubu32
Vítor Santos Costa
U-Khasa\Vitor