ricroc
9c12627e84
documentation for tabling execution.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1605 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-21 18:39:38 +00:00
vsc
d8ccb42440
fix current_thread to make sure it uses the integer ID even with aliases.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1604 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-20 17:29:46 +00:00
vsc
5198ba1077
more graph stuff.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1603 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-20 15:28:08 +00:00
vsc
6d704a6675
commit updates to graphs and red-blac trees.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1602 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-14 01:01:55 +00:00
rslopes
b80a77e4b5
update version to Yap-5.1.2 (working version)
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1601 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-13 12:02:39 +00:00
vsc
176f36d5fd
fix debugging typo
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1600 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-13 02:04:24 +00:00
vsc
ab361ad9fd
make it sure that making vars safe does not propagate across branches of disjunctions.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1599 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-12 20:08:51 +00:00
vsc
af65e2dbc2
fix bug in clause: a trust_me followed by a try should be implemented by
...
reusing the choice-point.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1598 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-12 18:56:50 +00:00
rslopes
307a132aa6
fix for the EAM internal function that shows abstract machine code
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1597 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-12 17:26:14 +00:00
rslopes
f116d8b854
fix needed by the EAM engine
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1596 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-12 17:14:58 +00:00
rslopes
1c6cb0e8cf
small fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1595 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-12 15:51:23 +00:00
ricroc
1ce0cdee55
subgoal_search: remove subgoal frame from list of inactive subgoals when a repeated call appears.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1594 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-12 14:57:59 +00:00
rslopes
e2b10fe908
fix for older compilers
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1593 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-11 16:49:07 +00:00
rslopes
13479f6091
Update for sun arch.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1592 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-11 16:45:43 +00:00
vsc
783ae4b9a0
fix syntax error message handling
...
improve redblack trees and use it to reimplement association lists and
to have better implementation of several graph algorithms.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1591 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-10 19:24:52 +00:00
rslopes
39daac182e
eamconsult can now be used to pre-compile simple prolog code.
...
We still need to support futher builtins.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1590 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-08 15:12:08 +00:00
rslopes
11f13db8fc
bug fix
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1589 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-08 14:56:48 +00:00
rslopes
794f7d1ce7
updated eamconsult, but still supporting only skip_while_var.
...
Next we plan to support other bluitins through
eam and-or-tree controls. Example:
var(X) must be transformed into wait_till_bound(X), var(X)
that will fail if X is bound or waits till is leftmost in the and-or-tree
before continuning...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1588 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-08 13:28:23 +00:00
rslopes
5179cb7d2b
eam.yap includes first version of eamconsult
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1587 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-06 11:18:37 +00:00
rslopes
2da7e891dc
include pl/eam.yap
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1586 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-06 11:15:56 +00:00
vsc
30318bb60d
Lots of fixes (check logfile for details
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1585 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-04-05 00:16:55 +00:00
vsc
0f8650bfa3
get rid of debug code
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1584 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-30 01:12:38 +00:00
vsc
79c0a8cc27
fix nasty variable shunting bug in garbage collector :-(:wq
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1583 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-30 01:11:10 +00:00
pmoura
9e25b96328
Logtalk 2.27.1 files.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1582 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-29 16:13:50 +00:00
vsc
e3a987f38e
make tabling compile
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1581 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-29 16:00:10 +00:00
pmoura
75b2645e3f
Logtalk 2.27.1 files.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1580 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-26 17:31:34 +00:00
vsc
fded381282
had broken listing when changed "" to ''.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1579 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-24 17:15:20 +00:00
rslopes
f8360b6016
New update to BEAM engine.
...
BEAM now uses YAP Indexing (JITI)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1578 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-24 17:13:41 +00:00
rslopes
489b1a91c2
New update to BEAM engine.
...
BEAM now uses YAP Indexing (JITI)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1577 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-24 16:34:21 +00:00
vsc
8ed6f693bb
code review
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1576 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-24 16:26:31 +00:00
rslopes
8947654162
New update to BEAM engine.
...
BEAM now uses YAP Indexing (JITI)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1575 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-24 16:19:31 +00:00
vsc
3241452d64
take better care of zombies
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1574 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-22 20:07:28 +00:00
vsc
01a088bd54
don't be too eager at throwing indexing code for static predicates away.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1573 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-22 16:14:20 +00:00
vsc
01091f0bfa
JPL and DL fixes
...
documentation fix.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1572 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-22 15:00:29 +00:00
vsc
e90ddb032f
avoid looking around when expanding for statics too.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1571 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-21 21:30:54 +00:00
vsc
b38d4fc941
fix fix on index expansion
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1570 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-21 19:20:35 +00:00
vsc
a578a778a4
prevent breakage
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1569 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-21 17:11:39 +00:00
vsc
8812310636
fixes to handle expansion of dyn amic predicates more efficiently.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1568 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-21 15:06:36 +00:00
vsc
1edb3a8115
fix indexing and tabling bugs
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1567 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-20 19:51:44 +00:00
tiagosoares
cbc94bbaf7
MYDDAS: db_open/5 support to user specify the TCP/IP port and/or Unix Socket of the MySQL Server to connect to.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1566 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-17 10:41:44 +00:00
tiagosoares
32a73796ee
MYDDAS: Fixed compilation bug
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1565 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-10 16:58:39 +00:00
tiagosoares
6f409cb962
CUT_C and MYDDAS support for 64 bits architectures
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1564 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-09 15:52:06 +00:00
vsc
1f5f6c7f12
fixed bug that would mnake GC and stack shifting loop.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1563 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 22:14:20 +00:00
tiagosoares
16eb3a70fc
MYDDAS: Improved the MYDDAS instalation
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1562 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 17:34:29 +00:00
tiagosoares
35d9290a43
Added -P to cpp execution
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1561 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 17:30:47 +00:00
tiagosoares
8b29afcb67
MYDDAS: changed --with-myddas to --enable-myddas
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1560 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 17:27:51 +00:00
rslopes
6a222d7b53
Myddas disable by default...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1559 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 11:06:40 +00:00
vsc
cf669ee72b
fixes to garbage collector
...
fixes to debugger
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1558 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-06 14:04:57 +00:00
tiagosoares
ae98f71fd9
Support for the MYDDAS on configure.in
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1557 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-06 13:25:11 +00:00
vsc
77786d5051
oops, some debugging code got in.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1556 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-03 23:15:25 +00:00