{"action":"created","issue":{"url":"https://api.github.com/repos/opencog/atomspace/issues/910","repository_url":"https://api.github.com/repos/opencog/atomspace","labels_url":"https://api.github.com/repos/opencog/atomspace/issues/910/labels{/name}","comments_url":"https://api.github.com/repos/opencog/atomspace/issues/910/comments","events_url":"https://api.github.com/repos/opencog/atomspace/issues/910/events","html_url":"https://github.com/opencog/atomspace/issues/910","id":181087645,"number":910,"title":"Feature or bug?","user":{"login":"AmeBel","id":2135577,"avatar_url":"https://avatars.githubusercontent.com/u/2135577?v=3","gravatar_id":"","url":"https://api.github.com/users/AmeBel","html_url":"https://github.com/AmeBel","followers_url":"https://api.github.com/users/AmeBel/followers","following_url":"https://api.github.com/users/AmeBel/following{/other_user}","gists_url":"https://api.github.com/users/AmeBel/gists{/gist_id}","starred_url":"https://api.github.com/users/AmeBel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AmeBel/subscriptions","organizations_url":"https://api.github.com/users/AmeBel/orgs","repos_url":"https://api.github.com/users/AmeBel/repos","events_url":"https://api.github.com/users/AmeBel/events{/privacy}","received_events_url":"https://api.github.com/users/AmeBel/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/opencog/atomspace/labels/bug","name":"bug","color":"fc2929"},{"url":"https://api.github.com/repos/opencog/atomspace/labels/pattern-matcher","name":"pattern-matcher","color":"f7c6c7"},{"url":"https://api.github.com/repos/opencog/atomspace/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2016-10-05T07:59:09Z","updated_at":"2016-10-11T02:12:19Z","closed_at":null,"body":"### Content of `test.scm`\r\n\r\n```scheme\r\n(use-modules (opencog))\r\n(use-modules (opencog query))\r\n\r\n;; -----------------------------------------------------------------------------\r\n;; Helper functions\r\n\r\n(define (content-1)\r\n    (MemberLink\r\n      (ConceptNode \"Socrates@81011e61-27a7-4001-a63b-3b569478bced\")\r\n      (SatisfyingSetLink\r\n         (VariableNode \"$X\")\r\n         (EvaluationLink\r\n            (PredicateNode \"breathe@ea723bda-70bb-47c0-8930-b344fb47a4d1\")\r\n            (ListLink\r\n               (VariableNode \"$X\")\r\n               (ConceptNode \"air@76357ee3-d334-4b5f-b49e-323b294310b6\")\r\n            )\r\n         )\r\n      )\r\n    )\r\n)\r\n\r\n(define (content-2)\r\n; MemberLink having the same Variable name as rule\r\n    (MemberLink\r\n      (ConceptNode \"Socrates@81011e61-27a7-4001-a63b-3b569478bced\")\r\n      (SatisfyingSetLink\r\n         (VariableNode \"$X-M2E\")\r\n         (EvaluationLink\r\n            (PredicateNode \"breathe@ea723bda-70bb-47c0-8930-b344fb47a4d1\")\r\n            (ListLink\r\n                (VariableNode \"$X-M2E\")\r\n               (ConceptNode \"air@76357ee3-d334-4b5f-b49e-323b294310b6\")\r\n            )\r\n         )\r\n      )\r\n    )\r\n)\r\n\r\n;; -----------------------------------------------------------------------------\r\n; From \"opencog/pln/rules/member-to-evaluation-rule.scm\"\r\n(define (member-to-evaluation-2-1-rule)\r\n    (BindLink\r\n        (VariableList\r\n          (VariableNode \"$B\")\r\n          (VariableNode \"$C\")\r\n          (TypedVariableLink\r\n             (VariableNode \"$D\")\r\n             (TypeNode \"PredicateNode\")\r\n          )\r\n        )\r\n        (MemberLink\r\n          (VariableNode \"$B\")\r\n          (SatisfyingSetLink\r\n             (VariableNode \"$X-M2E\")\r\n             (EvaluationLink\r\n                (VariableNode \"$D\")\r\n                (ListLink\r\n                   (VariableNode \"$X-M2E\")\r\n                   (VariableNode \"$C\")\r\n                )\r\n             )\r\n          )\r\n        )\r\n        (ExecutionOutputLink\r\n          (GroundedSchemaNode \"scm: member-to-evaluation-formula\")\r\n          (ListLink\r\n             (EvaluationLink\r\n                (VariableNode \"$D\")\r\n                (ListLink\r\n                   (VariableNode \"$B\")\r\n                   (VariableNode \"$C\")\r\n                )\r\n             )\r\n             (MemberLink\r\n                (VariableNode \"$B\")\r\n                (SatisfyingSetLink\r\n                   (VariableNode \"$X-M2E\")\r\n                   (EvaluationLink\r\n                      (VariableNode \"$D\")\r\n                      (ListLink\r\n                         (VariableNode \"$X-M2E\")\r\n                         (VariableNode \"$C\")\r\n                      )\r\n                   )\r\n                )\r\n             )\r\n          )\r\n        )\r\n    )\r\n)\r\n\r\n(define (member-to-evaluation-formula EVAL MEM)\r\n    (cog-set-tv! EVAL (cog-tv MEM)))\r\n\r\n;; -----------------------------------------------------------------------------\r\n\r\n(define (test-1)\r\n    (clear)\r\n    (content-1)\r\n    (cog-bind  (member-to-evaluation-2-1-rule))\r\n)\r\n\r\n(define (test-2)\r\n    (clear)\r\n    (content-2)\r\n    (cog-bind  (member-to-evaluation-2-1-rule))\r\n)\r\n```\r\n\r\n### Steps to reproduce\r\n```scheme\r\nscheme@(guile-user)> (load \"test.scm\")\r\nscheme@(guile-user)> (test-1)\r\n$1 = (SetLink\r\n)\r\n\r\nscheme@(guile-user)> (test-2)\r\n$2 = (SetLink\r\n   (EvaluationLink\r\n      (PredicateNode \"breathe@ea723bda-70bb-47c0-8930-b344fb47a4d1\")\r\n      (ListLink\r\n         (ConceptNode \"Socrates@81011e61-27a7-4001-a63b-3b569478bced\")\r\n         (ConceptNode \"air@76357ee3-d334-4b5f-b49e-323b294310b6\")\r\n      )\r\n   )\r\n)\r\n\r\n```\r\n\r\n### Question\r\nWhy `(test-1)` has no result while `(test-2)` has one?"},"comment":{"url":"https://api.github.com/repos/opencog/atomspace/issues/comments/252793233","html_url":"https://github.com/opencog/atomspace/issues/910#issuecomment-252793233","issue_url":"https://api.github.com/repos/opencog/atomspace/issues/910","id":252793233,"user":{"login":"AmeBel","id":2135577,"avatar_url":"https://avatars.githubusercontent.com/u/2135577?v=3","gravatar_id":"","url":"https://api.github.com/users/AmeBel","html_url":"https://github.com/AmeBel","followers_url":"https://api.github.com/users/AmeBel/followers","following_url":"https://api.github.com/users/AmeBel/following{/other_user}","gists_url":"https://api.github.com/users/AmeBel/gists{/gist_id}","starred_url":"https://api.github.com/users/AmeBel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AmeBel/subscriptions","organizations_url":"https://api.github.com/users/AmeBel/orgs","repos_url":"https://api.github.com/users/AmeBel/repos","events_url":"https://api.github.com/users/AmeBel/events{/privacy}","received_events_url":"https://api.github.com/users/AmeBel/received_events","type":"User","site_admin":false},"created_at":"2016-10-11T02:12:19Z","updated_at":"2016-10-11T02:12:19Z","body":"@linas when you say ` the variable (VariableNode \"$X-M2E\") is bound` do you mean that any unquoted VariableNode, in the implicant of a BindLink, is implicitly bound to all possible atom types, unless it is typed using `TypedVariableLink` ?"}}
{"actor":{"display_login":"AmeBel"}}