8fb01d6607
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2017 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
19 lines
395 B
Plaintext
19 lines
395 B
Plaintext
universe(['Stu'],[s0]).
|
|
universe(['Key'],[r0,r1]).
|
|
universe(['Cou'],[c16,c10]).
|
|
|
|
type(stu,[s0]).
|
|
type(reg,[r0,r1]).
|
|
type(cou,[c16,c10]).
|
|
type(gr,[1,4]).
|
|
type(dif,[h,l]).
|
|
type(ran,[h,l]).
|
|
|
|
mode(registration(reg,cou,stu)).
|
|
mode(registration_grade(reg,gr)).
|
|
mode(registration_course(reg,cou)).
|
|
mode(registration_student(reg,stu)).
|
|
mode(course_difficulty(cou,dif)).
|
|
mode(student_ranking(stu,ran)).
|
|
|