基于Prolog的排课开发需求：10教师、5班级、3学生组排课规则

嘿，我看你正在用Prolog开发一个涉及多角色的排课系统，这就帮你把这些基础定义和规则整理成清晰的Markdown格式，方便你后续写约束逻辑或者调试：

基础数据定义 #

教师列表 #

定义了10名教师的集合：

%% professors/10
professors([coe,chr,dan,dar,ell,elv,frank,franc,ric,rac]).

班级列表 #

定义了5个班级：

%% classes/5
classes(c1,c2,c3,c4,c5).

学生组规模（对应教室容量） #

这里的seat/3事实对应3组学生的规模，分别为10人、30人、70人：

%% classrooms/3
seat(10,30,70).

工作日列表 #

定义了每周的5个工作日：

%% daysoftheweek/5
day(monday,tuesday,wednesday,thursday,friday).

核心排课规则 #

• 每位教师每周必须教授全部5门课程
• 每次授课仅面向一组学生
• 同一教师的两次授课之间至少间隔2小时

内容的提问来源于stack exchange，提问作者Cornellia