U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
4fe1833ece
|
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
|
2011-07-25 17:09:43 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
840e287cda
|
mode changes
|
2011-07-25 17:09:28 +01:00 |
|
Vitor Santos Costa
|
beffc7b69d
|
fix missing CONST
|
2011-07-25 00:57:35 -07:00 |
|
Vitor Santos Costa
|
f6be2ed08d
|
support interface to foreign objects that have a backtrack handler.
|
2011-07-22 04:09:33 -07:00 |
|
Vitor Santos Costa
|
a1d903e3e9
|
external term support.
|
2011-07-21 06:32:49 -07:00 |
|
Vitor Santos Costa
|
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 |
|
Vítor Santos Costa
|
14bdc262df
|
export TermToStream
|
2011-05-25 13:10:39 +01:00 |
|
ubu32
|
3c261305db
|
interface to rationals.
|
2011-02-27 02:13:25 -08:00 |
|
ubu32
|
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 |
|
ubu32
|
140318ff16
|
read works now.
|
2011-02-14 23:39:27 -08:00 |
|
ubu32
|
4dbdaaa772
|
eplace format
|
2011-02-14 14:13:45 -08:00 |
|
ubu32
|
f6befe5796
|
alias stuff.
|
2011-02-14 06:59:15 -08:00 |
|
Vitor Santos Costa
|
3fe9b923cb
|
more fixes to SWI emulation
integrate in main binary
|
2011-02-10 21:14:38 +00:00 |
|
Vitor Santos Costa
|
232a740d43
|
upgrade to latest SWI
|
2011-02-10 00:01:19 +00:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
a4a1feeacc
|
improve SWI emulation in WIN32.
|
2011-02-03 11:23:12 +00:00 |
|
Vítor Santos Costa
|
8db05c883b
|
make sure we separate betwen async exceptions and synchroneous.
|
2010-12-04 19:05:13 +00:00 |
|
Vitor Santos Costa
|
99c5a17b12
|
Implement Halt Hook (request from Bernd).
|
2010-09-24 14:00:53 +01:00 |
|
Vitor Santos Costa
|
8b9cf7dc2a
|
YAP_SetYAP_Flag
|
2010-08-30 22:25:56 -05:00 |
|
Vítor Santos Costa
|
f1977f5dab
|
allow saving and restoring current arguments to/from slots.
|
2010-08-04 17:36:20 +01:00 |
|
Vítor Santos Costa
|
388f4fb782
|
expand C-interface to allow access to common term operations (request from Ingo Molnar).
|
2010-08-02 19:48:17 +01:00 |
|
Vitor Santos Costa
|
f3b9811ef7
|
more packages to implement better thread interface.
|
2010-07-23 15:54:13 +01:00 |
|
Vítor Santos Costa
|
99dafc9172
|
more win64 fixes
|
2010-05-10 22:14:08 +01:00 |
|
Vítor Santos Costa
|
8340886b31
|
long -> Int
|
2010-05-10 10:22:18 +01:00 |
|
Vitor Santos Costa
|
110f1c7977
|
improve SWI interface compatibility
|
2010-01-26 12:21:06 +00:00 |
|
Ricardo Rocha
|
8a557012dd
|
add primitive YAP_IsLongIntTerm to the C Language interface.
|
2009-11-23 18:46:57 +00:00 |
|
nf@khaixa.(none)
|
1bfbe535da
|
Extended support for SWI-Prolog C interface.
|
2009-11-20 08:42:22 +00:00 |
|
Vitor Santos Costa
|
0f99e336cc
|
YAPVERSION
|
2009-10-21 00:20:18 +01:00 |
|
Vitor Santos Costa
|
1ea4a27dd1
|
YAP_FileNoFromStream for Nf
|
2009-04-22 21:42:15 -05:00 |
|
Vitor Santos Costa
|
7ed3b456ac
|
add Yap_FileDescriptorFromStream at request from NF.
|
2009-04-22 16:41:41 -05:00 |
|
Vitor Santos Costa
|
b159736edd
|
fixes for 64 bits.
|
2009-04-14 01:25:21 +01:00 |
|
Vitor Santos Costa
|
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 |
|
Vítor Santos Costa
|
8efcdf7eaa
|
add support for creating a list of codes or atoms incrementally.
|
2008-12-22 13:49:44 +00:00 |
|
Vítor Santos Costa
|
a2744ed186
|
further changes to better support SWI interface.
|
2008-12-17 14:47:05 +00:00 |
|
Vítor Santos Costa
|
2b0c27deb6
|
Remove attempt to emulate SWI I/O
add YAP_getcwd and PL_cwd to interface
|
2008-12-13 16:07:55 +00:00 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
vsc
|
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 |
|
tiagosoares
|
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 |
|