Commit Graph

1364 Commits

Author SHA1 Message Date
vsc
1b6dc41ebf add CLP files from SWI
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1418 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-28 17:53:27 +00:00
vsc
c33738d557 CLP(R) package
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1417 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-28 17:51:01 +00:00
vsc
4d94446c25 port of LGPLed CHR
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1416 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-28 17:41:30 +00:00
vsc
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
vsc
16970726b8 get rid of low_level_trace.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1414 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-22 13:35:21 +00:00
vsc
9c61f13aa5 fix -z option
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1413 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-21 16:15:31 +00:00
vsc
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
vsc
7ed595242a fix tabling
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1411 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-21 16:07:07 +00:00
rslopes
65c209a3f0 *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1410 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-20 17:32:30 +00:00
rslopes
de30fd5fa0 *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1409 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-20 08:18:30 +00:00
vsc
40c2f19c7a fix nb_terms
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1408 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 23:17:22 +00:00
vsc
3c1dbc22df fix ensure_loaded typo.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1407 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 23:16:49 +00:00
vsc
4479ee4626 extend arrays with nb_terms so that we can implement nb_ builtins
correctly.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1406 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 19:00:48 +00:00
rslopes
ae5c86e381 *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1405 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 11:31:57 +00:00
vsc
31a09376f8 use_load_files to handle initialization files
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1404 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 10:12:50 +00:00
vsc
8b06ce9fe4 make consult even load_files/2
define bootstrap/1 for initial consult


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1403 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-19 01:47:43 +00:00
vsc
e6a15addf5 5.1:
- improvements to GC
   2 generations
   generic speedups
- new scheme for attvars
   - hProlog like interface also supported
- SWI compatibility layer
   - extra predicates
   - global variables
   - moved to Prolog module
- CLP(R) by Leslie De Koninck, Tom Schrijvers, Cristian Holzbaur, Bart
Demoen and Jan Wielemacker
- load_files/2

from 5.0.1

- WIN32 missing include files (untested)
- -L trouble (my thanks to Takeyuchi Shiramoto-san)!
- debugging of backtrable user-C preds would core dump.
- redeclaring a C-predicate as Prolog core dumps.
- badly protected  YapInterface.h.
- break/0 was failing at exit.
- YAP_cut_fail and YAP_cut_succeed were different from manual.
- tracing through data-bases could core dump.
- cut could break on very large computations.
- first pass at BigNum issues (reported by Roberto).
- debugger could get go awol after fail port.
- weird message on wrong debugger option.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1402 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-18 17:04:43 +00:00
rslopes
cf655a6a9b enable profiling on amd64
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1401 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-15 17:05:23 +00:00
vsc
7175b62a27 fix manual on bigint interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1400 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-15 02:43:59 +00:00
vsc
3f3edfe2f7 fix interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1399 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-15 02:42:57 +00:00
vsc
68e8e54f84 fix for trying to add clauses to a C pred.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1398 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-15 02:05:57 +00:00
vsc
a09b33381e apply Takeuuchi's patch for -L
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1397 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-15 02:05:14 +00:00
rslopes
7d5dbe04cd bug fix
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1396 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-09 21:13:57 +00:00
vsc
38b3140eab change array semantics to allow creating same array several times.
implement SWI style global variables.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1395 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-22 03:26:13 +00:00
vsc
129efd83d8 more fixes for garbage collector
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1394 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-21 03:49:33 +00:00
vsc
c6c9e71e31 fix two instructions that were being read badly: op_fail and
switch_list_nl.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1393 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-19 19:14:50 +00:00
vsc
03ba05f24a a new and hopefully much better implementation of atts.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1392 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-09 17:24:39 +00:00
vsc
2444b775b7 several minor speedups
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1391 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-09 17:23:43 +00:00
vsc
f0aee4d164 improvements on HMMs
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1390 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-09 17:22:59 +00:00
vsc
de3bd15889 significant improvements on viterbi performance for HMMs.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1389 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-09 17:22:33 +00:00
rslopes
787d2daa8a updated with the queens example...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1388 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-08 22:53:33 +00:00
rslopes
685ce0805f BEAM on YAP update....
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1387 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-08 22:36:16 +00:00
rslopes
4342ce5c09 *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1386 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-08 22:34:41 +00:00
rslopes
030d16c40f BEAM for YAP update...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1385 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-08 22:06:45 +00:00
rslopes
ed92d70e68 BEAM for YAP update...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1384 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-08 21:59:58 +00:00
vsc
590352c2c6 DelayTop would assume coroutining
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1383 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-30 11:27:39 +00:00
vsc
47a784f97c fix restore of EX
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1382 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-23 21:28:22 +00:00
vsc
4164e56aa7 fix overflow in AllAttVars
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1381 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-23 21:27:39 +00:00
rslopes
8e5fc8ef34 Windows dir's updated to C:Yap
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1380 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-23 18:11:55 +00:00
rslopes
06c60f4041 added check for gcc version since -fno-gcse -fno-crossjumping
is not supported in older versions...


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1379 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-23 18:09:57 +00:00
rslopes
eb4ef75c31 *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1378 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-23 18:05:02 +00:00
rslopes
bafca9c692 fix to support older compilers
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1377 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-23 15:39:38 +00:00
rslopes
203cb94c74 Fix for Fedora Core 4.0
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1376 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 20:21:52 +00:00
rslopes
b53f5b691a Yap-5.0
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1375 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 15:30:53 +00:00
rslopes
5aceb1918a Yap-5.0 review.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1374 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 15:21:16 +00:00
rslopes
dd6ac01ece *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1373 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 14:38:04 +00:00
rslopes
8f7f0113a6 *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1372 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 13:49:27 +00:00
rslopes
2d53ee8b6b *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1371 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 13:42:05 +00:00
rslopes
8b172c64d7 *** empty log message ***
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1370 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 11:53:28 +00:00
vsc
858891b735 fix save/1.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1369 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-22 04:07:20 +00:00