(use-modules (opencog))
(define (foo arg)
#t
)
(define z-eval
(EvaluationLink
(GroundedPredicateNode "scm: foo")
(ListLink (Node "argument"))))
(define z-def
(DefineLink
(DefinedPredicateNode "test")
z-eval
)
)
(define z-get
(CollectionOf
(MeetLink
(TypedVariableLink
(VariableNode "$effect")
(TypeNode "ConceptNode")
)
(EvaluationLink
(PredicateNode "some property of dpn")
(ListLink
(QuoteLink (DefinedPredicateNode "test"))
(VariableNode "$effect")
)
)
)
)
)
(EvaluationLink
(PredicateNode "some property of dpn")
(ListLink
(DefinedPredicateNode "test")
(ConceptNode "result")
)
)