นี่คือคำสั่ง maude ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
Maude - กรอบงานเชิงตรรกะที่มีประสิทธิภาพสูง
เรื่องย่อ
ม้อด [ตัวเลือก] [ไฟล์]
DESCRIPTION
หน้าคู่มือนี้จัดทำเอกสารโดยสังเขปเกี่ยวกับ ม้อด ล่าม. หน้าคู่มือนี้ถูกเขียนขึ้น
สำหรับการแจกจ่าย Debian เนื่องจากโปรแกรมดั้งเดิมไม่มีหน้าคู่มือ
ม้อด เป็นภาษาสะท้อนประสิทธิภาพสูงและระบบที่รองรับทั้งสมการและ
การเขียนข้อกำหนดลอจิกและการเขียนโปรแกรมใหม่เพื่อการใช้งานที่หลากหลาย ม้อด มี
ได้รับอิทธิพลในทางที่สำคัญจากภาษา OBJ3 ซึ่งถือได้ว่าเป็น an
ภาษาย่อยตรรกะสมการ นอกจากการสนับสนุนข้อกำหนดเชิงสมการและการเขียนโปรแกรมแล้ว
ม้อด ยังสนับสนุนการคำนวณตรรกะการเขียนใหม่
ตรรกะการเขียนใหม่เป็นตรรกะของการเปลี่ยนแปลงพร้อมกันที่สามารถจัดการกับสถานะและ
ด้วยการคำนวณพร้อมกัน มีคุณสมบัติที่ดีเป็นกรอบความหมายทั่วไปสำหรับ
ให้ความหมายที่ปฏิบัติการได้กับภาษาที่หลากหลายและแบบจำลองการทำงานพร้อมกัน ใน
โดยเฉพาะอย่างยิ่ง มันสนับสนุนการคำนวณเชิงวัตถุพร้อมกันเป็นอย่างดี เหตุผลเดียวกัน
ทำให้การเขียนตรรกะการเขียนใหม่เป็นกรอบความหมายที่ดี ทำให้เป็นกรอบตรรกะที่ดีด้วย
นั่นคือ metalogic ที่สามารถแสดงและดำเนินการตรรกะอื่น ๆ ได้ตามธรรมชาติ
ม้อด สนับสนุนการไตร่ตรองเชิงตรรกะอย่างเป็นระบบและมีประสิทธิภาพ สิ่งนี้ทำให้ ม้อด
ขยายและทรงพลังได้อย่างน่าทึ่ง รองรับพีชคณิตที่ขยายได้ขององค์ประกอบโมดูล
และอนุญาตให้โปรแกรม metaprogramming และ metalanguage ขั้นสูงจำนวนมาก
อันที่จริงแอปพลิเคชั่นที่น่าสนใจที่สุดบางตัวของ ม้อด เป็นแอปพลิเคชันภาษาเมตา
ซึ่งอยู่ใน ม้อด ใช้เพื่อสร้างสภาพแวดล้อมที่ปฏิบัติการได้สำหรับตรรกะต่างๆ ทฤษฎีบท
ผู้พิสูจน์ ภาษา และรูปแบบการคำนวณ
--ช่วยด้วย แสดงข้อมูลช่วยเหลือ
--รุ่น
แสดงหมายเลขเวอร์ชัน
-ไม่มีโหมโรง
อย่าอ่านในบทนำมาตรฐาน
-ไม่มีแบนเนอร์
ห้ามแสดงแบนเนอร์เมื่อเริ่มต้น
-ไม่มีคำแนะนำ
ไม่มีคำแนะนำในการเริ่มต้น
-ไม่มีมิกซ์ฟิกซ์
อย่าใช้สัญกรณ์ผสมสำหรับผลลัพธ์
-ไม่ห่อ
อย่าตัดบรรทัดอัตโนมัติสำหรับเอาต์พุต
-ansi-สี
ใช้ลำดับการควบคุม ANSI
-no-ansi-สี
อย่าใช้ลำดับการควบคุม ANSI
-เทคลา ใช้การแก้ไขบรรทัดคำสั่ง tecla
-ไม่มีเทคลา
อย่าใช้การแก้ไขบรรทัดคำสั่ง tecla
-แบทช์ เรียกใช้ในโหมดแบตช์
-เชิงโต้ตอบ
เรียกใช้ในโหมดโต้ตอบ
-สุ่มเมล็ด=
ตั้งเมล็ดพันธุ์สำหรับเครื่องกำเนิดตัวเลขสุ่ม
-xml-log=
ตั้งค่าไฟล์ที่จะสร้าง xml log
ลิขสิทธิ์
ลิขสิทธิ์ (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA
ลิขสิทธิ์ (c) 1997 - 2002, Makoto Matsumoto และ Takuji Nishimura,
ลิขสิทธิ์ (c) 2000 - 2003, Richard J. Wagner
รายงาน ข้อบกพร่อง
ส่งรายงานข้อบกพร่องไปที่: maude-bugs@maude.cs.uiuc.edu
ใช้ม้อดออนไลน์โดยใช้บริการ onworks.net