Source code checked in, #58eb7989d3c9
explict quantification in PPIL. rename 'with' keyword in quantified infons to 'forall' (to separate from instantiated variables ('with' declaration on rules))
View ArticleSource code checked in, #3c16b596fdab
rename 'with' to 'forall' in MultiMain clinical trials also
View ArticleSource code checked in, #7739c962b40d
add knowledge assertions syntax 'knows <infon>'. remove 'do once <actions>'.
View ArticleSource code checked in, #d5d24721f575
learn and forget should not split conjunctions. explicit knowledge should be stored unchanged.
View ArticleSource code checked in, #44c89b28f7a0
bugfix: variables in knowledges should not intersect. see forall2.mdkal
View ArticleSource code checked in, #92ce04764377
forget should remove all unifiable infons. so "forget forall x r(x)" should be the same as "forget forall y r(y)"
View ArticleSource code checked in, #7795632c3853
bugfix in hash based SPIL. Thanks to Carlos Cotrini.
View ArticleSource code checked in, #957fdeef70bd
logic selector in MultiMain ("/// logic: BPIL"). useful for rise4fun.
View ArticleSource code checked in, #349c513fc5b1
simplified clinial trial examples, without quantification
View ArticleSource code checked in, #e482c374b514
#1: Parser should return the correct line number for the error location when returning an error fix bug in Lexer add line offset to MultiMain parsing
View ArticleSource code checked in, #2cdb37e4991e
replace hash function to xor in SPIL bugfix for release mode
View ArticleSource code checked in, #62562a2c475a
#2: Collections support. Add CollectionType, Collection constants, exists and isEmpty functions.
View Article