44ac70d3ab
docs
2018-04-27 17:37:42 +01:00
1c293a9af4
docs
2018-04-27 13:01:08 +01:00
faf3c930c8
docs
2017-04-07 23:10:59 +01:00
50c8724322
linux backport
...
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
2016-01-04 14:11:09 +00:00
661f33ac7e
bug fices
2016-01-03 02:06:09 +00:00
ce8a19d381
Add documentation
2015-11-18 15:06:25 +00:00
3164ed2d61
doc support
2015-01-04 23:58:23 +00:00
6453ca395c
more doc changes
2014-09-15 13:42:35 -05:00
3009987985
update docs
2014-09-11 14:06:57 -05:00
88cc8a0bdb
predicate options.
2012-02-13 09:39:09 +00:00
d05d4c920d
fix conflict between clib and old random libraries (they are much the same):
2010-06-21 17:11:48 +01:00
0b7083adb2
make sure that YAP_Restart does not restart a failed goal.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1855 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-22 11:12:22 +00:00
db588d7b15
had forgotten getrand/3.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@120 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-07-10 20:04:10 +00:00
90c92979c6
change library(random) to use O'Keefe code.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@80 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-06-11 20:20:36 +00:00
e5f4633c39
This commit was generated by cvs2svn to compensate for changes in r4,
...
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-04-09 19:54:03 +00:00
Vítor Santos Costa
vsc