{"action":"closed","issue":{"url":"https://api.github.com/repos/potassco/clingo/issues/23","repository_url":"https://api.github.com/repos/potassco/clingo","labels_url":"https://api.github.com/repos/potassco/clingo/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/potassco/clingo/issues/23/comments","events_url":"https://api.github.com/repos/potassco/clingo/issues/23/events","html_url":"https://github.com/potassco/clingo/issues/23","id":203396356,"number":23,"title":"inconsisty between semantics in abstract gringo and implementation","user":{"login":"rkaminsk","id":1175198,"avatar_url":"https://avatars2.githubusercontent.com/u/1175198?v=3","gravatar_id":"","url":"https://api.github.com/users/rkaminsk","html_url":"https://github.com/rkaminsk","followers_url":"https://api.github.com/users/rkaminsk/followers","following_url":"https://api.github.com/users/rkaminsk/following{/other_user}","gists_url":"https://api.github.com/users/rkaminsk/gists{/gist_id}","starred_url":"https://api.github.com/users/rkaminsk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rkaminsk/subscriptions","organizations_url":"https://api.github.com/users/rkaminsk/orgs","repos_url":"https://api.github.com/users/rkaminsk/repos","events_url":"https://api.github.com/users/rkaminsk/events{/privacy}","received_events_url":"https://api.github.com/users/rkaminsk/received_events","type":"User","site_admin":false},"labels":[{"id":373810445,"url":"https://api.github.com/repos/potassco/clingo/labels/bug","name":"bug","color":"ee0701","default":true}],"state":"closed","locked":false,"assignee":{"login":"rkaminsk","id":1175198,"avatar_url":"https://avatars2.githubusercontent.com/u/1175198?v=3","gravatar_id":"","url":"https://api.github.com/users/rkaminsk","html_url":"https://github.com/rkaminsk","followers_url":"https://api.github.com/users/rkaminsk/followers","following_url":"https://api.github.com/users/rkaminsk/following{/other_user}","gists_url":"https://api.github.com/users/rkaminsk/gists{/gist_id}","starred_url":"https://api.github.com/users/rkaminsk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rkaminsk/subscriptions","organizations_url":"https://api.github.com/users/rkaminsk/orgs","repos_url":"https://api.github.com/users/rkaminsk/repos","events_url":"https://api.github.com/users/rkaminsk/events{/privacy}","received_events_url":"https://api.github.com/users/rkaminsk/received_events","type":"User","site_admin":false},"assignees":[{"login":"rkaminsk","id":1175198,"avatar_url":"https://avatars2.githubusercontent.com/u/1175198?v=3","gravatar_id":"","url":"https://api.github.com/users/rkaminsk","html_url":"https://github.com/rkaminsk","followers_url":"https://api.github.com/users/rkaminsk/followers","following_url":"https://api.github.com/users/rkaminsk/following{/other_user}","gists_url":"https://api.github.com/users/rkaminsk/gists{/gist_id}","starred_url":"https://api.github.com/users/rkaminsk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rkaminsk/subscriptions","organizations_url":"https://api.github.com/users/rkaminsk/orgs","repos_url":"https://api.github.com/users/rkaminsk/repos","events_url":"https://api.github.com/users/rkaminsk/events{/privacy}","received_events_url":"https://api.github.com/users/rkaminsk/received_events","type":"User","site_admin":false}],"milestone":null,"comments":3,"created_at":"2017-01-26T15:13:31Z","updated_at":"2017-04-24T21:27:49Z","closed_at":"2017-04-24T21:27:49Z","body":"At the moment, the following rule has a different semantics in the gringo implementation and abstract gringo:\r\n````\r\n:- { e(X,Y) } >= 1, n(X;Y).\r\n````\r\nAccording to AG both `X` and `Y` have to be global variables."}}
{"actor":{"display_login":"rkaminsk"}}