हमारी कंपनी में हर रविवार को मजेदार क्विज़ की व्यवस्था करने के लिए प्रथागत है, यह उनमें से एक है।

पहेली

श्री बोडी के हत्यारे को खोजने के लिए, आपको यह पता लगाना होगा कि प्रत्येक व्यक्ति कहाँ था और कमरे में कौन से हथियार थे। संकेत पूरे प्रश्नोत्तरी में बिखरे हुए हैं (आप पहले प्रश्न का उत्तर तब तक नहीं दे सकते जब तक आप सभी दस नहीं पढ़ते)।

• सबसे पहले, संदिग्धों की कल्पना करो। तीन पुरुष (जॉर्ज, जॉन, रॉबर्ट) और तीन महिलाएं (बारबरा, क्रिस्टीना, योलान्डा) हैं। प्रत्येक व्यक्ति एक अलग कमरे (बाथरूम, डाइनिंग रूम, किचन, लिविंग रूम, पेंट्री, ऑफिस) में है। प्रत्येक कमरे (बैग, बन्दूक, गैस, चाकू, जहर, रस्सी) में संदिग्ध हथियार पाए गए। प्रश्न: रसोई में कौन पाया गया था?
• टिप 1. रसोई घर में एक आदमी के साथ न तो रस्सी है, न चाकू है, न ही बैग है। हथियार बन्दूक नहीं है। प्रश्न: रसोई में कौन से हथियार पाए गए?

• संकेत 2. बारबरा या तो अध्ययन में या बाथरूम में है, और योलान्डा दो नामित कमरों में से एक में है। बारबरा ने किस कमरे में पाया?
• टिप 3. बैग वाला आदमी न तो बारबरा है और न ही जॉर्ज, और वह न तो बाथरूम में था और न ही डाइनिंग रूम में। बैग किसके पास था?
• टिप 4. कार्यालय में रस्सी के साथ एक महिला मिली थी। वह कौन है?
• टिप 5. लिविंग रूम में हथियार या तो जॉन या जॉर्ज का है। लिविंग रूम में किस तरह का हथियार?
• टिप 6. भोजन कक्ष में कोई चाकू नहीं था। चाकू कहां था?
• संकेत 7. योलान्डा इन कमरों के लिए उपयुक्त हथियारों के साथ न तो कार्यालय में था और न ही पैंट्री में। योलान्डा के पास किस तरह का हथियार है?
• टिप 8. जॉर्ज को एक बन्दूक मिली। कौन सा कमरा?
• यह पता चला कि श्री बॉडी को पैंट्री में रखा गया था। उस कमरे में संदिग्ध एक हत्यारा था। यह कौन है?

मैं ऐसी पहेलियों (वास्तव में लगभग किसी भी पहेली से) पर ट्रड करता हूं। वे घंटे और घंटे का प्रतिबिंब ले सकते थे, लेकिन प्रोलॉग हमेशा बचाव के लिए आता है! आइए देखें कि यह तर्क के लिए ऐसी समस्याओं को हल करने में कैसे मदद करता है।

प्रस्तावना 101

SWI-Prolog स्थापित करें

~> swipl Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 6.6.6) Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- write('Hello, World!'). Hello, World! true. ?- write('Hello,'), nl, write('world'). Hello, world true. ?- X is 3*4 + 2. X = 14. 

• swipl - प्रोलोग इंटरप्रेटर
• write को एक फ़नकार कहा जाता है, और write/1 प्रतिनिधित्व का मतलब है कि यह 1 तर्क लेता है (एक समारोह नाम में तर्कों की संख्या को जोड़ने के लिए एर्लांग और अमृत में एक ही अवधारणा)
• एक नई लाइन को प्रिंट करने के लिए nl उपयोग किया जाता है
• कमांड के अनुक्रम को कॉमा द्वारा अलग किया जाता है, जो AND ऑपरेटर को भी प्रतिस्थापित करता है
• असाइनमेंट ऑपरेटर एक गणितीय अभिव्यक्ति द्वारा पीछा किया जाता है
• चर राजधानी X में लिखे गए हैं, X नहीं

ज्ञान का आधार

प्रोलॉग का सार तथ्यों को बताने, तथ्यों को संकलित करने और उनसे अनुरोध करने में है।

hello.pl फ़ाइल बनाना:

 friend(john, julia). friend(john, jack). friend(julia, sam). friend(julia, molly). loves(john, julia). loves(julia, sam). loves(sam, julia). male(brad). male(john). male(jim). male(alfred). female(marry). child(brad, alfred). child(john, jim). child(john, marry). 

• हम लोड करने के लिए [hello]. उपयोग करते हैं [hello]. : अंत में बिंदु पर ध्यान दें
• listing ज्ञान के आधार में सभी तथ्यों को listing करती है

 ?- [hello]. % hello compiled 0.00 sec, 3 clauses true. ?- listing(friend). friend(john, julia). friend(john, jack). friend(julia, sam). friend(julia, molly). true. ?- listing(loves). loves(john, julia). loves(julia, sam). loves(sam, julia). true. 

तथ्यों के लिए अनुरोध

ज्ञान के आधार में तथ्यों को बताने के बाद, हम आगे बढ़ सकते हैं और तथ्यों की सच्चाई के बारे में सवाल पूछ सकते हैं, साथ ही उनसे क्या निष्कर्ष निकाला जा सकता है।

 ?- friend(john, julia). true . ?- friend(john, jack). true. ?- loves(john, julia). true. ?- loves(john, sam). false. 

हम और अधिक जटिल प्रश्न बना सकते हैं। उदाहरण के लिए, जो जॉन के साथ दोस्त है या जो जूलिया से प्यार करता है।

 ?- friend(john, Who). Who = julia ; Who = jack. 

 ?- listing(child). child(brad, alfred). child(john, jim). child(john, mary). true. ?- child(john, X). X = jim ; X = mary. 

जॉन फ्रेंडज़ोन में है?

हमने जूलिया ( friend(john, julia) ) के साथ जॉन की दोस्ती स्थापित की है, लेकिन प्रोलॉग के लिए इसका मतलब यह नहीं है कि जूलिया जॉन के साथ दोस्त हैं: आपको एक और तथ्य friend(julia, john) को जोड़ने की जरूरत है। हमने यह भी संकेत दिया है कि किसके बच्चे हैं और स्पष्ट रूप से कोड की नकल नहीं करना चाहते हैं, प्रत्येक बच्चे के माता-पिता को अलग-अलग इंगित करते हैं। हम ऐसा कुछ नहीं लिखना चाहते हैं

 child(brad, alfred). child(john, jim). child(john, mary). parent(alfred, brad). parent(jim, john). parent(mary, john). 

प्रस्तावना तार्किक निष्कर्ष नियमों के साथ दोहराव से बचने में मदद करती है:

 rule :- stmt1, stmt2,... 

यदि सभी आंतरिक कथन सत्य हैं (सूचीबद्ध और तार्किक रूप से अल्पविराम से मुड़ा हुआ) तो यह नियम सही है।

 friend(X, Y) :- friend(Y,X). parent(X, Y) :- child(Y,X). father(X, Y) :- child(Y,X), male(X). mother(X, Y) :- child(Y,X), female(X). friendzoned(X) :- loves(X, Y), \+ loves(Y,X). 

• friend(X,Y) friend(Y,X लिए सही है friend(Y,X )
• जब child(Y,X) तो parent(X,Y) सही होता child(Y,X)
• father(X,Y) parent(X,Y) और male(X)
• mother(X,Y) तब सही होती है जब parent(X,Y) और female(X)
• friendzoned(X) सही है यदि X SOMEONE Y प्यार करता है SOMEONE Y और Y, X से प्यार नहीं करता (नोटिस हिडन वेरिएबल Y?)

 ?- friend(julia, john). true . ?- male(jim). true. ?- parent(jim,X). X = john. ?- father(jim, X). X = john. ?- mother(X, john). X = marry. ?- mother(marry,X). X = john. ?- mother(marry, john). true. ?- loves(julia, X). X = sam. ?- friendzoned(julia). false. ?- friendzoned(john). true. 

ठीक है, अब हमारे पास सभी आवश्यक ज्ञान है। मानचित्र के रंग पर अभ्यास करते हैं।

कार्ड का रंग

आइए जाने-पहचाने गणितीय समस्या से शुरू करते हैं। यह आवश्यक है कि किसी भी निकटवर्ती क्षेत्र में समान रंग न हो।



इसलिए, तर्क ऐसा होना चाहिए, हमारे पास तीन चीजें हैं:

1. चर वे क्षेत्र हैं जिन्हें हम रंग देना चाहते हैं: ए, बी, सी, डी, ई।
2. डोमेन - मानों की एक श्रृंखला जिसे चर को सौंपा जा सकता है: लाल, नीला, हरा।
3. सीमा यह है कि आसन्न क्षेत्र समान रंग नहीं हो सकते।

डोमेन

हमारे क्षेत्रों के डोमेन को परिभाषित करें (लाल, हरा, नीला)।

 color(red). color(green). color(blue). 

वह सब है।

हम इसका समाधान पूछते हैं

 colorify(A,B,C,D,E) :- color(A), color(B), color(C), color(D), color(E), \+ A=B, \+ A=C, \+ A=D, \+ A=E, \+ B=C, \+ C=D, \+ D=E. 

यहां हम समाधान को एक नियम के रूप में परिभाषित करते हैं, जो पांच चर ए, बी, सी, डी, ई, और नियम के अंदर हम चर के लिए डोमेन रंग (लाल, नीला, हरा) निर्दिष्ट करते हैं और प्रतिबंध सेट करते हैं कि ए, बी के बराबर नहीं है, सी के बराबर नहीं है ... और टी। डी।

\+ X=Y अर्थ है कि X, Y के बराबर नहीं है

प्रोलॉग तब तक मूल्यों को उत्पन्न करना जारी रखेगा जब तक कि वह एक विकल्प नहीं ढूंढता है जो प्रतिबंधों के साथ नियम को संतुष्ट करता है।

 ?- [mapcoloring] | . true. ?- colorify(A,B,C,D,E) | . A = red, B = D, D = green, C = E, E = blue ; A = red, B = D, D = blue, C = E, E = green ; A = green, B = D, D = red, C = E, E = blue ; A = green, B = D, D = blue, C = E, E = red ; A = blue, B = D, D = red, C = E, E = green ; A = blue, B = D, D = green, C = E, E = red 

 color(red). color(green). color(blue). colorify(A,B,C,D,E) :- color(A), color(B), color(C), color(D), color(E), \+ A=B, \+ A=C, \+ A=D, \+ A=E, \+ B=C, \+ C=D, \+ D=E. 

... लेकिन हम यहां चित्रों को रंग नहीं रहे हैं, बल्कि हत्यारे की तलाश कर रहे हैं।

हत्या

सबसे पहले, संदिग्धों की कल्पना करो। तीन पुरुष (जॉर्ज, जॉन, रॉबर्ट) और तीन महिलाएं (बारबरा, क्रिस्टीना, योलान्डा) हैं। प्रत्येक व्यक्ति एक अलग कमरे (बाथरूम, डाइनिंग रूम, किचन, लिविंग रूम, पेंट्री, ऑफिस) में है। प्रत्येक कमरे (बैग, बन्दूक, गैस, चाकू, जहर, रस्सी) में संदिग्ध हथियार पाए गए।

रसोई में कौन पाया गया था?

डोमेन

इससे हम यह निष्कर्ष निकाल सकते हैं कि हमारे पास पाँच डोमेन हैं: man , woman , person या संदिग्ध, location और weapons , और हमारे चर (ए, बी, सी, डी, ई, एफ) दोनों व्यक्ति, स्थान और हथियार का प्रतिनिधित्व करते हैं कुछ सीमाओं के साथ जो आगामी सुझावों में प्रकट की जाएंगी।

 man(george). man(john). man(robert). woman(barbara). woman(christine). woman(yolanda). person(X):- man(X). person(X):- woman(X). location(bathroom). location(dining). location(kitchen). location(livingroom). location(pantry). location(study). weapon(bag). weapon(firearm). weapon(gas). weapon(knife). weapon(poison). weapon(rope). 

uniq_ppl नियम हमारे चरों के लिए अद्वितीय मान उत्पन्न करता है।

 uniq_ppl(A,B,C,D,E,F):- person(A), person(B), person(C), person(D), person(E), person(F), \+A=B, \+A=C, \+A=D, \+A=E, \+A=F, \+B=C, \+B=D, \+B=E, \+B=F, \+C=D, \+C=E, \+C=F, \+D=E, \+D=F, \+E=F. 

निर्णय

हम स्थानों पर अद्वितीय लोगों के साथ एक हत्यारे के शासन को परिभाषित करने और हथियारों के साथ अनूठे लोगों के साथ शुरू करते हैं, और अब उन लोगों के बीच के संबंधों को इंगित करेंगे जिनके पास हथियार हैं

कृपया ध्यान दें कि हमारे पास अभी भी छह संदिग्ध हैं।

प्रविष्टि

 murderer(X) :- uniq_ppl(Bathroom, Dining, Kitchen, Livingroom, Pantry, Study), uniq_ppl(Bag, Firearm, Gas, Knife, Poison, Rope), 

चरों के बारे में आसानी से बात करने के लिए, जैसे कि बाथरूम, डाइनिंग रूम, आग्नेयास्त्र, गैस, हम तुरंत निर्धारित करते हैं:

• बाथरूम - यह बाथरूम में एक ही संदिग्ध (पुरुष या महिला) है
• आग्नेयास्त्र - यह एक आग्नेयास्त्र के साथ एक ही संदिग्ध (पुरुष या महिला) है
• और इतने पर ... आप इसे ग्रिड के रूप में कल्पना कर सकते हैं

अब हम murderer शासन में अंतिम अल्पविराम के बाद प्रतिबंध जोड़ना जारी रखते हैं।

टिप 1

रसोई में एक आदमी के साथ कोई रस्सी, चाकू या बैग नहीं है। हथियार बन्दूक नहीं है। रसोई में कौन से हथियार पाए जाते हैं?

 % 2. Clue 1: The man in the kitchen was not found with the rope, knife, or bag. % Which weapon, then, which was not the firearm, was found in the kitchen? man(Kitchen), \+Kitchen=Rope, \+Kitchen=Knife, \+Kitchen=Bag, \+Kitchen=Firearm, 

यहां हम कहते हैं कि Kitchen चर man के तथ्य (हमारे डोमेन में परिभाषित) को संतुष्ट करता है, और यह घोषणा करता है कि रसोई में कोई भी व्यक्ति नहीं है, उसके पास निम्न में से कोई भी नहीं है: Rope , Knife , Bag , Firearm ।

संकेत २

संकेत 2. बारबरा या तो अध्ययन में या बाथरूम में है, और योलान्डा दो नामित कमरों में से एक में है। बारबरा ने किस कमरे में पाया?

इस प्रकार, हम कह सकते हैं कि कार्यालय में और बाथरूम में एक woman है, और यह क्रिस्टीना नहीं है, और हम बारबरा और योलान्डा (रसोई, भोजन कक्ष, लिविंग रूम, पेंट्री) के लिए अन्य विकल्पों को भी पार करते हैं।

 % % 3. Clue 2: Barbara was either in the study or the bathroom; Yolanda was in the other. % % Which room was Barbara found in? woman(Bathroom), woman(Study), \+christine=Bathroom, \+christine=Study, \+barbara=Dining, \+barbara=Kitchen, \+barbara=Livingroom, \+barbara=Pantry, 

टिप 3

बैग वाला आदमी न तो बारबरा है और न ही जॉर्ज, और वह न तो बाथरूम में था और न ही डाइनिंग रूम में। बैग किसके पास था?

 % % 4. Clue 3: The person with the bag, who was not Barbara nor George, was not in the bathroom nor the dining room. % % Who had the bag in the room with them? \+barbara=Bag, \+george=Bag, \+Bag=Bathroom, \+Bag=Dining, 

टिप 4

ऑफिस में रस्सी वाली महिला मिली। वह कौन है?

 % % 5. Clue 4: The woman with the rope was found in the study. % % Who had the rope? woman(Rope), Rope=Study, 

टिप 5

टिप 5. लिविंग रूम में हथियार या तो जॉन या जॉर्ज का है। लिविंग रूम में किस तरह का हथियार?

 man in Livingroom Livingroom isn't robert % % 6. Clue 5: The weapon in the living room was found with either John or George. % % What weapon was in the living room? man(Livingroom), \+Livingroom=robert, 

टिप 6

भोजन कक्ष में चाकू नहीं था। चाकू कहां था?

 % % 7. Clue 6: The knife was not in the dining room. % % So where was the knife? \+Knife=Dining, 

टिप 7

संकेत 7. योलान्डा न तो ऑफिस में था और न ही पैंट्री में। योलान्डा के कमरे में क्या हथियार है?

 % % 8. Clue 7: Yolanda was not with the weapon found in the study nor the pantry. % % What weapon was found with Yolanda? \+yolanda=Pantry, \+yolanda=Study, 

टिप 8

जॉर्ज को एक बन्दूक मिली।

 % % 9. Clue 8: The firearm was in the room with George. % % In which room was the firearm found? Firearm=george, 

टिप 9

यह पता चला कि श्री बॉडी को पैंट्री में रखा गया था। उस कमरे में संदिग्ध एक हत्यारा था। वह कौन है?

 % % 10. It was discovered that Mr. Boddy was gassed in the pantry. The suspect found in that room was the murderer. % % Who, then, do you point the finger towards? Pantry=Gas, Pantry=X, write("KILLER IS :"), write(X), nl, writeanswers(Bathroom, Dining, Kitchen, Livingroom, Pantry, Study, Bag, Firearm, Gas, Knife, Poison, Rope). 

गैस, पेंट्री और हत्यारे का मिलान करें, फिर writeanswers write लिए write उपयोग करें।

 writeanswers(Bathroom, Dining, Kitchen, Livingroom, Pantry, Study, Bag, Firearm, Gas, Knife, Poison, Rope):- write("Bathroom: "), write(Bathroom), nl, write("Dining: "), write(Dining), nl, write("Livingroom: "), write(Livingroom), nl, write("Pantry: "), write(Pantry), nl, write("Study: "), write(Study), nl, write("Kitchen: "), write(Kitchen), nl, write("Knife: "), write(Knife), nl, write("Gas: "), write(Gas), nl, write("Rope: "), write(Rope), nl, write("Bag: "), write(Bag), nl, write("Poison: "), write(Poison), nl, write("Firearm: "), write(Firearm), nl. 

हत्यारा कौन है?

  ?- [crime2]. true. ?- murderer(X). KILLER IS :christine Bathroom: yolanda Dining: george Livingroom: john Pantry: christine Study: barbara Kitchen: robert Knife: yolanda Gas: christine Rope: barbara Bag: john Poison: robert Firearm: george X = christine ; 

यहां कोड प्रकाशित किया गया है । यह शायद बहुत बेहतर हो सकता था क्योंकि मैं प्रोलॉग में विशेषज्ञ नहीं हूं :)