Removed test involving assert to compiled predicates
Added tests to retract undefined predicates
Bug fix for retract & co. for non-existing predicates.
test
message formats
added
Changed S_IREAD to POSIX's S_IRUSR.
small cleanups.
deleted dos references