{"action":"created","issue":{"url":"https://api.github.com/repos/opencog/atomspace/issues/165","labels_url":"https://api.github.com/repos/opencog/atomspace/issues/165/labels{/name}","comments_url":"https://api.github.com/repos/opencog/atomspace/issues/165/comments","events_url":"https://api.github.com/repos/opencog/atomspace/issues/165/events","html_url":"https://github.com/opencog/atomspace/issues/165","id":96758408,"number":165,"title":"BindLink clause with a single evaluatable","user":{"login":"williampma","id":7298267,"avatar_url":"https://avatars.githubusercontent.com/u/7298267?v=3","gravatar_id":"","url":"https://api.github.com/users/williampma","html_url":"https://github.com/williampma","followers_url":"https://api.github.com/users/williampma/followers","following_url":"https://api.github.com/users/williampma/following{/other_user}","gists_url":"https://api.github.com/users/williampma/gists{/gist_id}","starred_url":"https://api.github.com/users/williampma/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/williampma/subscriptions","organizations_url":"https://api.github.com/users/williampma/orgs","repos_url":"https://api.github.com/users/williampma/repos","events_url":"https://api.github.com/users/williampma/events{/privacy}","received_events_url":"https://api.github.com/users/williampma/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-07-23T08:12:58Z","updated_at":"2015-07-23T09:06:13Z","closed_at":null,"body":"Come across this while marking a single (VariableNode $A) clause as \"evaluatable\" (since if it maps to an \"evaluatable\", special treatment is need to evaluate the mapped stuff)\r\n\r\n```\r\nguile> (define B \r\n   (BindLink \r\n      (VariableList (VariableNode \"$A\") (VariableNode \"$B\")) \r\n      (EqualLink (VariableNode \"$A\") (VariableNode \"$B\"))\r\n      (ListLink (VariableNode \"$A\") (VariableNode \"$B\"))))\r\n\r\nguile> (cog-bind B)\r\n(SetLink\r\n)\r\n```\r\n\r\nie. a BindLink with a single virtual clause currently is not run and not grounded.  Should it?  The above query should produce every single atom in the AtomSpace right?"},"comment":{"url":"https://api.github.com/repos/opencog/atomspace/issues/comments/124028163","html_url":"https://github.com/opencog/atomspace/issues/165#issuecomment-124028163","issue_url":"https://api.github.com/repos/opencog/atomspace/issues/165","id":124028163,"user":{"login":"williampma","id":7298267,"avatar_url":"https://avatars.githubusercontent.com/u/7298267?v=3","gravatar_id":"","url":"https://api.github.com/users/williampma","html_url":"https://github.com/williampma","followers_url":"https://api.github.com/users/williampma/followers","following_url":"https://api.github.com/users/williampma/following{/other_user}","gists_url":"https://api.github.com/users/williampma/gists{/gist_id}","starred_url":"https://api.github.com/users/williampma/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/williampma/subscriptions","organizations_url":"https://api.github.com/users/williampma/orgs","repos_url":"https://api.github.com/users/williampma/repos","events_url":"https://api.github.com/users/williampma/events{/privacy}","received_events_url":"https://api.github.com/users/williampma/received_events","type":"User","site_admin":false},"created_at":"2015-07-23T09:06:13Z","updated_at":"2015-07-23T09:06:13Z","body":"Humm... no, it is suppose to find a grounding, so if $A and $B ground to the same atom, then the EqualLink will be true, and so the solution will be all atoms in the AtomSpace returned in pair inside ListLink."}}