هذا هو الأمر anldp الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
anldp - تنفيذ إجراءات مرضية ديفيز بوتنام المقترحة
موجز
com.anldp [الخيارات] ملف الإدخال > ملف إلاخراج
الوصف
توثق صفحة الدليل هذه بإيجاز ملف com.anldp أمر.
com.anldp هو تنفيذ لإجراء ديفيس بوتنام للاقتراح
مشكلة الرضا. com.anldp يعرض الإجراء المستخدم من قبل mace2(1) لتحديد
إرضاء. com.anldp يمكن أيضًا أن يأخذ عبارات في منطق الدرجة الأولى مع المساواة وأ
حجم المجال n ثم ابحث عن نماذج بالحجم n. كود البحث عن النموذج من الدرجة الأولى
يحول العبارات إلى مجموعة من الجمل الافتتاحية مثل الدرجة الأولى
البيانات لها نموذج بالحجم n إذا وفقط إذا كانت البنود المقترحة
مرضي. ثم تُعطى المجموعة المقترحة لقانون ديفيس بوتنام ؛ أي
يمكن ترجمة النماذج المقترحة التي تم العثور عليها إلى نماذج من الدرجة الأولى
صياغات. يقبل برنامج البحث عن النماذج من الدرجة الأولى البيانات فقط في ملف مسطح
شكل جملة علائقية بدون رموز وظيفية.
OPTIONS
-s قم بالاعتماد. (يتم تنفيذ الاستيعاب دائمًا أثناء المعالجة المسبقة للوحدة.)
-p نماذج الطباعة كما وجدت.
-m n توقف عندما nتم العثور على النموذج ال.
-t n توقف بعد n ثواني.
-k n تخصيص على الأكثر n كيلوبايت لتخزين الجمل.
-x n تجربة Quasigroup n.
-B ملف
مهام النسخ الاحتياطي لملف.
-b n مهام النسخ الاحتياطي كل n ثواني.
-R ملف
استعادة الواجبات من ملف. يحتوي الملف عادةً على السطر الأخير فقط من
ملف النسخ الاحتياطي. يجب تقديم مدخلات أخرى ، ولا سيما البنود ، كما هو الحال في
البحث الأصلي.
-n n يستخدم هذا الخيار في عمليات البحث عن النماذج من الدرجة الأولى. المعلمة n يحدد
حجم المجال ، ووجوده يخبر البرنامج لقراءة بالارض من الدرجة الأولى
جمل المدخلات العلائقية بدلاً من الجمل المقترحة.
استخدم anldp عبر الإنترنت باستخدام خدمات onworks.net
