לִנְבּוּחַ Yap הוא מהדר פרולוג בעל ביצועים גבוהים.
הורד עכשיו

לִנְבּוּחַ דירוג וסיכום

לִנְבּוּחַ תגים

מַהְדֵר מהדר פרולוג אמולטור WAM ארכיטקטורת MIPS פּרוֹלוֹג וואם

לִנְבּוּחַ תיאור

YAP הוא מהדר Prologer ביצועים גבוהים. YAP הוא מהדר Prologer ביצועים גבוהים שפותחה ב Coppe Sistemas / Ufrj ו LAACC / Universidade לעשות פורטו. מנוע פרולוג שלו מבוסס Wam (Warren מופשט Machine), עם כמה אופטימיזציות לביצועים טובים יותר. YAP עוקב אחר מסורת אדינבורו, והוא תואם במידה רבה עם תקן ISO-PROLOL ו עם QUINTUS ו- SICSTUS PROLOL.YAP פותחה מאז 1985. הגרסה המקורית נכתבה באסיפה, C ו- Prolog, והושגה ביצועים גבוהים על מכונות מבוססות M68K . קוד ההרכבה שימש ליישום אמולטורים WAM. מאוחר יותר emulators תמכו ב Vax, SPARC, ו- MIPS ארכיטקטורות.הנה הם כמה תכונות עיקריות של "YAP": · ניידות: כל המערכת נכתבת כעת ב C. Compiles Popular 32 סיביות, כגון Suns ו- Linux Pcs, ב 64 סיביות מכונות, אלפא פועל OSF Unix ו- Linux. ביצועים: יש לנו אופטימיזציה של אמולטור כדי לקבל ביצועים להשוות או טוב יותר מאשר מערכות פרולוגיות ידועות. למעשה, הגירסה הנוכחית של Yap מבצעת טוב יותר מאשר המקורי, שנכתב בשפה הרכבה. · חוסן: בדקנו את המערכת עם מערך גדול של יישומי פרולוג. · הרחבה: Yap תוכנן באופן פנימי מההתחלה לתמצת מניפולציה של התנאים. עקרונות אלה שימשו, למשל, כדי ליישם פשוט וחזק ממשק C. הגרסה החדשה של ה- YAP מרחיבה את העקרונות האלה כדי להתאים את הרחבות לאלגוריתם האיחוד, שאנו מאמינים שתעשו שימושיים ליישם הרחבות כגון תכנות אילוצים. · שלמות: יפה במשך זמן רב בתנאי רוב מובנים צפויים מיישום פרולוג אדינבורו. אלה כוללים פונקציונליות I / O, פעולות בסיס נתונים, ומודולים. עבודה על Yap שואפת עכשיו להיות תואם עם תקן פרולוג. · נוחות: ברצוננו ליצור פיתוח חדש של יפה פתוח לקהילת המשתמשים. · מחקר: YAP כבר רכב למחקר בתוך הקבוצה שלנו. כיום מחקר מתרחש על הקבלה ועל הטבלאות, ותמיכה Network Bayesian.What חדש ב 5.1.2 שחרור פיתוח: · שיפורים גדולים רבים.

לִנְבּוּחַ תוכנה קשורה