इसलिए, मैंने इसके बारे में संकेत दिया था जब मैंने कहा था कि केवल उस प्रारूप में एक सीमा है जिसमें आप प्रस्ताव कार्यक्रम लिख सकते हैं यह केवल तार्किक कथनों के एक उपसमुच्चय के साथ काम करता है, जिसे मूल रूप से जाना जाता है, जो कहता है कि केवल वही हो सकता है 1 किसी भी निहितार्थ बयान में परिणाम।