{"action":"created","issue":{"url":"https://api.github.com/repos/triska/clpz/issues/7","repository_url":"https://api.github.com/repos/triska/clpz","labels_url":"https://api.github.com/repos/triska/clpz/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/triska/clpz/issues/7/comments","events_url":"https://api.github.com/repos/triska/clpz/issues/7/events","html_url":"https://github.com/triska/clpz/issues/7","id":193369420,"number":7,"title":"Compatibility with SWI","user":{"login":"wouterbeek","id":1685012,"avatar_url":"https://avatars.githubusercontent.com/u/1685012?v=3","gravatar_id":"","url":"https://api.github.com/users/wouterbeek","html_url":"https://github.com/wouterbeek","followers_url":"https://api.github.com/users/wouterbeek/followers","following_url":"https://api.github.com/users/wouterbeek/following{/other_user}","gists_url":"https://api.github.com/users/wouterbeek/gists{/gist_id}","starred_url":"https://api.github.com/users/wouterbeek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wouterbeek/subscriptions","organizations_url":"https://api.github.com/users/wouterbeek/orgs","repos_url":"https://api.github.com/users/wouterbeek/repos","events_url":"https://api.github.com/users/wouterbeek/events{/privacy}","received_events_url":"https://api.github.com/users/wouterbeek/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-12-04T19:25:32Z","updated_at":"2016-12-20T16:25:56Z","closed_at":null,"body":"If this cannot be done ATM because of missing libraries or open issues, then we can at least assemble a list of requirements SWI should meet in order to add compatibility in the future."},"comment":{"url":"https://api.github.com/repos/triska/clpz/issues/comments/268287977","html_url":"https://github.com/triska/clpz/issues/7#issuecomment-268287977","issue_url":"https://api.github.com/repos/triska/clpz/issues/7","id":268287977,"user":{"login":"UWN","id":12686410,"avatar_url":"https://avatars.githubusercontent.com/u/12686410?v=3","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},"created_at":"2016-12-20T16:25:56Z","updated_at":"2016-12-20T16:25:56Z","body":"> Why would porting clpz to SWI require ISO conformance?\r\nA reliable porting procedure requires testing. And that's where ISO conformance comes into play (see above post) - in particular precise errors but also the abstract syntax. SWI's actual unification mechanism below is far too idiosyncratic to be a sufficient condition for a successful port."}}
{"actor":{"display_login":"UWN"}}