Ai :: פרולוג :: מבוא AI :: פרולוג :: מבוא מודול פרל מכיל את מה ואת מדוע של תכנות ההיגיון.
הורד עכשיו

Ai :: פרולוג :: מבוא דירוג וסיכום

Ai :: פרולוג :: מבוא תגים

תִכנוּת פרל מודול הִגָיוֹן התכנות בלוגיקה מבוא prolog.

Ai :: פרולוג :: מבוא תיאור

AI :: פרולוג :: מבוא מודול פרל מכיל את מה ואת מדוע של תכנות ההיגיון. AI :: Prologuction :: מבוא מודול פרל מכיל את מה ואת מדוע של תכנות ההיגיון.אתה יכול לדלג על זה אם אתה כבר יודע תכנות ההיגיון.נוט כי רוב זה היה משוך מתוך שלי לכתוב על תכנות ההיגיון ב Perl ב http: //www.perlmonks.org/?node_id=424075.in Perl, בדרך כלל אתה יכול לצרף רשימה אחת לאחרת עם זה: שלי @z = (@x, @y); עם זאת, זה אומר לשפה מה לעשות. כמו יצורים חיים, אנחנו יכולים להסתכל על זה ולהעיף מידע נוסף. בהתחשב @z ו @x, אנחנו יכולים להסיק @y. בהתחשב רק @z, אנחנו יכולים להסיק את כל השילובים של @x ו @y שניתן לשלב כדי ליצור @ z.perl לא יכול לעשות את זה. עם התכנות ההיגיון, עם זאת, על ידי הגדרת מה להוסיף () נראה, אנו מקבלים את כל זה מידע אחר. ב prolog, זה נראה כך: לצרף ([], x, x). צייר (, y, ): - צייר (x, y, z). (למעשה, לעתים קרובות משהו שנקרא "לחתוך" לאחר ההגדרה הראשונה, אבל אנחנו נשמור את זה פשוט. ) מה שהקוד לעיל אומר "מציג רשימה ריקה לרשימה לא ריקה מניבה את הרשימה הלא ריקה". זהו מצב גבול. תוכניות ההיגיון לעתים קרובות דורשים ניתוח זהיר של תנאי הגבול כדי למנוע לולאות אינסופיות (בדומה לאופן שבו פונקציות רקורסיביות ב Perl בדרך כלל צריך להיות מצב סיום מוגדר בהם). השורה השנייה היא המקום שבו עיקר העבודה נעשה. ב Prolog, כדי לזהות את הראש (אלמנט ראשון) של רשימה זנבה (כל האלמנטים למעט הראשון), אנו משתמשים בתחביר . מאז ":" הוא לקרוא כמו "אם" ב Prolog, מה זה אומר אם אנחנו רוצים consatenate (A, B, C) ו (D, E, F): נתון רשימה עם ראש w ו זנב של X: @ list1 = QW / ABC /; (QW / A / הוא w, הראש, ואת QW / BC / הוא x, הזנב) אם הוא מצורף לרשימה Y: @y = QW / Def /; אנו מקבלים רשימה עם ראש w ו זנב של Z: @ list2 = qw / abcedef /; רק אם x מצורף y form z: x הוא QW / BC /. Y הוא QW / D E F /. Z הוא QW / B C D E F /. דרישות: · פרל

Ai :: פרולוג :: מבוא תוכנה קשורה