BayesianLogic / blog

The BLOG programming language
http://bayesianlogic.github.io/
BSD 4-Clause "Original" or "Old" License
98 stars 31 forks source link

make symbol evidence work again #235

Closed cberzan closed 10 years ago

cberzan commented 10 years ago

@lileicc

Ready for review. I'm not sure if this is the best way to do it. I'm using the old ImplicitSetSpec.

example/aircraft-static.blog runs now, and produces the same results as blog-0.8.

lileicc commented 10 years ago

LGTM.