इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें Prolog प्रथम-क्रम तर्क और संबंधों के संदर्भ में व्यक्त एक औपचारिक तर्क पर आधारित है, जो तथ्यों और नियमों के रूप में प्रस्तुत किया जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "प्रोलॉग प्रथम-क्रम तर्क और संबंधों के संदर्भ में व्यक्त एक औपचारिक तर्क पर आधारित है, तथ्यों और नियमों के रूप में प्रतिनिधित्व किया जाता है, यह घोषणात्मक है और इन संबंधों पर एक क्वेरी चलाकर एक गणना शुरू की जाती है। "