Source code checked in, #45c7f045dea8
fixed asInfon translation for Z3 engine starting on datasource relations
View ArticleSource code checked in, #b9518e92fd2c
buggy implementation of said modality translation. lots of logging in debug, be aware
View ArticleSource code checked in, #f1b9ac5df9c6
refactored modal translation for classical logic of quotations
View ArticleSource code checked in, #08d4eb28702c
muddy children example, unnatural modelling due to not's
View ArticleSource code checked in, #9751f8ac401f
more robust learning of possibly inconsistent infons (negation)
View ArticleSource code checked in, #a33343db1702
muddy children problem generator -- some bugs to weed out but works fine in general
View ArticleSource 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 Article