卡雷尔谜题 (Karel Puzzle) 是一种通过指令在模拟环境中控制机器人行动的问题集合，是一种编程练习，通常用于教学环境中，帮助初学者学习编程和逻辑思维。它提供了一个简单的编程环境和一系列任务，要求通过编写代码或生成指令来控制名为「卡雷尔」的机器人完成特定的目标。例如，让机器人收集所有的物品并放置到指定位置、按照特定的路线移动等。在这个过程中，需要考虑机器人的初始位置、环境中的障碍物以及任务的具体要求等因素。
卡雷尔谜题由计算机科学家 Richard Gabriel 在 20 世纪 80 年代初期开发的，用于教授编程和算法概念。这个谜题因其简单性和教育价值而被广泛采用。