32a5158c6b
problog
2019-03-06 10:49:55 +00:00
21ff73dd70
modules
2019-03-04 15:49:53 +00:00
b41986ee3c
documentation.
2018-10-15 13:47:36 +01:00
1206035805
more doc stuff
2018-05-10 13:11:56 +01:00
63a1957d8e
documentation.
2017-07-24 18:20:00 +01:00
83b137f117
docs
2017-05-02 04:07:23 +01:00
70232133cc
docs
2017-04-13 21:42:34 +01:00
faf3c930c8
docs
2017-04-07 23:10:59 +01:00
1aa20e24b7
misc_bugs_when_compiling_problog
2016-04-14 12:00:09 +01:00
2192f73b11
make it compile under MSN vc. Unfortunately it has a weird crash at boot :(
...
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
2016-02-28 19:32:55 +00:00
62e0f0bece
ensure it goes to Prolog, no hidden module stuff.
2016-02-26 17:43:29 +00:00
ce8a19d381
Add documentation
2015-11-18 15:06:25 +00:00
3164ed2d61
doc support
2015-01-04 23:58:23 +00:00
e9cc545f68
big cleanup: cpmpile under style checker.
...
fix broken module stuff.
2014-10-07 01:35:41 +01:00
3009987985
update docs
2014-09-11 14:06:57 -05:00
4573afa70b
fix frozen/2.
2014-08-20 07:55:05 -05:00
a8c77d2609
fix string_concat/2
2014-04-09 12:39:29 +01:00
42d3ca6459
avoid \!
2013-11-25 12:16:10 +01:00
7f70a797f4
fix error messages to obey standard.
2010-10-12 22:02:24 +01:00
4ae92544b2
fix $when (obs from David Powers)
2010-09-30 20:48:13 +01:00
fa91fb6d86
ifix typo
2010-09-30 20:10:25 +01:00
13130df3d9
fix bugs in corout (onbs from David Powers).wq
2010-09-28 00:59:39 +01:00
acee213eeb
beautification.
2010-04-20 23:13:11 +01:00
26e0bfdf06
fix op
2010-03-12 22:41:30 +00:00
c4b39d3ab9
update Prolog code: do a cleanup and make delays use SWI interface.
2010-03-12 14:26:35 +00:00
613dfb0d95
move away from SICStus: do not check all attvars.
2010-03-12 08:25:35 +00:00
3d10482cc7
more upgrades to new coroutining code.
2010-03-10 14:06:07 +00:00
dd3645b5c8
move to SWI like interface.
2010-03-08 09:24:24 +00:00
65e8ed2908
use more efficient predicate.
2009-06-14 22:57:07 -05:00
a9647b0321
wake up goals the same order they were suspended.
2009-06-05 09:48:00 -05:00
170a5bcd70
fix regression #110
2009-06-03 09:22:23 -05:00
26a20fa74a
fix showing clean_call ( #65 Ulrich Neumerkel).
2009-05-20 09:12:01 -07:00
cfec78de06
fix copy_term and frozen (obs from Ulrich).
2009-05-18 07:07:42 -07:00
55036ad9bb
check if argument to when is bound (obs from Ulrich Neumerkel).
2009-05-17 10:58:21 -07:00
1058a350c6
more cleanups: get rid of dead code.
2009-05-16 12:08:11 -07:00
1fe1b19534
cleanup handling of attributed variables:
...
- try to make it clear when to call project
- try to make it clear when to generate goals for attributed variables (get_goalist_from_attvars).
- change call_residue to rely this infrastructure and then add extra variables.
- change frozen never to call project.
2009-05-16 12:00:56 -07:00
bdf8b890e3
copy_term/3
2009-05-13 17:11:21 -05:00
04fa96e8a0
add call_residue_vars (SWI and SICStus 4 compatibility).
2009-05-13 16:43:24 -05:00
f065e9359b
hProlog semantics requires checking *every* existing attributed variable (broken
...
in recent patch).
2009-05-08 00:01:09 -04:00
d3632dd48c
fix case where you may bind variable (eg, freeze(X,Y)), obs from Ulrich Neumerkel.
2009-05-07 23:51:18 -04:00
95ee0d9148
support calling attribute_goals.
2009-04-25 12:54:50 -05:00
9ef589aef7
simplify output messages
2009-04-25 10:58:21 -05:00
b3d9e88802
Fix typos across code
...
Change debugger to backtrack more alike byrd model
Fix typo in debugger option f
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1782 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-01-24 14:20:04 +00:00
ab33864f0c
Another attemp to get call_cleanup/2-3 right. Third is the charm (I hope...).
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1769 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-01-07 11:27:09 +00:00
9de3c0c7a9
Added call/5-12 (we alread have call_with_args/2-12); not sure they are worth. Alternative implementation for call_cleanup/2-3: previous implementation appears to be pruning cleanup goals before they are executed; needs testing.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1756 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-31 12:29:46 +00:00
88f51c97d7
fix some bugs in call_cleanup: the result of action should not matter,
...
and !,fail would not wakeup the delayed goal.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1754 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-31 01:50:35 +00:00
7d1b20c9cd
call_cleanup/2 and 3
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1750 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-30 03:25:47 +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
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
a4b85e2abd
more fixes to get_attributes.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1497 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-07 02:12:32 +00:00
Vitor Santos Costa
Vítor Santos Costa
vsc
pmoura