PRISM 基础

欢迎来到 PRISM 的 PRISM 基础 部分，在这一章节中，你将学到以下内容：

• PRISM 简介
• PRISM 安装与环境设置
• PRISM 图形界面使用
• PRISM 命令行界面
• PRISM 模型检测概念
• PRISM 语言概述
• PRISM 版本差异比较
• PRISM 第一个模型
• PRISM 文件结构
• PRISM 变量声明
• PRISM 基本运算符
• PRISM 注释规范
• PRISM 模型编译
• PRISM 常见错误处理

Have fun coding!