在加载过程中,系统将创建不在RAM中的任何所需变量,并将其设置为未初始化。运行程序时,Karel解释器执行加载的p代码指令。
Karel程序由程序逻辑和程序数据组成。程序逻辑定义了执行特定任务所需的一系列步骤。程序数据是程序逻辑使用的与任务相关的信息。在Karel中,程序逻辑与程序数据分离。
程序逻辑由Karel程序中begin和end语句之间的Karel可执行语句定义。程序数据包括在Karel程序的VaR声明部分中通过名称、数据类型和RAM中的存储区域识别的变量。程序数据的值可由示教器点动、由程序计算、从数据文件读取、从CRT/KB或示教菜单结构设置,或在执行期间接受为输入。数据值可以从一次执行更改为下一次执行,但使用相同的程序逻辑来操作数据。
程序逻辑和程序数据在Karel程序中分离,原因如下:
允许在同一程序中的多个位置引用数据
允许多个程序引用或共享同一数据
允许程序使用备用数据
促进离线计算机辅助设计(CAD)系统中数据文件的建立
程序的可执行部分包括数据操作语句、输入/输出语句和例程调用。
创建程序源代码文件
加载程序逻辑和数据。
维护程序的执行历史记录。
您可以使用脱机编辑器(如OLpC pro)或任何文本编辑器(如写字板)来创建Karel程序。生成的文件称为源文件或源代码。
在执行之前,必须将Karel源文件编译成内部代码,称为p代码。Carel语言编译器执行此函数并检查源代码中的错误。