{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:22Z","timestamp":1750308922124,"version":"3.41.0"},"reference-count":2,"publisher":"Association for Computing Machinery (ACM)","issue":"88","license":[{"start":{"date-parts":[[1984,4,1]],"date-time":"1984-04-01T00:00:00Z","timestamp":449625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGART Bull."],"published-print":{"date-parts":[[1984,4]]},"abstract":"<jats:p>Some readers of the recent note by Ehud Shapiro on \"Playing Master Mind Logically\" (SIGART 85, July 1983) may reasonably have concluded that Prolog was a suitable language for a \"generate and test\" strategy, as the author stated, but that perhaps there was something intrinsic to Prolog that made anything much more subtle unwieldy. The present note at any rate shows how a more \"logical\" strategy incorporating that previously described may readily be implemented without compromising the elegance and simplicity of Ehud Shapiro's original problem. A related approach, using templates as generators, is also described.<\/jats:p>","DOI":"10.1145\/1056656.1056658","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"11-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Mastering Master Mind logically"],"prefix":"10.1145","author":[{"given":"Peter","family":"Koppstein","sequence":"first","affiliation":[{"name":"Washington University, St. Louis"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1984,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Micro-PROLOG: Programming in Logic","author":"Clark K.L.","year":"1984","unstructured":"Clark , K.L. and F.G. McCabe . Micro-PROLOG: Programming in Logic . Prentice-Hall International , 1984 . Clark, K.L. and F.G. McCabe. Micro-PROLOG: Programming in Logic. Prentice-Hall International, 1984."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1056635.1056637"}],"container-title":["ACM SIGART Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056656.1056658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1056656.1056658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:39Z","timestamp":1750282599000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056656.1056658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,4]]},"references-count":2,"journal-issue":{"issue":"88","published-print":{"date-parts":[[1984,4]]}},"alternative-id":["10.1145\/1056656.1056658"],"URL":"https:\/\/doi.org\/10.1145\/1056656.1056658","relation":{},"ISSN":["0163-5719"],"issn-type":[{"type":"print","value":"0163-5719"}],"subject":[],"published":{"date-parts":[[1984,4]]},"assertion":[{"value":"1984-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}