1?-['teacher'].    2?-['learner1'].    3
    4?-demo(teacher:gilchrist_family,parent(warren,david),L).    5?-demo(teacher:gilchrist_family,parent(charles,julia),L).    6?-demo(teacher:gilchrist_family,parent(warren,variable(a)),L).    7?-demo(teacher:gilchrist_family,parent(variable(parent),variable(child)),L).    8
    9?-demo(teacher:entropy,entropy_increases(kitchen,fridge),L).   10?-demo(teacher:entropy,entropy_increases(kitchen,living_room),L).   11?-demo(teacher:entropy,entropy_increases(variable(a),variable(b)),L).   12
   13?-demo(teacher:t_member,member(a,[a,b,c]),L).   14?-demo(teacher:t_member,member(b,[a,b,c]),L).   15?-demo(teacher:t_member,member(e,[q,w,e,r,t,z,t,r,e,w,q]),L).   16?-demo(teacher:t_member,member(o,[q,w,e,r,t,z,t,r,e,w,q]),L).   17?-demo(teacher:t_member,member(variable(a),[a,b,c]),L).   18?-demo(teacher:t_member,member(variable(a),variable(list)),L).   19?-demo(teacher:t_member,member(a,variable(list)),L).   20
   21?-demo(teacher:t_reverse,reverse([a,b,c],[c,b,a]),L).   22?-demo(teacher:t_reverse,reverse([b,a,c],[c,b,a]),L).   23?-demo(teacher:t_reverse,reverse(variable(a),[c,b,a]),L).   24
   25?-can_do(Tl,Tt,parent(warren,david),C).   26?-can_do(Tl,Tt,parent(charles,julia),C).   27?-can_do(Tl,Tt,parent(variable(parent),variable(child)),C).   28
   29?-demo(Tl,Tt,entropy_increases(kitchen,fridge),C).   30?-can_do(Tl,Tt,entropy_increases(kitchen,fridge),C).   31?-can_do(Tl,Tt,entropy_increases(variable(a),variable(b)),C).   32
   33?-can_do(Tl,Tt,member(a,[g,f,d,s,a]),C).   34?-can_do(Tl,Tt,member(e,[q,w,e,r,t,z,t,r,e,w,q]),C).   35?-can_do(Tl,Tt,member(variable(a),[g,f,d,s,a]),C).   36?-can_do(Tl,Tt,member(variable(a),variable(list)),C).   37
   38?-can_do(Tl,Tt,reverse([a,b,c],[c,b,a]),C).   39?-can_do(Tl,Tt,reverse([b,a,c],[c,b,a]),C).   40?-can_do(Tl,Tt,reverse(variable(c),[c,b,a]),C).