I installed the recent version and tried FC. Previously i used to work
> with only three arguments. But now as it requires four parameters, i gave
> empty ListLink additionally. But it throws Error.
My scm has:
(load "/opt/opencog/opencog/pln/rules/deduction-rule.scm")
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "human"))
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "human")
(ConceptNode "speak"))
(define source
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "tom")
(ConceptNode "human")))
(define base (ConceptNode "rule-base"))
(InheritanceLink
(ConceptNode "rule-base")
(ConceptNode "URE")
)
(ExecutionLink
(SchemaNode "URE:maximum-iterations")
(ConceptNode "rule-base")
(NumberNode 20)
)
(MemberLink (stv 0.9 1)
deduction-inheritance-rule-name
(ConceptNode "rule-base")
)
(MemberLink (stv 0.5 1)
deduction-implication-rule-name
(ConceptNode "rule-base")
)
(MemberLink (stv 0.5 1)
deduction-subset-rule-name
(ConceptNode "rule-base")
)
When i run,
(cog-fc source base (List) (SetLink))
I get the following:
Backtrace:
In ice-9/boot-9.scm:
157: 10 [catch #t #<catch-closure 46b4260> ...]
In unknown file:
?: 9 [apply-smob/1 #<catch-closure 46b4260>]
In ice-9/boot-9.scm:
157: 8 [catch #t #<catch-closure 46b4140> ...]
In unknown file:
?: 7 [apply-smob/1 #<catch-closure 46b4140>]
?: 6 [call-with-input-string "(cog-fc source base (List) (SetLink))\n"
...]
In ice-9/boot-9.scm:
2320: 5 [save-module-excursion #<procedure 2f77cf0 at
ice-9/eval-string.scm:65:9 ()>]
In ice-9/eval-string.scm:
44: 4 [read-and-eval #<input: string 46b5270> #:lang ...]
37: 3 [lp (cog-fc source base (List) (SetLink))]
In unknown file:
?: 2 [opencog-extension cog-fc (# # # #)]
In ice-9/boot-9.scm:
102: 1 [#<procedure 4a9da80 at ice-9/boot-9.scm:97:6 (thrown-k . args)>
C++-EXCEPTION ...]
In unknown file:
?: 0 [apply-smob/1 #<catch-closure 46b4100> C++-EXCEPTION ...]
ERROR: In procedure apply-smob/1:
ERROR: In procedure cog-fc: Not a node!
(/home/vishnu/atomspace/opencog/atoms/base/Atom.h:193)
Function args:
((InheritanceLink (stv 0,9 0,9)
(ConceptNode "tom")
(ConceptNode "human")
)
(ConceptNode "rule-base")
(ListLink
)
(SetLink
)
)
ABORT: C++-EXCEPTION
--
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/640355b3-8649-4ee3-a682-85bbeb76811b%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
