זוהי הפקודה maude שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
Maude - מסגרת לוגית בעלת ביצועים גבוהים
תַקצִיר
maude [אפשרויות] [קבצים]
תיאור
דף מדריך זה מתעד בקצרה את מוד מְתוּרגְמָן. דף מדריך זה נכתב
להפצת דביאן מכיוון שלתוכנית המקורית אין דף ידני.
מוד היא שפה ומערכת רפלקטיבית בעלת ביצועים גבוהים התומכים הן בשוויון והן
שכתוב מפרט לוגי ותכנות עבור מגוון רחב של יישומים. מוד יש ל
הושפע בדרכים חשובות משפת OBJ3, שניתן להתייחס אליה כאל
תת-שפת לוגיקה משוווית. מלבד תמיכה במפרט ותכנות משוואות,
מוד תומך גם בחישוב לוגי לשכתוב.
שכתוב היגיון הוא היגיון של שינוי מקביל שיכול להתמודד באופן טבעי עם מצב ו
עם חישובים במקביל. יש לו מאפיינים טובים כמסגרת סמנטית כללית עבור
מתן סמנטיקה ניתנת להפעלה למגוון רחב של שפות ומודלים של מקבילות. ב
במיוחד, הוא תומך היטב בחישוב מונחה עצמים במקביל. אותן סיבות
הפיכת לוגיקה לשכתוב למסגרת סמנטית טובה הפוך אותה גם למסגרת לוגית טובה,
כלומר, מטלוגיקה שבה ניתן לייצג ולבצע היגיון רבים אחרים באופן טבעי.
מוד תומך בצורה שיטתית ויעילה ברפלקציה לוגית. זה עושה מוד
ניתן להרחבה ועוצמתי להפליא, תומך באלגברה הניתנת להרחבה של הרכב מודול
פעולות, ומאפשרת יישומי מטא-תכנות ושפה מתקדמים רבים.
אכן, כמה מהיישומים המעניינים ביותר של מוד הם יישומי שפת מתכת,
בי מוד משמש ליצירת סביבות הפעלה עבור לוגיקה שונה, משפט
מוכיחים, שפות ומודלים של חישוב.
- עזרה להציג מידע עזרה
--גִרְסָה
הצגת מספר גרסה
-ללא הקדמה
אין לקרוא בהקדמה הסטנדרטית
-ללא באנר
אל תוציא באנר בעת ההפעלה
-אין עצה
אין ייעוץ לגבי הפעלה
-ללא מיקספיקס
אל תשתמש בתווי mixfix עבור הפלט
-ללא עטיפה
אין לבצע גלישת שורות אוטומטית עבור פלט
אנסי-צבע
השתמש ברצפי בקרת ANSI
-ללא אנסי-צבע
אל תשתמש ברצפי בקרת ANSI
-טקלה השתמש בעריכת שורת הפקודה של tecla
-לא-טקלה
אל תשתמש בעריכת שורת הפקודה של tecla
-קבוצה הפעל במצב אצווה
-אינטראקטיבי
הפעל במצב אינטראקטיבי
-זרע אקראי=
הגדר סיד עבור מחולל מספרים אקראיים
-xml-log=
הגדר קובץ שבו ייצור יומן XML
זכויות יוצרים
זכויות יוצרים (ג) 1997-2011 SRI International, Menlo Park, CA 94025, ארה"ב.
זכויות יוצרים (ג) 1997 - 2002, Makoto Matsumoto ו-Takuji Nishimura,
זכויות יוצרים (ג) 2000 - 2003, Richard J. Wagner
דיווח באגים
שלח דוחות באגים אל: [מוגן בדוא"ל]
השתמש ב-maude באינטרנט באמצעות שירותי onworks.net