小编Mat*_*njo的帖子

我在Ubuntu 13.10中安装了freeling,我正在尝试使用python或java apis,但每次尝试时都会出错:

    matias@matias-IdeaPad-U430-Touch:~/Programas/Tools/freeling/freeling-3.1/APIs/python$ ./sample.py <test.txt >out.txt
Traceback (most recent call last):
  File "./sample.py", line 10, in <module>
    import freeling
  File "/home/matias/Programas/Tools/freeling/freeling-3.1/APIs/python/freeling.py", line 26, in <module>
    _freeling = swig_import_helper()
  File "/home/matias/Programas/Tools/freeling/freeling-3.1/APIs/python/freeling.py", line 22, in swig_import_helper
    _mod = imp.load_module('_freeling', fp, pathname, description)
  File "/usr/lib/python3.3/imp.py", line 188, in load_module
    return load_dynamic(name, filename, file)
ImportError: /usr/local/lib/libfreeling-3.1.so: undefined symbol: _ZN5boost6system15system_categoryEv

而对于Java:

matias@matias-IdeaPad-U430-Touch:~/Programas/Tools/freeling/freeling-3.1/APIs/python$ ./sample.py <test.txt >out.txt
Traceback (most recent call last):
  File "./sample.py", line 10, in <module>
    import freeling
  File "/home/matias/Programas/Tools/freeling/freeling-3.1/APIs/python/freeling.py", line 26, in <module> …

如果我们用列表表示特征结构,如何定义minikanren中的特征结构统一和包含？

一般行为将是这样的(我认为):

(run* (q) (unifyo '(a b) '(a b) q))) => (a b)

(run* (q) (unifyo '(x (a b)) '(x (c d)) q)) => (x (a b) (c d)) (x (c d) (a b))

(run* (q) (unifyo '(x (a b)) '(x (a d)) q)) => ()      ; fails because '(a b) is 
                                                       ; incompatible with '(a d)
(run* (q) 
    (fresh (y) (unifyo '(x (a b)) `(x ,y) q)) => (x (a b)))

(run* (q) (unifyo q …

我有一系列我想在运行之前编译的函数,因为它们有点慢,但你只需要运行它们一次,所以没有必要让它们变暖.有没有办法做到这一点？

当尝试安装像ndl,minqa,RcppEigen,lme4等软件包时,我收到以下错误:

    install.packages("RcppEigen")
Installing package into ‘/home/matias/R/x86_64-pc-linux-gnu-library/3.0’
(as ‘lib’ is unspecified)
probando la URL 'http://cran.at.r-project.org/src/contrib/RcppEigen_0.3.2.0.2.tar.gz'
Content type 'application/x-gzip' length 1251504 bytes (1.2 Mb)
URL abierta
==================================================
downloaded 1.2 Mb

* installing *source* package ‘RcppEigen’ ...
** package ‘RcppEigen’ successfully unpacked and MD5 sums checked
** libs
g++ -I/usr/share/R/include -DNDEBUG   -I"/home/matias/R/x86_64-pc-linux-gnu-library/3.0/Rcpp/include"  -I../inst/include -fpic  -O3 -pipe  -g  -c RcppEigen.cpp -o RcppEigen.o
g++ -I/usr/share/R/include -DNDEBUG   -I"/home/matias/R/x86_64-pc-linux-gnu-library/3.0/Rcpp/include"  -I../inst/include -fpic  -O3 -pipe  -g  -c fastLm.cpp -o fastLm.o
g++ -shared -o RcppEigen.so RcppEigen.o fastLm.o Note: no visible …

就像在 R 中一样：

a <- 2

甚至更好

a ? 2

应该翻译成

a = 2

如果可能，尊重方法重载。