added Dockerfile
Gave choice for the truth value for adding a link.
Added interface for generate a node for a given grounded value
Added more facts for simple puzzle test.
Added hypothetical links for each state node that is permanent.
Clean up everything after finish planning.
Fixed a small bug when generate BindLink, sometimes it contains duplicate variable nodes.
Fixed an error that assign 0 to hypotheticalLink Handles
Added the current hk team to the Author list
Modified the AtomSpaceUtil::getLatestEvaluationLink to enable it choices to find positive or negative first results.
Enable the inquery interface solving the states that operator is not "=" to get negative EvulationLInks first.
There must be a bug in load scm files, that assigned truth value mean = 0 , will still put into the Atomspace mean = 1
Allow higher-order logic
Added "is_different" EvaluationLinks for each pair of features for puzzle test.
Added check if Bindlink disconnected first, if it's, split it into several Bindlinks, and call pattern matcher separately, and then generate all the combinations for each group of Bindlink results. Still need debug.
Update project status
Fix UTF-8 bug
Expand the guile utf8 coverage test
Add another utf8 string
bugfix: escape string sent to shell