a comment
merge mainline
Revert "merge mainline"

This reverts commit 4de1515252035760970c6a296c72b84831beb583.
Merge github.com:jadeoneill/opencog
Record the arguments to a procedure