Tags · porembarich17/eye

v22.0203.1955

fixing issue eyereasoner#33

fixing backward rules generated by forward rules (issue eyereasoner#32)

supporting nested log:scope to deal with log:universal and log:existe…

…ntial

improving unify/2 for log:scope

adding log:scope to deal with quantification in quoted graphs (obs fr…

…om Doerthe Arndt)

adding e:before built-in to call the subject formula before the objec…

…t formula

making log:collectAllIn like e:findall and dropping e:find

extending e:call so that is able to call the object formula in the su…

…bject formula (see eyereasoner#31)

further fixing eyereasoner#28

fixing eyereasoner#28

PreviousNext