فريل

القاعدة عبارة عن قائمة تتكون من استنتاج متبوعًا بالفرضيات ( الأهداف ). وتكون الصيغ العامة على النحو التالي:

( حقيقة ) ( النتيجة الهدف_1 ... الهدف_ن )

هذه تعادل تركيبات لغة برولوج المقابلة:

الحقيقة . الاستنتاج : الهدف_1 ، ...، الهدف_ن .

على سبيل المثال، لننظر إلى memberالمسند في لغة برولوج:

عضو ( E ، [ E | _ ]). عضو ( E ، [ _ | T ]) :- عضو ( E ، T ).

في لغة فريل، يصبح هذا كالتالي:

((عضو E (E|_))) ((عضو E (_|T)) (عضو ET))

يمكن تمثيل بعض البيانات في صورة علاقات . العلاقة مكافئة لمجموعة من الحقائق التي تحمل نفس اسم المسند ولها عدد ثابت من المعاملات، باستثناء أنه لا يمكن حذف أي من الحقائق (إلا بحذف killالعلاقة)؛ ويستهلك هذا التمثيل ذاكرة أقل داخليًا. تُكتب العلاقة حرفيًا كقائمة تتكون من اسم المسند متبوعًا بصف واحد أو أكثر من صفوف العلاقة (جميع وسائط الحقيقة المكافئة بدون اسم المسند). يمكن أيضًا تعريف المسند كعلاقة باستدعاء المسند def_rel؛ وهذا يعمل فقط إذا لم يكن الاسم المقترح موجودًا بالفعل في قاعدة المعرفة . بمجرد أن يصبح المسند علاقة، فإن أي شيء يضيف قاعدة عادةً (ولا يخالف قيود العلاقات) يضيف تلقائيًا صفًا إلى العلاقة بدلًا من ذلك.

إليكم مثالاً. مجموعة الحقائق التالية:

((أقل من 2 3)) ((my-less-than 8 23)) ((أقل من 42 69))

يمكن إعادة كتابتها على النحو التالي:

(أقل مني) (2 3) (8 23) (42 69))

يمكن استدعاء الدالة الشرطية باستخدام وسيط واحد فقط، وذلك باستخدام الصيغة التالية:

حجة المسند

يتم إرسال الاستعلامات باستخدام هذه الصيغة، مع كون الشرط? (أو أحد الشروط الأخرى المتعلقة بالاستعلام).

يدعم Fril كلاً من المجموعات الضبابية المتصلة والمنفصلة، ​​ولكل منهما صيغها الخاصة. تُدرج المجموعة المنفصلة ( dtype ) القيم المنفصلة ودرجات انتمائها، وذلك باستخدام الصيغة التالية:

{ القيمة : dom القيمة : dom ... القيمة : dom }

القيمة عبارة عن ذرة أو رقم، و dom هي قيمة في الفترة [0، 1].

تُعرّف المجموعة المتصلة ( النوع المتصل ) بأنها قائمة بالأعداد الحقيقية ودرجات انتمائها؛ ودالة درجة الانتماء هي الاستيفاء الخطي لهذه الدوال. ويكون تركيبها كالتالي:

[ القيمة : قيمة dom القيمة : قيمة dom ... القيمة : قيمة dom ]

حيث يجب إعطاء القيم بترتيب تصاعدي.

يمكن تقييد كل نوع بيانات ونوع بيانات فرعي بمجموعة من القيم المسموح بها. يحتوي Fril على دوال منطقية لعمليات المجموعات الضبابية (لكنه لا يدعم التحكم المباشر من خلال المنطق الضبابي ). بل من الممكن دمج أنواع البيانات والأنواع الفرعية من خلال بعض العمليات، طالما أن أنواع البيانات تحتوي على أعداد حقيقية فقط.

يمكن ربط أي قاعدة بفترة احتمالية (تُسمى زوج الدعم) عن طريق إضافة قيمة إليها، حيث يُمثل min و max الحد الأدنى والحد الأقصى للاحتمالات. يتضمن Fril دوالًا منطقية لحساب الدعم لاستعلام مُحدد.:(minmax)

بينما يستخدم Prolog علامات الترقيم - أي ;- للفصل داخل الجمل، فإن Fril بدلاً من ذلك لديه مسند مدمج orr.

لهذا التركيب النحوي المبسط مزايا وعيوب. فمن مزاياه أنه يُغني عن استخدام المسندات، مثل تلك الموجودة في لغة برولوج =..(التي تربط بين القوائم والعبارات)، لأن العبارة هي قائمة. ومن عيوبه أنه أكثر صعوبة في القراءة.