On 12/17/18 12:54 PM, Johannes Castner wrote:
(cog-execute! negation-introduction-rule)
And I get this error:
[2018-12-17 10:50:42:031] [ERROR] Backtrace:
7 (opencog-extension cog-execute! (#))
6 (apply-smob/1 #<catch-closure 15faba0>)
5 (apply-smob/1 #<catch-closure 15fab20>)
In ice-9/eval.scm:
191:27 4 (_ #f)
223:20 3 (proc #<directory (guile-user) 112f140>)
In unknown file:
2 (%resolve-variable (7 . r2l-check-name) #<directory
(guile-user) 112f140>)
In ice-9/boot-9.scm:
751:25 1 (dispatch-exception 0 unbound-variable (#f "Unbound
variable: ~S" (r2l-check-name) #f))
In unknown file:
0 (apply-smob/1 #<catch-closure 15faae0> unbound-variable #f
"Unbound variable: ~S" (r2l-check-name) #f)
I'm not getting this error.
There's been a lot of structural changes lately, you probably need to
pull the last change of cogutil, atomspace and opencog, recompile and
install.
Maybe you'll need to clean your system as well, with
sudo trash /usr/local/include/opencog
sudo trash /usr/local/share/opencog
sudo trash /usr/local/lib/opencog
sudo trash /usr/share/guile/site/2.2/opencog*
sudo trash /usr/local/share/guile/site/2.2/opencog*
trash ~/.cache/guile
(replace trash by rm if your a responsible admin, unlike me).
Nil
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/7f8c7b18-4d22-522d-8275-275a08c1204b%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
