{"id":7753,"date":"2022-09-10T06:37:16","date_gmt":"2022-09-10T01:07:16","guid":{"rendered":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/"},"modified":"2022-09-10T06:37:16","modified_gmt":"2022-09-10T01:07:16","slug":"solved-check-input-numbers-in-prolog","status":"publish","type":"post","link":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/","title":{"rendered":"[Solved] Check input numbers in prolog"},"content":{"rendered":"<p> [ad_1]<br \/>\n<\/p>\n<div id=\"answer-8553350\" class=\"answer js-answer accepted-answer js-accepted-answer\" data-answerid=\"8553350\" data-parentid=\"8553244\" data-score=\"0\" data-position-on-page=\"1\" data-highest-scored=\"1\" data-question-has-accepted-highest-score=\"1\" itemprop=\"acceptedAnswer\" itemscope itemtype=\"https:\/\/schema.org\/Answer\">\n<div class=\"post-layout\">\n<div class=\"votecell post-layout--left\"><\/div>\n<div class=\"answercell post-layout--right\">\n<div class=\"s-prose js-post-body\" itemprop=\"text\">\n<p>Since you tried something for your <code>isDigit\/1<\/code> predicate I&#8217;ll help about that :<\/p>\n<p>Version with an if structure :<\/p>\n<pre><code>isDigit(X) :-\n    (   number(X),\n        X &gt;= 0,\n        X =&lt; 8\n     -&gt; true\n     ;  writeln('[0-8] AND Number'),\n        fail).\n<\/code><\/pre>\n<p>Version with a disjunction (as you tried in your OP) :<\/p>\n<pre><code>isDigit(X) :-\n    number(X),\n    X &gt;= 0,\n    X =&lt; 8,\n    !\n    ;\n    writeln('[0-8] AND Number'),\n    fail.\n<\/code><\/pre>\n<p>The problem you had in your attempt was that you let a choice point when X was a number and meeting the right requirements, so the predicate would go there and print the error message and fail anyway. You used cut in the wrong part of the disjunction (correct version just above !).<\/p>\n<p>Now, for the thing where you want to check if a number has already been given, please give it a try, edit your OP, and if you struggle somewhere we&#8217;ll help.<\/p>\n<\/p><\/div>\n<div class=\"mt24\"><\/div>\n<\/div>\n<p>            <span class=\"d-none\" itemprop=\"commentCount\">3<\/span> <\/p><\/div>\n<\/div>\n<p>[ad_2]<\/p>\n<p>solved Check input numbers in prolog <\/p>\n","protected":false},"excerpt":{"rendered":"<p>[ad_1] Since you tried something for your isDigit\/1 predicate I&#8217;ll help about that : Version with an if structure : isDigit(X) :- ( number(X), X &gt;= 0, X =&lt; 8 -&gt; true ; writeln(&#8216;[0-8] AND Number&#8217;), fail). Version with a disjunction (as you tried in your OP) : isDigit(X) :- number(X), X &gt;= 0, X &#8230; <a title=\"[Solved] Check input numbers in prolog\" class=\"read-more\" href=\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\" aria-label=\"More on [Solved] Check input numbers in prolog\">Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[320],"tags":[738,2171],"class_list":["post-7753","post","type-post","status-publish","format-standard","hentry","category-solved","tag-numbers","tag-prolog"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v26.5 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>[Solved] Check input numbers in prolog - JassWeb<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"[Solved] Check input numbers in prolog - JassWeb\" \/>\n<meta property=\"og:description\" content=\"[ad_1] Since you tried something for your isDigit\/1 predicate I&#8217;ll help about that : Version with an if structure : isDigit(X) :- ( number(X), X &gt;= 0, X =&lt; 8 -&gt; true ; writeln(&#039;[0-8] AND Number&#039;), fail). Version with a disjunction (as you tried in your OP) : isDigit(X) :- number(X), X &gt;= 0, X ... Read more\" \/>\n<meta property=\"og:url\" content=\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\" \/>\n<meta property=\"og:site_name\" content=\"JassWeb\" \/>\n<meta property=\"article:published_time\" content=\"2022-09-10T01:07:16+00:00\" \/>\n<meta name=\"author\" content=\"Kirat\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Kirat\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\"},\"author\":{\"name\":\"Kirat\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31\"},\"headline\":\"[Solved] Check input numbers in prolog\",\"datePublished\":\"2022-09-10T01:07:16+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\"},\"wordCount\":125,\"publisher\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\"},\"keywords\":[\"numbers\",\"prolog\"],\"articleSection\":[\"Solved\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\",\"url\":\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\",\"name\":\"[Solved] Check input numbers in prolog - JassWeb\",\"isPartOf\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#website\"},\"datePublished\":\"2022-09-10T01:07:16+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/jassweb.com\/solved\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"[Solved] Check input numbers in prolog\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/jassweb.com\/solved\/#website\",\"url\":\"https:\/\/jassweb.com\/solved\/\",\"name\":\"JassWeb\",\"description\":\"Build High-quality Websites\",\"publisher\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/jassweb.com\/solved\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/jassweb.com\/solved\/#organization\",\"name\":\"Jass Web\",\"url\":\"https:\/\/jassweb.com\/solved\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png\",\"contentUrl\":\"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png\",\"width\":693,\"height\":132,\"caption\":\"Jass Web\"},\"image\":{\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31\",\"name\":\"Kirat\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/jassweb.com\/solved\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750\",\"contentUrl\":\"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750\",\"caption\":\"Kirat\"},\"sameAs\":[\"http:\/\/jassweb.com\"],\"url\":\"https:\/\/jassweb.com\/solved\/author\/jaspritsinghghumangmail-com\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"[Solved] Check input numbers in prolog - JassWeb","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/","og_locale":"en_US","og_type":"article","og_title":"[Solved] Check input numbers in prolog - JassWeb","og_description":"[ad_1] Since you tried something for your isDigit\/1 predicate I&#8217;ll help about that : Version with an if structure : isDigit(X) :- ( number(X), X &gt;= 0, X =&lt; 8 -&gt; true ; writeln('[0-8] AND Number'), fail). Version with a disjunction (as you tried in your OP) : isDigit(X) :- number(X), X &gt;= 0, X ... Read more","og_url":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/","og_site_name":"JassWeb","article_published_time":"2022-09-10T01:07:16+00:00","author":"Kirat","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Kirat","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/#article","isPartOf":{"@id":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/"},"author":{"name":"Kirat","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31"},"headline":"[Solved] Check input numbers in prolog","datePublished":"2022-09-10T01:07:16+00:00","mainEntityOfPage":{"@id":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/"},"wordCount":125,"publisher":{"@id":"https:\/\/jassweb.com\/solved\/#organization"},"keywords":["numbers","prolog"],"articleSection":["Solved"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/","url":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/","name":"[Solved] Check input numbers in prolog - JassWeb","isPartOf":{"@id":"https:\/\/jassweb.com\/solved\/#website"},"datePublished":"2022-09-10T01:07:16+00:00","breadcrumb":{"@id":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/jassweb.com\/solved\/solved-check-input-numbers-in-prolog\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/jassweb.com\/solved\/"},{"@type":"ListItem","position":2,"name":"[Solved] Check input numbers in prolog"}]},{"@type":"WebSite","@id":"https:\/\/jassweb.com\/solved\/#website","url":"https:\/\/jassweb.com\/solved\/","name":"JassWeb","description":"Build High-quality Websites","publisher":{"@id":"https:\/\/jassweb.com\/solved\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/jassweb.com\/solved\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/jassweb.com\/solved\/#organization","name":"Jass Web","url":"https:\/\/jassweb.com\/solved\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/","url":"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png","contentUrl":"https:\/\/jassweb.com\/wp-content\/uploads\/2021\/02\/jass-website-logo-1.png","width":693,"height":132,"caption":"Jass Web"},"image":{"@id":"https:\/\/jassweb.com\/solved\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/65c9c7b7958150c0dc8371fa35dd7c31","name":"Kirat","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/jassweb.com\/solved\/#\/schema\/person\/image\/","url":"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750","contentUrl":"https:\/\/jassweb.com\/solved\/wp-content\/litespeed\/avatar\/1261af3c9451399fa1336d28b98ea3bb.jpg?ver=1775798750","caption":"Kirat"},"sameAs":["http:\/\/jassweb.com"],"url":"https:\/\/jassweb.com\/solved\/author\/jaspritsinghghumangmail-com\/"}]}},"_links":{"self":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts\/7753","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/comments?post=7753"}],"version-history":[{"count":0,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/posts\/7753\/revisions"}],"wp:attachment":[{"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/media?parent=7753"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/categories?post=7753"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/jassweb.com\/solved\/wp-json\/wp\/v2\/tags?post=7753"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}