Hi! > That's not normal. Alex, after setting up the log level, what do you get > from calling (in scheme) > > (ure-logger-get-level) >
I added that line right after the line where I set the log level as such: execute_code = \ ''' (use-modules (opencog logger) (opencog ure)) (load-from-path "/home/rasberry/git/ure/tests/ure/rules/bc-deduction-rule.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/meta-rules/predicate/conditional-full-instantiation.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/meta-rules/predicate/conditional-partial-instantiation.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/meta-rules/predicate/universal-full-instantiation.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/term/deduction.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/propositional/modus-ponens.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/propositional/contraposition.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/wip/implication-scope-to-implication.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/wip/implication-instantiation.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/wip/negation-introduction.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/wip/not-simplification.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/wip/not-elimination.scm") (load-from-path "/home/rasberry/git/opencog/opencog/pln/rules/wip/evaluation-to-member.scm") (define rbs (Concept "deduction-rule-base")) (ure-set-complexity-penalty rbs 0.1) (cog-logger-set-level! (cog-ure-logger) "DEBUG") (ure-logger-get-level) ''' scheme_eval(atomspace, execute_code) but it doesn't produce any output. That indeed seems strange. best, Alex -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to opencog+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/587502c7-3589-483a-8fc0-6f1b706b2820%40googlegroups.com.