In contrast to other automatic programming techniques, the specifications are usually non-algorithmic statements of an appropriate logical calculus.
وعلى عكس غيرها من تقنيات البرمجة الأوتوماتيكية ، فإنه عادة ما تكون المواصفات بيانات غير خوارزمية لحسابات منطقية مناسبة.