{"id":2052,"date":"2014-03-18T15:40:57","date_gmt":"2014-03-18T15:40:57","guid":{"rendered":"http:\/\/blog.bachi.net\/?p=2052"},"modified":"2016-01-17T15:43:53","modified_gmt":"2016-01-17T15:43:53","slug":"prolog","status":"publish","type":"post","link":"https:\/\/blog.bachi.net\/?p=2052","title":{"rendered":"Prolog"},"content":{"rendered":"<p><a href=\"http:\/\/www.swi-prolog.org\/\">SWI Prolog<\/a><br \/>\n<a href=\"http:\/\/sewiki.iai.uni-bonn.de\/research\/pdt\/docs\/v2.1\/start\">The Prolog Development Tool &#8211; A Prolog IDE for Eclipse<\/a><\/p>\n<p><a href=\"http:\/\/www0.cs.ucl.ac.uk\/staff\/mahmed\/teaching\/intro.html\">A quick prolog howto<\/a><br \/>\n<a href=\"http:\/\/www.bitwisemag.com\/copy\/programming\/prolog\/intro\/firststeps.html\">FIRST STEPS IN PROLOG<\/a><br \/>\n<a href=\"http:\/\/www.swi-prolog.org\/FAQ\/AllOutput.html\">SWI-Prolog owl logoHelp: I want the whole answer<\/a><\/p>\n<p><a href=\"http:\/\/stackoverflow.com\/questions\/18806739\/why-is-swi-prolog-only-giving-one-solution\">Why is SWI-Prolog only giving one solution?<\/a><br \/>\n<a href=\"http:\/\/stackoverflow.com\/questions\/8223793\/prolog-return-results\">Prolog return results<\/a><br \/>\n<a href=\"http:\/\/stackoverflow.com\/questions\/14860832\/incomplete-to-difference-lists\">Incomplete to difference lists<\/a><br \/>\n<a href=\"http:\/\/stackoverflow.com\/questions\/8231762\/swi-prolog-show-long-list\">SWI-Prolog &#8211; show long list<\/a><\/p>\n<h3>FAQ<\/h3>\n<h4>Question<\/h4>\n<pre class=\"brush: plain; title: ; notranslate\" title=\"\">\r\nlocation(desk, office).\r\nlocation(apple, kitchen).\r\nlocation(flashlight, desk).\r\nlocation('washing machine', cellar).\r\nlocation(nani, 'washing machine').\r\nlocation(broccoli, kitchen).\r\nlocation(crackers, kitchen).\r\nlocation(computer, office).\r\n\r\nlist_things(Place) :-\r\n\tlocation(X, Place),\r\n\ttab(2),\r\n\twrite(X),\r\n\tnl,\r\n\tfail.\r\nlist_things(AnyPlace).\r\n<\/pre>\n<pre class=\"brush: plain; title: Warning; notranslate\" title=\"Warning\">\r\nWarning: c:\/users\/andreasb\/workspace\/prolog\/myadven.pl:46:\r\n\tSingleton variables: &#x5B;AnyPlace]\r\n<\/pre>\n<h4>Answer<\/h4>\n<p><a href=\"http:\/\/www.swi-prolog.org\/pldoc\/man?section=singleton\">Singleton variable checking<\/a><br \/>\n<a href=\"http:\/\/www.swi-prolog.org\/FAQ\/SingletonVar.html\">Warning: (File:Line): Singleton variables: [&#8230;]<\/a><\/p>\n<pre class=\"brush: plain; title: use underscore; notranslate\" title=\"use underscore\">\r\nlist_things(Place) :-\r\n\tlocation(X, Place),\r\n\ttab(2),\r\n\twrite(X),\r\n\tnl,\r\n\tfail.\r\nlist_things(_).\r\n...\r\n<\/pre>\n","protected":false},"excerpt":{"rendered":"<p>SWI Prolog The Prolog Development Tool &#8211; A Prolog IDE for Eclipse A quick prolog howto FIRST STEPS IN PROLOG SWI-Prolog owl logoHelp: I want the whole answer Why is SWI-Prolog only giving one solution? Prolog return results Incomplete to difference lists SWI-Prolog &#8211; show long list FAQ Question location(desk, office). location(apple, kitchen). location(flashlight, desk). [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2052","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts\/2052","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2052"}],"version-history":[{"count":6,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts\/2052\/revisions"}],"predecessor-version":[{"id":4608,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts\/2052\/revisions\/4608"}],"wp:attachment":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2052"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2052"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2052"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}