Source code checked in, #3a36d1dd9d2f
NEQ operator was lexed but not parsed (?) in basic substrate
View ArticleSource code checked in, #557127301b01
complete generator for muddy children problem. For some reason it deduces everytging correctly but does not terminate nor send any more messages
View ArticleSource code checked in, #b91ec441e57a
fixpoint sync problem in multimain not solved yet
View ArticleSource code checked in, #7fe0d330201d
relearn action: learn an infon for which I potentially know its negation. It still fails if I can derive that negation added documentation to muddy children example to put up in DKAL4fun
View ArticleSource code checked in, #e4f9a41172d1
starting support for data source relations. Unstable
View ArticleSource code checked in, #30a41ac2019c
more datasource relation implementation. definition & unification still missing closure not implemented yet negation not implenmented yet
View ArticleSource code checked in, #3e70d57e84c1
minimal datasource relation implementation working not sure how to do the negation be consistent...
View ArticleSource code checked in, #bd94e4650122
for datasource relations to be useful in a Z3-based engine we'll need Z3 callbacks...
View ArticleSource code checked in, #0a1fb23f5889
minimal acl example with datasources. Won't work though
View ArticleSource code checked in, #c6fe51d4244a
refactoring datalog backend into datalog translator
View ArticleSource code checked in, #432f9236bc7a
intiial complete version of datalog based engine - untested
View ArticleSource code checked in, #e73037895678
frontend integration still having hiccups with Z3
View ArticleSource code checked in, #ab30c866f779
adding to datalog based engine. Bugs in interaction with Z3
View ArticleSource code checked in, #6f7f8d370e64
- backtranslation for datalog engine complete. WARNING - it may be subject to future improvements on Z3 API which may break the engine - it does not play well with empty strings as values. see...
View ArticleSource code checked in, #2bd41a8dd25e
add TSPIL2 = TSPIL + disjunction superset introdution rule (a \/ b |= a \/ b \/ c). Same O(N^3) complexity.
View Article