e96aea3340
wr
2019-05-24 15:26:21 +01:00
32a5158c6b
problog
2019-03-06 10:49:55 +00:00
21ff73dd70
modules
2019-03-04 15:49:53 +00:00
86decdddde
modules
2019-01-21 01:11:42 +00:00
6451328782
myddas
2019-01-09 09:32:09 +00:00
b41986ee3c
documentation.
2018-10-15 13:47:36 +01:00
cb1c73c973
small fixes
2018-10-10 12:33:05 +01:00
208ed54b45
rational trees.
2018-08-15 01:29:20 +01:00
54c6b8c041
documentation
2018-06-05 20:51:49 +01:00
1c293a9af4
docs
2018-04-27 13:01:08 +01:00
fdf7bb516f
fix
2018-01-19 14:38:26 +00:00
e3ade13cfe
debug && docs
2017-10-27 13:50:40 +01:00
b03e0634c7
fixes + win64
2016-11-08 01:37:36 -06:00
85a88feb6f
fix assert/2 given name chancge
2016-08-26 15:23:37 -05:00
73f6c456ae
current_red
2016-01-31 10:48:53 +00: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
3eda5cf68a
reorg of predicate handling
...
use strip_module for clearer code.
- separate dynamic predicates
- separate declarations
2015-12-15 09:04:08 +00:00
db8d44efdc
recover deleted stuff
2015-10-22 11:58:59 +01:00
78ed4c9e5e
debugging stuff
2015-07-22 19:31:03 -05:00
0889596e8b
flags etc
2015-06-19 01:12:05 +01:00
Vitor Santos Costa