תשואה פרולוג דירוג וסיכום
- אתר האינטרנט של המוציא לאור:
תשואה פרולוג תגים
תשואה פרולוג תיאור
שבץ פרולוג בקוד שלך תשואה פרולוג היא תוכנה המאפשרת לך להטביע תוכניות פרולוג ישירות Python, C # או JavaScript באמצעות מילת מפתח תשואה. לדוגמה, הנה קלאסי "דוד" predicate ב Prolog: דוד (אדם, דוד): - הורה (אדם, הורה), אח (הורה, דוד). (זה אומר שאדם יש דוד אם לאדם יש ההורה וההורה יש אח.) וכאן הוא בתשואה פרולוג: דוד pythondef (אדם, דוד): הורה = משתנה () עבור L1 בהורה (אדם, הורה): עבור L2 באח (הורה, דוד): תשואה Falsec # iEnumerable דוד (אדם אובייקט, דוד אובייקט) {משתנה הורה = משתנה חדש (); Foreach (בול L1 בהורה (אדם, הורה)) {foreach (בול L2 באח (הורה, דוד)) תשואה לחזור שקר; }}} JavaScriptFunction דוד (אדם, דוד) {var הורה = משתנה חדש (); עבור כל (VAR L1 בהורה (אדם, הורה)) {עבור כל אחד (var l2 באח (הורה, דוד)) תשואה שקר; }} כפי שאתה יכול לראות, זרימת הקוד בתשואת פרולוג דומה פרולוג. הדרכה מסבירה כיצד דוגמאות אלה עובדות, מבלי לצפות שתדע את פרולוג. ואת המדדים להראות כי תשואה prologs ב C # יכול להיות מהיר יותר מאשר יעיל prologs מערכות כמו יאפ פרולוג ו XSB.YIELD Prolog מתאפשרת על ידי מילת מפתח תשואה, אשר באופן אוטומטי יוצר itemators כי אתה יכול לקנן, בשילוב עם תשואה משתנה של משתנה אשר יכול לאחד משתנה עם ערכים אחרים (בדיוק כמו ב Prolog). אין "API" עומד בין הקוד שלך להניב פרולוג, כי אתה פשוט להשתמש מילת מפתח תשואה כדי להפוך את "פונקציות iterator" בכל מקום שאתה צריך אותם. תשואה Prolog הוא חלק של הקוד שלך, אשר יכול לערבב פרולוג בסגנון פרולוג ישירות עם מערכים רגילים, קובץ I / O, שיחות GUI וכל השיעורים שלך. כי זה מאפשר לך לערבב אלה, תשואה prolog מיחדש מודלים ההצהרה והפרוצללי.
תשואה פרולוג תוכנה קשורה