मैं clpfd लाइब्रेरी का उपयोग कर (swi) prolog में बाधाओं के साथ खेल रहा हूं। मैं पहचानने की कोशिश कर रहा हूं कि बाधाओं का एक सेट दूसरे को समाहित करता है या उदाहरण देता है, उदा। एक्स < 4 एक्स < 7 encaps
कर सकता है, मैंने प्रोलॉग और लॉजिकल प्रोग्रामिंग के बारे में एक संक्षिप्त लेख पढ़ा है। अगर तर्कसंगत कार्यक्रम बीजगणित कर सकता है तो मैं उत्सुक हूं। जैसा कि आप पूछ सकते हैं कि एक्स के वेरिएबल समीकरण 5