BayesianLogic/blog — pull request #231 by lileicc (2014-06-29 05:27:58+00:00)
Title: correct handling for funcCallExpr

correct the handling of zero-ary function symbol and logical variables.