{"action":"created","issue":{"url":"https://api.github.com/repos/heyLu/mukanren-presentation/issues/1","labels_url":"https://api.github.com/repos/heyLu/mukanren-presentation/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/heyLu/mukanren-presentation/issues/1/comments","events_url":"https://api.github.com/repos/heyLu/mukanren-presentation/issues/1/events","html_url":"https://github.com/heyLu/mukanren-presentation/pull/1","id":53306806,"number":1,"title":"printRow([]) changed to :- nl, true.","user":{"login":"elpais","id":5228434,"avatar_url":"https://avatars.githubusercontent.com/u/5228434?v=3","gravatar_id":"","url":"https://api.github.com/users/elpais","html_url":"https://github.com/elpais","followers_url":"https://api.github.com/users/elpais/followers","following_url":"https://api.github.com/users/elpais/following{/other_user}","gists_url":"https://api.github.com/users/elpais/gists{/gist_id}","starred_url":"https://api.github.com/users/elpais/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/elpais/subscriptions","organizations_url":"https://api.github.com/users/elpais/orgs","repos_url":"https://api.github.com/users/elpais/repos","events_url":"https://api.github.com/users/elpais/events{/privacy}","received_events_url":"https://api.github.com/users/elpais/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-01-03T15:32:23Z","updated_at":"2015-01-04T14:53:04Z","closed_at":"2015-01-03T17:30:07Z","pull_request":{"url":"https://api.github.com/repos/heyLu/mukanren-presentation/pulls/1","html_url":"https://github.com/heyLu/mukanren-presentation/pull/1","diff_url":"https://github.com/heyLu/mukanren-presentation/pull/1.diff","patch_url":"https://github.com/heyLu/mukanren-presentation/pull/1.patch"},"body":"printNonogram() now works for our first example nonogram as intended (the one you get from nonogram1Gen)"},"comment":{"url":"https://api.github.com/repos/heyLu/mukanren-presentation/issues/comments/68635369","html_url":"https://github.com/heyLu/mukanren-presentation/pull/1#issuecomment-68635369","issue_url":"https://api.github.com/repos/heyLu/mukanren-presentation/issues/1","id":68635369,"user":{"login":"heyLu","id":527119,"avatar_url":"https://avatars.githubusercontent.com/u/527119?v=3","gravatar_id":"","url":"https://api.github.com/users/heyLu","html_url":"https://github.com/heyLu","followers_url":"https://api.github.com/users/heyLu/followers","following_url":"https://api.github.com/users/heyLu/following{/other_user}","gists_url":"https://api.github.com/users/heyLu/gists{/gist_id}","starred_url":"https://api.github.com/users/heyLu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/heyLu/subscriptions","organizations_url":"https://api.github.com/users/heyLu/orgs","repos_url":"https://api.github.com/users/heyLu/repos","events_url":"https://api.github.com/users/heyLu/events{/privacy}","received_events_url":"https://api.github.com/users/heyLu/received_events","type":"User","site_admin":false},"created_at":"2015-01-04T14:53:04Z","updated_at":"2015-01-04T14:53:04Z","body":"Running `nonogramGenForce` multiple times doesn't generate new information, e.g. it finds some values, but then no more. (Or so it seems.) So yes, it doesn't terminate.\r\n\r\nI think the following predicate does the correct \"is this solved\" check:\r\n\r\n```\r\n% checks if we have a solution, given a field (list of rows)\r\nsolved([]).\r\nsolved([R | RS]) :- maplist(nonvar, R), solved(RS).\r\n```"}}