{"action":"created","issue":{"url":"https://api.github.com/repos/jariazavalverde/tau-prolog/issues/30","repository_url":"https://api.github.com/repos/jariazavalverde/tau-prolog","labels_url":"https://api.github.com/repos/jariazavalverde/tau-prolog/issues/30/labels{/name}","comments_url":"https://api.github.com/repos/jariazavalverde/tau-prolog/issues/30/comments","events_url":"https://api.github.com/repos/jariazavalverde/tau-prolog/issues/30/events","html_url":"https://github.com/jariazavalverde/tau-prolog/issues/30","id":339176597,"node_id":"MDU6SXNzdWUzMzkxNzY1OTc=","number":30,"title":"Error term in existence error should be a predicate indicator:","user":{"login":"UWN","id":12686410,"node_id":"MDQ6VXNlcjEyNjg2NDEw","avatar_url":"https://avatars0.githubusercontent.com/u/12686410?v=4","gravatar_id":"","url":"https://api.github.com/users/UWN","html_url":"https://github.com/UWN","followers_url":"https://api.github.com/users/UWN/followers","following_url":"https://api.github.com/users/UWN/following{/other_user}","gists_url":"https://api.github.com/users/UWN/gists{/gist_id}","starred_url":"https://api.github.com/users/UWN/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UWN/subscriptions","organizations_url":"https://api.github.com/users/UWN/orgs","repos_url":"https://api.github.com/users/UWN/repos","events_url":"https://api.github.com/users/UWN/events{/privacy}","received_events_url":"https://api.github.com/users/UWN/received_events","type":"User","site_admin":false},"labels":[{"id":947729948,"node_id":"MDU6TGFiZWw5NDc3Mjk5NDg=","url":"https://api.github.com/repos/jariazavalverde/tau-prolog/labels/iso%20conforming","name":"iso conforming","color":"fb8c00","default":false}],"state":"closed","locked":false,"assignee":{"login":"jariazavalverde","id":5055295,"node_id":"MDQ6VXNlcjUwNTUyOTU=","avatar_url":"https://avatars3.githubusercontent.com/u/5055295?v=4","gravatar_id":"","url":"https://api.github.com/users/jariazavalverde","html_url":"https://github.com/jariazavalverde","followers_url":"https://api.github.com/users/jariazavalverde/followers","following_url":"https://api.github.com/users/jariazavalverde/following{/other_user}","gists_url":"https://api.github.com/users/jariazavalverde/gists{/gist_id}","starred_url":"https://api.github.com/users/jariazavalverde/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jariazavalverde/subscriptions","organizations_url":"https://api.github.com/users/jariazavalverde/orgs","repos_url":"https://api.github.com/users/jariazavalverde/repos","events_url":"https://api.github.com/users/jariazavalverde/events{/privacy}","received_events_url":"https://api.github.com/users/jariazavalverde/received_events","type":"User","site_admin":false},"assignees":[{"login":"jariazavalverde","id":5055295,"node_id":"MDQ6VXNlcjUwNTUyOTU=","avatar_url":"https://avatars3.githubusercontent.com/u/5055295?v=4","gravatar_id":"","url":"https://api.github.com/users/jariazavalverde","html_url":"https://github.com/jariazavalverde","followers_url":"https://api.github.com/users/jariazavalverde/followers","following_url":"https://api.github.com/users/jariazavalverde/following{/other_user}","gists_url":"https://api.github.com/users/jariazavalverde/gists{/gist_id}","starred_url":"https://api.github.com/users/jariazavalverde/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jariazavalverde/subscriptions","organizations_url":"https://api.github.com/users/jariazavalverde/orgs","repos_url":"https://api.github.com/users/jariazavalverde/repos","events_url":"https://api.github.com/users/jariazavalverde/events{/privacy}","received_events_url":"https://api.github.com/users/jariazavalverde/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2018-07-07T21:36:25Z","updated_at":"2018-07-08T01:31:41Z","closed_at":"2018-07-08T01:27:41Z","author_association":"NONE","body":"```\r\n?- catch(inex, error(E,_),true).\r\nE = existence_error(procedure, 'inex/0').\r\n```\r\nin place of the atom `'inex/0'`, there should be the predicate indicator `inex/0`.\r\n\r\n7.7.7 Selecting a clause for execution\r\n\r\nExecution proceeds in a succession of steps:\r\n\r\n  ...\r\n\r\n  b) If no procedure has a functor and arity agreeing\r\n  with the functor and arity of curract, then action\r\n  depends on the value of the flag unknown (7.11.2.4):\r\n\r\n   `error` - There shall be an error\r\n       `existence_error(procedure, PF)`\r\n    where `PF` is the predicate indicator of curract, or\r\n    ...\r\n"},"comment":{"url":"https://api.github.com/repos/jariazavalverde/tau-prolog/issues/comments/403254815","html_url":"https://github.com/jariazavalverde/tau-prolog/issues/30#issuecomment-403254815","issue_url":"https://api.github.com/repos/jariazavalverde/tau-prolog/issues/30","id":403254815,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMzI1NDgxNQ==","user":{"login":"jariazavalverde","id":5055295,"node_id":"MDQ6VXNlcjUwNTUyOTU=","avatar_url":"https://avatars3.githubusercontent.com/u/5055295?v=4","gravatar_id":"","url":"https://api.github.com/users/jariazavalverde","html_url":"https://github.com/jariazavalverde","followers_url":"https://api.github.com/users/jariazavalverde/followers","following_url":"https://api.github.com/users/jariazavalverde/following{/other_user}","gists_url":"https://api.github.com/users/jariazavalverde/gists{/gist_id}","starred_url":"https://api.github.com/users/jariazavalverde/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jariazavalverde/subscriptions","organizations_url":"https://api.github.com/users/jariazavalverde/orgs","repos_url":"https://api.github.com/users/jariazavalverde/repos","events_url":"https://api.github.com/users/jariazavalverde/events{/privacy}","received_events_url":"https://api.github.com/users/jariazavalverde/received_events","type":"User","site_admin":false},"created_at":"2018-07-08T01:31:41Z","updated_at":"2018-07-08T01:31:41Z","author_association":"OWNER","body":"Changed!"}}
{"actor":{"display_login":"jariazavalverde"}}