search

singnet / asmoses

Port of MOSES (https://github.com/opencog/moses) for the AtomSpace (https://github.com/opencog/atomspace)
Other
6 stars 5 forks source link

ure-reduct #131

Closed Eman22S closed 4 years ago

ngeiswei commented 4 years ago

@Eman22S I'm having the following error

In ReductRulesUTest::test_and_idenityT:
/home/nilg/OpenCog/asmoses/build/tests/urereduct/rules/../../../../tests/urereduct/rules/ReductRulesUTest.cxxtest:108: Error: Expected (result == expected),
...
In procedure module-lookup: Unbound variable: ReducedTo

When I try to import reduct I get the following message

scheme@(guile-user)> (use-modules (opencog) (opencog reduct))
While compiling expression:
In procedure dynamic-link: file: "/usr/local/lib/opencog/libreduct-types", message: "file not found"

Do you have this problem locally? Any idea what is wrong?

Eman22S commented 4 years ago

@ngeiswei No. I dont have the problem locally. My libreduct-types is present in that directory. Probably mistake in configuration I am looking at it

Eman22S commented 4 years ago

@ngeiswei Is the libreduct-types.so created at your /home/nilg/OpenCog/asmoses/build/opencog/urereduct/types path?

ngeiswei commented 4 years ago

@Eman22S, libreduct-types.so is created at /home/nilg/OpenCog/asmoses/build/opencog/urereduct/types, yet is not installed at /usr/local/lib/opencog/. I should note thatlibasmoses_types.so` is properly installed however.

ngeiswei commented 4 years ago

It all looks good, thank @Eman22S