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
d3f0410c7d
include PL_get_intptr
2010-01-15 16:21:43 +00:00
ffdf270a3d
make SWI-Prolog get YAP stuff from include/Yap at run-time.
2010-01-15 14:39:03 +00:00
ff628b8e78
move to more recent interface.
2010-01-15 00:49:05 +00:00
5fc26e1b45
improve emulataion of backtrackable SWI c-code (request from NF).
2010-01-06 11:25:15 -02:00
0b17d3572b
add PL_chars_to_terms to SWI emulation.
2009-12-12 23:21:54 +00:00
8a557012dd
add primitive YAP_IsLongIntTerm to the C Language interface.
2009-11-23 18:46:57 +00:00
a132707746
undo PL_error updates
2009-11-21 22:21:17 +00:00
1bfbe535da
Extended support for SWI-Prolog C interface.
2009-11-20 08:42:22 +00:00
432cce1c49
VISUALC++ understands prototypes, hurray! (obs from Cristiano Pitangui).
2009-11-18 23:39:18 +00:00
eac1cc5b9d
fix C++ complaint.
2009-11-11 10:56:19 +00:00
4c8eb33e06
we had args already (no need for argv0)
...
improve error handling in YAP_ReadBuffer
2009-10-26 10:42:19 +00:00
0ea348c26d
extend SWI interface with PL_toplevel and to handle C++ code.
...
prolog/0 built-in
fixes to parms.h changes.
2009-10-23 16:50:43 +01:00
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
253444d7ca
support parms.h
...
pass argv[0]
2009-10-23 09:09:16 +01:00
0f99e336cc
YAPVERSION
2009-10-21 00:20:18 +01:00
460d0c9f6b
fix compilation in older gccs.
2009-10-16 08:36:37 +01:00
b4502969ad
make types compatible.
2009-08-19 20:23:52 -05:00
d3fa43d08e
improve SWI emulation in WIN32
2009-07-20 20:56:16 -07:00
2020a31362
mingw compilation
2009-07-18 13:38:38 -07:00
93a74d4224
SWI-Stream should define S__checkpasteeof #102
2009-06-01 20:05:04 -05:00
98fef199bd
fix conflict in error handling (not supposed to be exported by SWI-Prolog.h
...
add PL_eval_expression_to_int64_ex
2009-06-01 18:01:30 -05:00
9d5a049c8f
upgrade to most recent version of pl-os
...
fix some warnings.
2009-06-01 17:30:08 -05:00
b8f60c623d
improvements to SWI compatibility
2009-06-01 15:38:39 -05:00
d6ed058157
first pass at a decent implementation of PL_error ( #95 )
...
- basically copy SWI code.
2009-05-30 12:52:23 -05:00
39ccbd345d
make options -T -L -G work as SWI: they impose a maximum size limit
2009-05-10 13:36:55 -04:00
1ea4a27dd1
YAP_FileNoFromStream for Nf
2009-04-22 21:42:15 -05:00
7ed3b456ac
add Yap_FileDescriptorFromStream at request from NF.
2009-04-22 16:41:41 -05:00
43d8e1a287
make it work for MINGW32.
2009-04-21 08:30:12 -05:00
2c00c4a00b
export PLStream stuff.
2009-04-20 16:22:06 -05:00
b159736edd
fixes for 64 bits.
2009-04-14 01:25:21 +01:00
f27c261daf
more Anderson GIT support
2009-04-08 00:46:34 +01:00
2aa5aa3a26
add -A flag to ask for more attributed stack.
2009-03-27 15:15:54 +00:00
e56f46c0e3
typedef bool confuses jpl
2009-03-23 15:28:35 +00:00
67b29f3c85
improve SWI compatibility.
2009-03-13 19:40:27 +00:00
91657556ee
more UDI stuff.
2009-02-25 00:13:45 +00:00
ffb621c53b
improve support for UDI.
2009-02-20 15:52:17 +00:00
94ebb90719
UDI patch: make it work with YAP.
2009-02-20 11:42:48 +00:00
0f58cf8029
small fixes
2009-02-16 12:53:29 +00:00
4b826e76ae
support for user defined indexing: step 1 basic routines.
2009-02-12 16:39:20 +00:00
1191b039d5
include support for dynamically created clause lists.
2009-02-11 15:10:57 +00:00
33b4a02fae
extend C-interface to check if a variable is AttVar and to fetch all the
...
attributes.
2009-02-09 22:45:50 +00:00
8efcdf7eaa
add support for creating a list of codes or atoms incrementally.
2008-12-22 13:49:44 +00:00
43e70f2003
more changes to support SWI Input/Output. Now it compiles, which does
...
not mean it would work!
2008-12-22 12:03:14 +00:00
e51a4c2f5b
more changes to interface better with SWI-Prolog
2008-12-19 11:41:56 +00:00
a2744ed186
further changes to better support SWI interface.
2008-12-17 14:47:05 +00:00
2b0c27deb6
Remove attempt to emulate SWI I/O
...
add YAP_getcwd and PL_cwd to interface
2008-12-13 16:07:55 +00:00
2e2aaf040b
add PL_fail and PL_succeed to SWI interface emulation.
2008-08-24 14:22:49 +01:00
a3983fa820
swi compatibility support
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2294 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-01 21:44:25 +00:00
e1866e2917
improve C-interface and SWI comptaibility a bit.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2292 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-24 16:02:04 +00:00
d8e5f2c895
fixes by Bart and Tom: mostly libraries but nasty one in indexing
...
compilation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2286 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-07-11 17:02:10 +00:00
39c4a2e67f
fix c_interface not to crash when people try to recover slots that are
...
not there.
fix try_logical and friends to handle case where predicate has arity 0.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2278 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-17 13:37:51 +00:00
08422c967a
more fixes to C-interface
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2257 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-04 13:58:42 +00:00
3101d1ff61
-q flag
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2150 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-13 18:41:52 +00:00
af0fb4f4d9
SWI-portability changes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-12 17:03:59 +00:00
64d62f1e3e
improve JT
...
fix graph compatibility with SICStus
re-export declaration.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2037 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-12-05 12:17:25 +00:00
85d463e170
add SWI-compatible flags
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1948 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-10-09 11:43:44 +00:00
31ff28d3ee
upgrade JPL
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-27 15:25:34 +00:00
4c08960096
Improve SWI interface emulation.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1920 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-04 10:34:55 +00:00
9c232ddd0b
interface speedups
...
bad error message in X is foo>>2.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1894 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-06-04 12:28:02 +00:00
498c7a6d42
fix min list
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1882 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-05-15 11:33:51 +00:00
039067068e
improve external interface
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1881 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-05-14 16:44:12 +00:00
90c1641841
several debugger and CLP(BN) improvements.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1732 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-13 16:10:26 +00:00
98de08022b
WIN32 fixes
...
compiler bug fixes
extend interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-16 18:37:31 +00:00
fbcfdb49a9
MYDDAS: Myddas Top Level for MySQL and Datalog
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1537 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-02-08 17:29:55 +00:00
72214cb08c
fix interface and docs
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1492 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-02 03:35:45 +00:00
83b5a160f8
support for executing c code when a cut occurs
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1463 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-18 18:52:41 +00:00
e7b84f7a13
use const declarations in interface (thanks to Roberto Bagnara for the patch).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1441 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-05 01:28:28 +00:00
1fa46c6051
sveral updates
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-28 17:38:50 +00:00
f5fc38a79e
SWI compatible module only operators
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1412 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-21 16:09:03 +00:00
996272db22
YPP would leave exceptions on the system, disabling Yap-4.5.7
...
message.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1364 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-17 13:35:52 +00:00
34b2a0df4f
TABLING NEW: support to limit the table space size
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1355 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-04 15:45:56 +00:00
7e06e3fa36
fix error handling
...
configure should not allow max-memory and use-malloc at same time
some extensions for jpl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1289 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-25 18:18:02 +00:00
59561e2688
fix excessive pruning in meta-calls
...
fix Term->int breakage in compiler
improve JPL (at least it does something now for amd64).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1264 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-03-13 06:26:13 +00:00
f11ab09a60
try to make initialisation process more robust
...
try to make name more robust (in case Lookup new atom fails)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1254 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-03-02 18:35:49 +00:00
8d2cb067ec
fix situation where we might assume nonextsing double initialisation of C predicates (use
...
Hidden Pred Flag).
$host_type was double initialised.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1177 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-11-18 22:32:40 +00:00
1781ff9420
whole lot of fixes:
...
- memory leak in indexing
- memory management in WIN32 now supports holes
- extend Yap interface, more support for SWI-Interface
- new predicate mktime in system
- buffer console I/O in WIN32
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1113 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-08-11 16:14:55 +00:00
21a3377248
debugger fixes
...
initial support for JPL
bad calls to garbage collector and gc
debugger fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1096 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-07-22 21:32:23 +00:00
0101c09236
coroutining is now a part of attvars.
...
some more fixes.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1070 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-06-05 03:37:01 +00:00
a6f1b27c09
misc fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1068 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-05-17 21:42:12 +00:00
e7fbb54532
Yap_WriteBuffer
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1067 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-05-14 17:56:47 +00:00
874758e936
support BigNums in interface
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1066 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-05-14 17:11:32 +00:00
0aa358a2b7
add Yap_ReadBuffer
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1064 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-05-14 16:33:47 +00:00
6662ca157e
simplify module access
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@981 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-02-12 12:37:12 +00:00
ba9876268f
threads, clean signals, and much more...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@957 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-01-23 02:23:51 +00:00
1369dfa410
new meta-call scheme.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@751 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-01-29 14:47:17 +00:00
2130f41f44
fixes by Nuno to c-interface.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@705 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-11-26 16:52:09 +00:00
8ac94c1d88
cleanup restore: use same code for check_saved_state and for actual
...
restore, tell exact path of file, try several files even if first one is
corrupt.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@664 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-10-30 17:27:19 +00:00
2c1cb9b4bb
fix unify in c_interface
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@596 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-09-17 06:02:01 +00:00
a2d8ea40d6
new file YapInterface.h
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@583 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-09-09 17:45:51 +00:00
21aab28a59
new error handlong mechanism
...
new YAP_ foreign interface
fix unbound_first_arg in call_with_args
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@582 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-09-09 17:40:12 +00:00
e476bc0abc
have different types for Functor,Atom and Term.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@555 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-06-26 05:24:51 +00:00
f48a21bbcb
fixes for c_interface.h (Roberto Bagnara).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@533 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-06-14 21:28:02 +00:00
d7665e2b30
try to improve manual.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@527 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-06-11 05:50:29 +00:00
008cd709a1
improve the interface a bit more.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@476 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-18 04:01:53 +00:00
3b3a19f5d9
more stuff for foreign interface.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@474 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-16 20:33:00 +00:00
86e4a99d73
changes to support extended foreign interface (include slots, new exception
...
handling for C-code, and several fixes to calling foreign code).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@470 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-14 18:24:34 +00:00
b8b8dd6a45
C-interface improvements
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@463 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-06 15:33:05 +00:00
22ab6fafd4
fix MkVarTerm
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@370 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-02-22 13:53:08 +00:00
293fdf9061
VC++ changes
...
use clock in WIN98
fix manual
get rid of ISO X/0
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@347 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-02-04 16:12:54 +00:00
6e18479ee2
add -f option
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@329 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-27 20:40:10 +00:00
Vitor 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
Ricardo Rocha
nf@khaixa.(none)
Costa Vitor
vsc
tiagosoares
ricroc