मुझे प्राकृतिक संख्याओं के साथ 2 की शक्ति के लिए प्रोलॉग अनुमान बनाने की आवश्यकता है। प्राकृतिक संख्या रहे हैं: 0, एस (0), एस (रों (0)) इतने पर ans .. उदाहरण के लिए: times2(X,Y) :-
add(X,X,Y).
में नकारात्मक अपरिवर्तनीय प्रकारों के साथ झूठा प्रदान करना सीपीडीटी का तीसरा अध्याय संक्षेप में चर्चा करता है कि कोक में नकारात्मक अपरिवर्तनीय प्रकार क्यों प्रतिबंधित हैं। अगर हम Inductive term : Set