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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/587502c7-3589-483a-8fc0-6f1b706b2820%40googlegroups.com.
