search

SNePS / CSNePS

The CSNePS Knowledge Representation and Reasoning System
Other
27 stars 9 forks source link

Close takes the wrong number of parameters. #5

Open kenballus opened 4 years ago

kenballus commented 4 years ago

On line 166 of initialize.clj, you have the following:

(defineCaseframe 'Propositional '('close proposition) :docstring "[proposition] is closed over [closedvar]")

I think you're missing the parameter closedvar.

Thanks for making CSNePS! It's by far the easiest SNePS to run.