FO(.)
کمپیوٹر سائنس میں، ایف او (.) (اے۔ کے۔ اے۔ ایف او ڈاٹ) ایک علم کی نمائندگی کی زبان ہے جو فرسٹ آرڈر منطق (ایف او) پر مبنی ہے۔ یہ اقسام، مجموعوں (گنتی، خلاصہ، زیادہ سے زیادہ. ایک سیٹ پر)، ریاضی، تعارفی تعریفیں، جزوی افعال، اور شدید اشیاء کے ساتھ ایف او کو پھیلاتا ہے۔ بذات خود، ایک ایف او (.) علم کی بنیاد کو چلایا نہیں جا سکتا، کیونکہ یہ صرف "معلومات کا ایک بیگ" ہے، جسے مختلف عام استدلال الگورتھم کے لیے ان پٹ کے طور پر استعمال کیا جاتا ہے۔ استدلال کرنے والے انجن جو ایف او (.) استعمال کرتے ہیں IDP-Z3، IDP اور FOLASP شامل ہیں۔ مثال کے طور پر، آئی ڈی پی سسٹم ماڈل تیار کرنے، سیٹ سوالات کے جوابات دینے، دو نظریات کے درمیان انضمام کی جانچ کرنے اور اطمینان کی جانچ کرنے کی اجازت دیتا ہے، اس کے علاوہ ایف او (.) پر دیگر اقسام کے تخمینے بھی شامل ہیں۔ علم کی بنیاد۔ ایف او (.) بیانات کی چار قسمیں ہیں: ٹائپ، فنکشن اور پیش گوئی کے اعلانات، محوریات، یعنی ممکنہ دنیاؤں کے بارے میں منطقی جملے، تعریفیں جو کسی متعین علامت کی منفرد تشریح کی وضاحت کرتی ہیں، اس کے پیرامیٹرز کی تشریح کو دیکھتے ہوئے۔ تعریفیں تعمیری ہو سکتی ہیں۔ گنتی، یعنی گنتی کے ذریعے علامتوں کی تعریفیں۔ مثال ووٹنگ کا قانون اس بات کی وضاحت کرتا ہے کہ ووٹ ڈالنے کے لیے شہریوں کی عمر کم از کم 18 سال ہونی چاہیے۔ مزید برآں، اگر ووٹنگ کے قانون کو تجویز کردہ سمجھا جاتا ہے، تو جب آپ کی عمر 18 سال سے زیادہ ہو تو ووٹنگ لازمی ہے۔ اس کی نمائندگی ایف او (.) میں کی جا سکتی ہے۔ جیسا کہ مندرجہ ذیل ہے: الفاظ V {عمر: () → Z// فنکشن اعلامیہ تجویز کردہ، ووٹ: () → B// پیش گوئی کے اعلانات} نظریہ T: V {عمر () <18̃vot ()۔ //محوری: اگر آپ کی عمر 18 سال سے کم ہے تو آپ ووٹ نہیں ڈال سکتے۔ تجویز کردہ () ियम (عمر () ≤18 ियम ووٹ ())۔ //محوری: اگر تجویز کردہ: اگر آپ کم از کم 18 سال کے ہیں، تو آپ کو ووٹ دینا ہوگا۔ اس کوڈ میں، A → B، A سے B تک فنکشن کی نشاندہی کرتا ہے، انٹیجرز کی نشاندہی کرتا ہے، بولیوں کی نشاندہی کرتا ہے، نفی کی نشاندہی کرتا ہے، اور مادی مشروط کی نشاندہی کرتا ہے۔ پیشن گوئی <اور ± بلٹ ان ہوتے ہیں اور ان کے معمول کے معنی ہوتے ہیں۔ اس طرح کے علم کی بنیاد کو خود بخود ایک انٹرایکٹو وکیل میں تبدیل کیا جا سکتا ہے (یہاں دیکھیں) حوالہ جات بیرونی روابط ایف او (.) زبان علم کی نمائندگی کرنے والی زبانیں