API tools faq
paste
shubhamgoyal

Untitled

shubhamgoyal
Aug 28th, 2018
120
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 71.12 KB | None | 0 0
raw download clone embed print report
  1. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:158:
  2. Singleton variables: [Is_qid_tested]
  3. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:164:
  4. Singleton variables: [Is_qid_tested]
  5. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:170:
  6. Singleton variables: [Is_qid_tested]
  7. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:176:
  8. Singleton variables: [My_hint_steps]
  9. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:176:
  10. Singleton variable in branch: My_ques_string
  11. Singleton variable in branch: Question_type
  12. Singleton variable in branch: My_hint_steps
  13. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:333:
  14. Singleton variables: [Path_num,Final_theorems_list]
  15. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:335:
  16. Singleton variables: [A,B]
  17. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:341:
  18. Singleton variables: [Qid,Path_num,Final_theorems_list]
  19. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:353:
  20. Singleton variables: [Question_detail]
  21. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:382:
  22. Singleton variables: [Stream]
  23. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:549:
  24. Singleton variables: [Is_possible]
  25. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:617:
  26. Singleton variables: [Topic]
  27. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:658:
  28. Singleton variables: [Stream]
  29. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:660:
  30. Singleton variables: [Z1,Eqn_num1]
  31. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/quessol.pl:660:
  32. Singleton variable in branch: Z1
  33. Singleton variable in branch: Eqn_num1
  34. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/main_manager.pl:7:
  35. import/1: gfsm:gfs_manager/4 is not exported (still imported into main_manager)
  36. Hello World, argv:[[["user_id","82f2795f-1189-4d29-bf04-c7e69fc40359"],["topic",matrix],["subtopic",matrices_subtraction_concept],["question_type",matrices_subtraction_equality_with_algebra],["config_type",matrices_subtraction_subtraction_solvable_var1],["query","new"],["chaining_file_path","matrix-matrices_subtraction_concept-matrices_subtraction_equality_with_algebra-matrices_subtraction_subtraction_solvable_var1-output_file-906caff7-6587-4db5-a942-3178d48f3659.txt"],["extra",["config",[]]]]]
  37. parse_argv0([[["user_id","82f2795f-1189-4d29-bf04-c7e69fc40359"],["topic",matrix],["subtopic",matrices_subtraction_concept],["question_type",matrices_subtraction_equality_with_algebra],["config_type",matrices_subtraction_subtraction_solvable_var1],["query","new"],["chaining_file_path","matrix-matrices_subtraction_concept-matrices_subtraction_equality_with_algebra-matrices_subtraction_subtraction_solvable_var1-output_file-906caff7-6587-4db5-a942-3178d48f3659.txt"],["extra",["config",[]]]]])
  38. [[user_id,82f2795f-1189-4d29-bf04-c7e69fc40359],[topic,matrix],[subtopic,matrices_subtraction_concept],[question_type,matrices_subtraction_equality_with_algebra],[config_type,matrices_subtraction_subtraction_solvable_var1],[query,new],[chaining_file_path,matrix-matrices_subtraction_concept-matrices_subtraction_equality_with_algebra-matrices_subtraction_subtraction_solvable_var1-output_file-906caff7-6587-4db5-a942-3178d48f3659.txt],[extra,[config,[]]]]
  39.  
  40. 82f2795f-1189-4d29-bf04-c7e69fc40359
  41. matrix
  42. matrices_subtraction_concept
  43. matrices_subtraction_equality_with_algebra
  44. matrices_subtraction_subtraction_solvable_var1
  45. new
  46. matrix-matrices_subtraction_concept-matrices_subtraction_equality_with_algebra-matrices_subtraction_subtraction_solvable_var1-output_file-906caff7-6587-4db5-a942-3178d48f3659.txt
  47. []
  48. Handle backend
  49. after_call_init_functions
  50. convert_term_and_execute_user_input([matrix,matrices_subtraction_concept,matrices_subtraction_equality_with_algebra,matrices_subtraction_subtraction_solvable_var1])
  51. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/matrix.pl:43:
  52. Singleton variables: [T]
  53. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:10:
  54. import/1: matrix:size/3 is not exported (still imported into gf)
  55. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:10:
  56. import/1: matrix:matrix_transpose/2 is not exported (still imported into gf)
  57. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:31:
  58. Singleton variables: [SubTopic]
  59. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:53:
  60. Singleton variables: [Object_list]
  61. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:53:
  62. Singleton variables: [Object_list]
  63. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:95:
  64. Singleton variables: [M]
  65. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:96:
  66. Singleton variables: [M]
  67. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:97:
  68. Singleton variables: [M]
  69. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:98:
  70. Singleton variables: [M]
  71. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:99:
  72. Singleton variables: [M]
  73. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:100:
  74. Singleton variables: [M]
  75. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:101:
  76. Singleton variables: [M,N,P]
  77. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:102:
  78. Singleton variables: [M,N,P]
  79. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:103:
  80. Singleton variables: [M,N,P,Q]
  81. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:104:
  82. Singleton variables: [M,N,P]
  83. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:105:
  84. Singleton variables: [M,N,P]
  85. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:106:
  86. Singleton variables: [M,N,P,Q]
  87. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:107:
  88. Singleton variables: [M,N,R,Initial_change,Final_change,Final_var_list]
  89. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:108:
  90. Singleton variables: [N,M,R,Initial_change,Final_change,Final_var_list]
  91. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:109:
  92. Singleton variables: [M,N,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  93. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:110:
  94. Singleton variables: [M,N,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  95. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:111:
  96. Singleton variables: [M,N,Final_var_list]
  97. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:112:
  98. Singleton variables: [N,M,Final_var_list]
  99. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:113:
  100. Singleton variables: [M,N,P]
  101. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:114:
  102. Singleton variables: [M,N,P]
  103. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:115:
  104. Singleton variables: [M,N,Q,R]
  105. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:116:
  106. Singleton variables: [M,N,Final_var_list]
  107. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:117:
  108. Singleton variables: [N,M,Final_var_list]
  109. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:119:
  110. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  111. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:120:
  112. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  113. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:121:
  114. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  115. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:122:
  116. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  117. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:123:
  118. Singleton variables: [M,N,New_matrix,Number_of_var,Current_var_list]
  119. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:124:
  120. Singleton variables: [M,N,New_matrix,Number_of_var,Current_var_list]
  121. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:125:
  122. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  123. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:126:
  124. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  125. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:128:
  126. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  127. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:129:
  128. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  129. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:130:
  130. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  131. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:131:
  132. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  133. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:132:
  134. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  135. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:133:
  136. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  137. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:134:
  138. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  139. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:135:
  140. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  141. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:136:
  142. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  143. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:139:
  144. Singleton variables: [M,Power,P]
  145. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:141:
  146. Singleton variables: [M,N,P,Q]
  147. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:142:
  148. Singleton variables: [M,N,P,Q]
  149. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:143:
  150. Singleton variables: [M,N,P,Q]
  151. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:144:
  152. Singleton variables: [M,N,P,Q]
  153. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:145:
  154. Singleton variables: [M1,N,P,Q]
  155. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:146:
  156. Singleton variables: [M,N,P,Q]
  157. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:147:
  158. Singleton variables: [M,N,P,Q]
  159. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:148:
  160. Singleton variables: [M,N,P,Q]
  161. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:149:
  162. Singleton variables: [M,N,P,Q]
  163. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:150:
  164. Singleton variables: [M,N,P,Q]
  165. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:151:
  166. Singleton variables: [M,N,P,Q]
  167. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:152:
  168. Singleton variables: [M,N,P,Q]
  169. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:153:
  170. Singleton variables: [M,N,P,Q]
  171. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:154:
  172. Singleton variables: [M,N,P,Q]
  173. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:155:
  174. Singleton variables: [M,N,P,Q]
  175. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:156:
  176. Singleton variables: [M,N,P,Q]
  177. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:157:
  178. Singleton variables: [M,N,P,Q]
  179. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:159:
  180. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  181. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:160:
  182. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  183. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:161:
  184. Singleton variables: [M1,N1,Number_of_var,Current_var_list]
  185. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:162:
  186. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  187. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:163:
  188. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  189. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:164:
  190. Singleton variables: [M1,N1,Number_of_var,Current_var_list]
  191. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:165:
  192. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  193. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:168:
  194. Singleton variables: [M,N,P,Q]
  195. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:169:
  196. Singleton variables: [M,N,P,Q]
  197. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:170:
  198. Singleton variables: [M,N,P,Q]
  199. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:171:
  200. Singleton variables: [M,N,P,Q]
  201. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:172:
  202. Singleton variables: [M,N,P,Q]
  203. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:173:
  204. Singleton variables: [M,N,P,Q]
  205. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:174:
  206. Singleton variables: [M,N,P,Q]
  207. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:175:
  208. Singleton variables: [M,N,P,Q]
  209. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:177:
  210. Singleton variables: [M,N,P,Scalar_num]
  211. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:178:
  212. Singleton variables: [M,N,P,Scalar_num]
  213. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:179:
  214. Singleton variables: [M,N,P,Scalar_num]
  215. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:180:
  216. Singleton variables: [M,Scalar_num,P,Q]
  217. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:181:
  218. Singleton variables: [M,Scalar_num,P,Q]
  219. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:182:
  220. Singleton variables: [M,Scalar_num,P,Q]
  221. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:184:
  222. Singleton variables: [M,Scalar_num,R]
  223. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:185:
  224. Singleton variables: [M,Scalar_num,R]
  225. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:186:
  226. Singleton variables: [M1,R,Number_of_var,K,Current_var_list]
  227. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:187:
  228. Singleton variables: [M1,R,Number_of_var,K,Current_var_list]
  229. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:188:
  230. Singleton variables: [M,M1,Initial_change,Final_change,Number_of_var,K,Current_var_list]
  231. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:189:
  232. Singleton variables: [M,M1,Initial_change,Final_change,Number_of_var,K,Current_var_list]
  233. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:190:
  234. Singleton variables: [M1,N1,Number_of_var,K,Current_var_list]
  235. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:192:
  236. Singleton variables: [M,P,N]
  237. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:193:
  238. Singleton variables: [M,P,N]
  239. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:194:
  240. Singleton variables: [N,P,M,T]
  241. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:195:
  242. Singleton variables: [M,P,N]
  243. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:196:
  244. Singleton variables: [M,P,N]
  245. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:197:
  246. Singleton variables: [M,P,N,T]
  247. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:199:
  248. Singleton variables: [Option,A,B,K,Q,P,I,M]
  249. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:201:
  250. Singleton variables: [X]
  251. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:203:
  252. Singleton variables: [X,Solution_sub_parts_id_100,Solution_showing_list,Solution_sub_parts_id_100_str]
  253. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:236:
  254. Singleton variables: [X]
  255. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:238:
  256. Singleton variables: [Question_text]
  257. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:252:
  258. Singleton variables: [X]
  259. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:253:
  260. Singleton variables: [X]
  261. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:254:
  262. Singleton variables: [X]
  263. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:255:
  264. Singleton variables: [X]
  265. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:257:
  266. Singleton variables: [M1,N,Current_var_list]
  267. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:261:
  268. Singleton variables: [M1,N,Current_var_list]
  269. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:265:
  270. Singleton variables: [M1,Current_var_list,Actual_values_list]
  271. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:286:
  272. Singleton variables: [M]
  273. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:299:
  274. Singleton variables: [M]
  275. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:311:
  276. Singleton variables: [M]
  277. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:323:
  278. Singleton variables: [M]
  279. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:335:
  280. Singleton variables: [M]
  281. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:347:
  282. Singleton variables: [M]
  283. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:536:
  284. Singleton variables: [Final_changed_list1]
  285. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:558:
  286. Singleton variables: [Final_changed_list1]
  287. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:594:
  288. Singleton variables: [Final_changed_list1]
  289. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:616:
  290. Singleton variables: [Final_changed_list1]
  291. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:655:
  292. Singleton variables: [Number_of_var,Final_changed_list2]
  293. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:688:
  294. Singleton variables: [Number_of_var,Final_changed_list2]
  295. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:721:
  296. Singleton variables: [Number_of_var,Final_changed_list1]
  297. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:913:
  298. Singleton variables: [Total_var]
  299. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:913:
  300. Singleton variable in branch: P
  301. Singleton variable in branch: Total_var
  302. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:941:
  303. Singleton variables: [Total_var]
  304. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:941:
  305. Singleton variable in branch: P
  306. Singleton variable in branch: Total_var
  307. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:968:
  308. Singleton variables: [New_matrix,Final_changed_list1,Final_changed_list2]
  309. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:968:
  310. Singleton variable in branch: Final_changed_list1
  311. Singleton variable in branch: Final_changed_list2
  312. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1042:
  313. Singleton variables: [Total_var]
  314. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1042:
  315. Singleton variable in branch: Total_var
  316. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1071:
  317. Singleton variables: [Final_changed_list2]
  318. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1071:
  319. Singleton variable in branch: Final_changed_list2
  320. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1103:
  321. Singleton variables: [Final_change,Total_var,Final_chang]
  322. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1103:
  323. Singleton variable in branch: Total_var
  324. Singleton variable in branch: Final_chang
  325. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1129:
  326. Singleton variables: [Total_var]
  327. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1129:
  328. Singleton variable in branch: Total_var
  329. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1155:
  330. Singleton variables: [Final_changed_list2]
  331. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1155:
  332. Singleton variable in branch: Final_changed_list2
  333. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1355:
  334. Singleton variables: [Final_changed_list1]
  335. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1355:
  336. Singleton variable in branch: P
  337. Singleton variable in branch: Final_changed_list1
  338. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1392:
  339. Singleton variables: [Final_changed_list2]
  340. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1392:
  341. Singleton variable in branch: P
  342. Singleton variable in branch: Final_changed_list2
  343. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1414:
  344. Singleton variables: [New_matrix,Final_changed_list1,Final_changed_list2]
  345. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1414:
  346. Singleton variable in branch: Final_changed_list1
  347. Singleton variable in branch: Final_changed_list2
  348. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1461:
  349. Singleton variables: [Total_var]
  350. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1461:
  351. Singleton variable in branch: Total_var
  352. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1536:
  353. Singleton variables: [Final_changed_list2]
  354. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1536:
  355. Singleton variable in branch: Final_changed_list2
  356. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1570:
  357. Singleton variables: [Total_var]
  358. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1570:
  359. Singleton variable in branch: Total_var
  360. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1597:
  361. Singleton variables: [Total_var]
  362. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1597:
  363. Singleton variable in branch: Total_var
  364. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1624:
  365. Singleton variables: [Final_changed_list2]
  366. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1624:
  367. Singleton variable in branch: Final_changed_list2
  368. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1711:
  369. Singleton variables: [Rows1,Cols2]
  370. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1731:
  371. Singleton variables: [Final_changed_list1]
  372. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1731:
  373. Singleton variable in branch: P
  374. Singleton variable in branch: Final_changed_list1
  375. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1773:
  376. Singleton variables: [Final_changed_list2]
  377. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1773:
  378. Singleton variable in branch: P
  379. Singleton variable in branch: Final_changed_list2
  380. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1809:
  381. Singleton variables: [Total_var]
  382. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1809:
  383. Singleton variable in branch: Total_var
  384. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1895:
  385. Singleton variables: [Rows,Cols]
  386. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1904:
  387. Singleton variables: [New_matrix,Total_var,Final_changed_list2]
  388. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1904:
  389. Singleton variable in branch: Total_var
  390. Singleton variable in branch: Final_changed_list2
  391. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1967:
  392. Singleton variables: [Total_var]
  393. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1967:
  394. Singleton variable in branch: Total_var
  395. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1996:
  396. Singleton variables: [Total_var]
  397. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:1996:
  398. Singleton variable in branch: Total_var
  399. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2235:
  400. Singleton variables: [List2,Final_changed_list1]
  401. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2235:
  402. Singleton variable in branch: List2
  403. Singleton variable in branch: Final_changed_list1
  404. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2271:
  405. Singleton variables: [M1,Number_of_var,Current_var_list]
  406. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2321:
  407. Singleton variables: [Total_var]
  408. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2321:
  409. Singleton variable in branch: Total_var
  410. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2354:
  411. Singleton variables: [Number_of_var,N,Final_changed_list2]
  412. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2354:
  413. Singleton variable in branch: N
  414. Singleton variable in branch: Final_changed_list2
  415. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2411:
  416. Singleton variables: [M,M1,Already_done_list,Number_of_var,Current_var_list,Final_change_list1,Number_of_var1,Current_var_list1]
  417. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2420:
  418. Singleton variables: [R,Initial_change,Final_change1,Number_of_var1,Current_var_list1]
  419. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2433:
  420. Singleton variables: [M,M1,Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  421. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2444:
  422. Singleton variables: [M,M1,Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  423. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2464:
  424. Singleton variables: [Initial_change,Number_of_var,K,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  425. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2476:
  426. Singleton variables: [Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  427. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2487:
  428. Singleton variables: [Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  429. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2499:
  430. Singleton variables: [M,M1,Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  431. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2519:
  432. Singleton variables: [M,M1,Initial_change,Number_of_var,K,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  433. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2530:
  434. Singleton variables: [Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  435. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2551:
  436. Singleton variables: [Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  437. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2573:
  438. Singleton variables: [M,M1,Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  439. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2593:
  440. Singleton variables: [M,M1,Initial_change,Number_of_var,K,Current_var_list,Final_change1,Number_of_var1,Current_var_list1]
  441. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2613:
  442. Singleton variables: [Q,Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,K,Current_var_list1]
  443. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2625:
  444. Singleton variables: [Q,Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,K,Current_var_list1]
  445. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2636:
  446. Singleton variables: [M,Q,M1,Initial_change,Number_of_var,Current_var_list,Final_change1,Number_of_var1,K,Current_var_list1]
  447. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2647:
  448. Singleton variables: [M,Q,M1,Initial_change,Number_of_var,K,Current_var_list,Final_change1,Number_of_var1,K1,Current_var_list1]
  449. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2803:
  450. Singleton variables: [Number_of_var]
  451. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2815:
  452. Singleton variables: [Row_num,Col_num]
  453. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2816:
  454. Singleton variables: [Temp_Col]
  455. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2828:
  456. Singleton variables: [Temp_row]
  457. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2837:
  458. Singleton variables: [Eq]
  459. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2859:
  460. Singleton variables: [A1,B1,C1]
  461. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2914:
  462. Singleton variables: [Rows,Cols,Elements,Row,Col,List,Is_zero_matrices]
  463. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:2952:
  464. Singleton variables: [Rows,New_col]
  465. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3005:
  466. Singleton variables: [P]
  467. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3113:
  468. Singleton variables: [New_list1,Final_changed_list1]
  469. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3113:
  470. Singleton variable in branch: New_list1
  471. Singleton variable in branch: Final_changed_list1
  472. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3187:
  473. Singleton variable in branch: Row_num1
  474. Singleton variable in branch: Col_num1
  475. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3201:
  476. Singleton variables: [New_list1,Final_changed_list1]
  477. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3201:
  478. Singleton variable in branch: New_list1
  479. Singleton variable in branch: Final_changed_list1
  480. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3274:
  481. Singleton variables: [M,N,P]
  482. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3275:
  483. Singleton variables: [M,N,P]
  484. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3276:
  485. Singleton variables: [M,N,P]
  486. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3277:
  487. Singleton variables: [M,N,P]
  488. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3278:
  489. Singleton variables: [M,N,P,Q]
  490. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3279:
  491. Singleton variables: [M,N,P]
  492. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3280:
  493. Singleton variables: [M,N,P]
  494. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3281:
  495. Singleton variables: [M,N,P,Q]
  496. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3282:
  497. Singleton variables: [M,N,R,Initial_change,Final_change,Final_var_list]
  498. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3283:
  499. Singleton variables: [N,M,R,Initial_change,Final_change,Final_var_list]
  500. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3284:
  501. Singleton variables: [M,N,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  502. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3285:
  503. Singleton variables: [M,N,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  504. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3286:
  505. Singleton variables: [M,N,Final_var_list]
  506. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3287:
  507. Singleton variables: [N,M,Final_var_list]
  508. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3288:
  509. Singleton variables: [M,N,Q,R]
  510. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3289:
  511. Singleton variables: [M,N,Final_var_list]
  512. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3290:
  513. Singleton variables: [M,N,Final_var_list]
  514. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3292:
  515. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  516. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3293:
  517. Singleton variables: [M,N,New_matrix,Number_of_var,Current_var_list]
  518. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3294:
  519. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  520. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3295:
  521. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  522. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3296:
  523. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  524. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3297:
  525. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  526. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3298:
  527. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  528. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3299:
  529. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  530. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3301:
  531. Singleton variables: [M1,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  532. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3302:
  533. Singleton variables: [M1,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  534. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3303:
  535. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  536. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3304:
  537. Singleton variables: [M,N1,New_matrix,Number_of_var_lhs,Number_of_var_rhs,Current_var_list]
  538. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3305:
  539. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  540. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3306:
  541. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  542. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3307:
  543. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  544. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3308:
  545. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  546. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3309:
  547. Singleton variables: [M,N,New_matrix,Initial_change,Final_change,Number_of_var,Current_var_list]
  548. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3311:
  549. Singleton variables: [M,Power,P]
  550. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3313:
  551. Singleton variables: [M,N,P,Q]
  552. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3314:
  553. Singleton variables: [M,N,P,Q]
  554. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3315:
  555. Singleton variables: [M,N,P,Q]
  556. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3316:
  557. Singleton variables: [M,N,P,Q]
  558. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3317:
  559. Singleton variables: [M1,N,P,Q]
  560. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3318:
  561. Singleton variables: [M,N,P,Q]
  562. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3319:
  563. Singleton variables: [M,N,P,Q]
  564. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3320:
  565. Singleton variables: [M,N,P,Q]
  566. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3321:
  567. Singleton variables: [M,N,P,Q]
  568. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3322:
  569. Singleton variables: [M,N,P,Q]
  570. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3323:
  571. Singleton variables: [M,N,P,Q]
  572. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3324:
  573. Singleton variables: [M,N,P,Q]
  574. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3325:
  575. Singleton variables: [M,N,P,Q]
  576. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3326:
  577. Singleton variables: [M,N,P,Q]
  578. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3327:
  579. Singleton variables: [M,N,P,Q]
  580. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3328:
  581. Singleton variables: [M,N,P,Q]
  582. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3329:
  583. Singleton variables: [M,N,P,Q]
  584. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3331:
  585. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  586. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3332:
  587. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  588. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3333:
  589. Singleton variables: [M1,N1,Number_of_var,Current_var_list]
  590. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3334:
  591. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  592. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3335:
  593. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  594. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3336:
  595. Singleton variables: [M1,N1,Number_of_var,Current_var_list]
  596. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3338:
  597. Singleton variables: [M,N,P,Q]
  598. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3339:
  599. Singleton variables: [M,N,P,Q]
  600. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3340:
  601. Singleton variables: [M,N,P,Q]
  602. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3341:
  603. Singleton variables: [M,N,P,Q]
  604. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3342:
  605. Singleton variables: [M,N,P,Q]
  606. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3343:
  607. Singleton variables: [M,N,P,Q]
  608. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3344:
  609. Singleton variables: [M,N,P,Q]
  610. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3345:
  611. Singleton variables: [M,N,P,Q]
  612. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3347:
  613. Singleton variables: [M,N,P,Scalar_num]
  614. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3348:
  615. Singleton variables: [M,N,P,Scalar_num]
  616. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3349:
  617. Singleton variables: [M,N,P,Scalar_num]
  618. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3350:
  619. Singleton variables: [M,Scalar_num,P,Q]
  620. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3351:
  621. Singleton variables: [M,Scalar_num,P,Q]
  622. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3352:
  623. Singleton variables: [M,Scalar_num,P,Q]
  624. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3354:
  625. Singleton variables: [M,Scalar_num,R]
  626. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3355:
  627. Singleton variables: [M,Scalar_num,R]
  628. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3356:
  629. Singleton variables: [M1,R,Number_of_var,K,Current_var_list]
  630. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3357:
  631. Singleton variables: [M1,R,Number_of_var,K,Current_var_list]
  632. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3358:
  633. Singleton variables: [M,M1,Initial_change,Final_change,Number_of_var,K,Current_var_list]
  634. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3359:
  635. Singleton variables: [M,M1,Initial_change,Final_change,Number_of_var,K,Current_var_list]
  636. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3360:
  637. Singleton variables: [M1,N1,Number_of_var,K,Current_var_list]
  638. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3362:
  639. Singleton variables: [M,P,N]
  640. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3363:
  641. Singleton variables: [M,P,N]
  642. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3364:
  643. Singleton variables: [N,P,M,T]
  644. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3365:
  645. Singleton variables: [M,P,N]
  646. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3366:
  647. Singleton variables: [M,P,N]
  648. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3367:
  649. Singleton variables: [M,P,N,T]
  650. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3368:
  651. Singleton variables: [M1,N,Number_of_var,Current_var_list]
  652. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/matrix/gf.pl:3370:
  653. Singleton variables: [Option,A,B,K,Q,P,I,M]
  654.  
  655. Inside get_suitable_random_number function, Temp is 11
  656.  
  657. 3
  658.  
  659. Number_of_var : 3
  660.  
  661. inside make_var_elements_in_matrices_no_algebra function
  662. 1
  663.  
  664. [[45,39,w,6],[40,24,11,10],[8,46,46,21]]
  665.  
  666. [[1,3]]
  667.  
  668. inside make_var_elements_in_matrices_no_algebra function
  669. 0
  670.  
  671. Coming out of number of var, My Final_var_list is
  672.  
  673. [w]
  674.  
  675. came out of make_var_elements_in_matrices_no_algebra function
  676.  
  677. calling second subtraction function
  678.  
  679. Inside get_suitable_random_number function, Temp is 10
  680.  
  681. 1
  682.  
  683. 1
  684.  
  685. inside make_var_elements_in_matrices_no_algebra function
  686. 1
  687.  
  688. [[72,62,108,64],[126,87,84,61],[58,105,52,s]]
  689.  
  690. [[1,3],[3,4]]
  691.  
  692. inside make_var_elements_in_matrices_no_algebra function
  693. 0
  694.  
  695. Coming out of number of var, My Final_var_list is
  696.  
  697. [s]
  698. Entered get_object_list(Objectlist)
  699. Objectlist = _43674
  700. Inside generate_object_list
  701. objectList = objectList
  702. Object_list = [name(i,I),matrices_elements(i,[[45,39,32,6],[40,24,11,10],[8,46,46,21]]),matrices_num_rows(i,3),matrices_num_cols(i,4),matrices(i),name(x,X),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]]),matrices_num_rows(x,3),matrices_num_cols(x,4),matrices(x),name(w,W),name(d,D),matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_num_rows(_44210,3),matrices_num_cols(_44198,4),matrices(d),name(c,C),matrices_num_rows(_44158,3),matrices_num_cols(_44146,4),matrices(c),matrices_subtraction(d,x,c),name(g,G),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_num_rows(g,3),matrices_num_cols(g,4),matrices(g),name(s,S),name(r,R),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]]),matrices_num_rows(_43818,3),matrices_num_cols(_43806,4),matrices(r),matrices_subtraction(c,g,r),var([w,s])]
  703.  
  704. Before applying GFS, check all_config.txt and basic_config.txtcopy_generateGFS.pl
  705. Complete_key1 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl
  706. copy_generateGFS.pl
  707. copy_generateGFS
  708. Complete_key3 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS
  709. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:11:
  710. import/1: matrix:size/3 is not exported (still imported into gfs)
  711. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:11:
  712. import/1: matrix:matrix_transpose/2 is not exported (still imported into gfs)
  713. ERROR: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:30:
  714. file `matrix' does not exist (is a directory)
  715. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:30:
  716. Goal (directive) failed: gfs:use_module(matrix,[matrix_multiply/3,matrix_sum/3,matrix_diff/3,matrix_mult_scal/3,matrix_div_scal/3,dot_product/3,cholesky_decomposition/2,matrix_inversion/2,matrix_inv_triang/2,matrix_invert/2,determinant/2,list0/2,size/3,get_num_of_rows_in_matrices/2,get_num_of_cols_in_matrices/2,matrix_transpose/2])
  717. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:334:
  718. Singleton variables: [H2,T2]
  719. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:345:
  720. Singleton variables: [Col_list,Rows_list]
  721. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:353:
  722. Singleton variable in branch: Temp
  723. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:366:
  724. Singleton variables: [Rows_list,Value]
  725. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:378:
  726. Singleton variables: [R1,C2]
  727. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:403:
  728. Singleton variables: [Y]
  729. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:407:
  730. Singleton variables: [C1]
  731. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:410:
  732. Singleton variables: [R1]
  733. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:651:
  734. Singleton variables: [K,Q,I,List]
  735. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:731:
  736. Singleton variables: [Power,P]
  737. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:762:
  738. Clauses of gfs:get_ques_represent_config_connection/2 are not together in the source-file
  739. Earlier definition at /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:651
  740. Current predicate: gfs:convert_list_to_readable_str/3
  741. Use :- discontiguous gfs:get_ques_represent_config_connection/2. to suppress this message
  742. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:861:
  743. Singleton variables: [Rows,Cols]
  744. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:873:
  745. Clauses of gfs:get_ques_represent_config_connection/2 are not together in the source-file
  746. Earlier definition at /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:651
  747. Current predicate: gfs:convert_term_to_upper_str/2
  748. Use :- discontiguous gfs:get_ques_represent_config_connection/2. to suppress this message
  749. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:957:
  750. Singleton variables: [Y,M]
  751. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:1318:
  752. Singleton variables: [B]
  753. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:1328:
  754. Singleton variables: [Rows,Cols]
  755. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:1501:
  756. Singleton variables: [H1,H]
  757. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:1914:
  758. Singleton variables: [M_str,A_str,B_str]
  759. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:1944:
  760. Singleton variables: [Option]
  761. Warning: /Users/shubhamgoyal/AI-Tutor/prolog_scripts/o_level_maths_topics/main_framework/82f2795f-1189-4d29-bf04-c7e69fc40359copy_generateGFS.pl:1975:
  762. Singleton variables: [I,X,W,D,C,G,S,R]
  763. 0
  764. [_751442]
  765.  
  766. [184.0]
  767.  
  768. [_751850]
  769.  
  770. [3.0]
  771. :- dynamic var_value/2.
  772.  
  773. var_value(w-48-28, 108).
  774. var_value(s, 3).
  775.  
  776. :- dynamic var_value/3.
  777.  
  778. var_value(119, w-48-28, [184.0]).
  779. var_value(115, s, [3.0]).
  780.  
  781. :- dynamic var_value/2.
  782.  
  783. var_value(s, 3).
  784.  
  785. :- dynamic var_value/3.
  786.  
  787. var_value(115, s, [3.0]).
  788.  
  789. :- dynamic var_value/2.
  790.  
  791.  
  792. :- dynamic var_value/3.
  793.  
  794.  
  795. 11
  796. :- dynamic solution/2.
  797.  
  798. solution(var_solvable_matrices_subtraction(c, g, r, v), var_solvable_matrices_subtraction).
  799. solution(var_matrices_subtraction(d, x, c), var_matrices_subtraction).
  800.  
  801.  
  802. After applying GFS, check asserts:- dynamic solution/2.
  803.  
  804. solution(var_matrices_subtraction(d, x, c), var_matrices_subtraction).
  805. solution(var_solvable_matrices_subtraction(c, g, r, v), var_solvable_matrices_subtraction).
  806.  
  807. Yuhoo! I found a solution,
  808. :- dynamic qid/3.
  809.  
  810. qid(var_solvable_matrices_subtraction(c, g, r, v), var_solvable_matrices_subtraction, [[["find the value of the variables w and s.", "If C - G = R", "", qt1], 1535451798]]).
  811. qid(var_matrices_subtraction(d, x, c), var_matrices_subtraction, [[["find C", "if C = D - X", "", qt1], 1535451805]]).
  812.  
  813.  
  814. reading theorem used
  815. var_matrices_subtraction
  816. var_matrices_subtraction(d,x,c)
  817. P = var_matrices_subtraction(var_matrices_subtraction(d,x,c),_759302)
  818. making assert
  819. :- dynamic var_matrices_subtraction/2.
  820.  
  821. var_matrices_subtraction(var_matrices_subtraction(d, x, c), [matrices_elements(d, [[45, 39, w, 6], [40, 24, 11, 10], [8, 46, 46, 21]]), matrices_elements(x, [[17, 20, 48, 49], [46, 49, 43, 40], [2, 42, 3, 12]])]).
  822.  
  823.  
  824. Assert result
  825. [matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]
  826.  
  827. reversing the solution list
  828.  
  829. Before_error
  830. [[1535451805,[matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]:implies:var_matrices_subtraction(d,x,c):using:var_matrices_subtraction:Eqn0,1]]
  831.  
  832. writing the variable Name
  833.  
  834. [matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]
  835.  
  836. writing the variable Value
  837.  
  838. var_matrices_subtraction(d,x,c):using:var_matrices_subtraction:Eqn0
  839. copy_cqt.pl
  840. Complete_key1 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_cqt.pl
  841. copy_cqt.pl
  842. copy_cqt.pl
  843. Complete_key3 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_cqt.pl
  844.  
  845. :- dynamic result/1.
  846.  
  847. result(matrices_subtraction_two_matrices_var_both_side).
  848. result(matrices_subtraction_two_matrices_var_rhs).
  849. result(matrices_subtraction_two_matrices_var_lhs).
  850.  
  851.  
  852. ["matrices_subtraction_two_matrices_var_both_side","matrices_subtraction_two_matrices_var_lhs","matrices_subtraction_two_matrices_var_rhs"]
  853. :- dynamic theorems_used/4.
  854.  
  855.  
  856.  
  857. reading theorem used
  858. var_matrices_subtraction
  859. var_matrices_subtraction(d,x,c)
  860. P = var_matrices_subtraction(var_matrices_subtraction(d,x,c),_1694540)
  861. making assert
  862.  
  863. Assert result
  864. [matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]
  865. :- dynamic theorems_used/4.
  866.  
  867.  
  868.  
  869. []
  870.  
  871. Total num of path not found
  872.  
  873. 1
  874. :- dynamic theorems_used/4.
  875.  
  876.  
  877. Yuhoo! I found a solution,
  878. :- dynamic qid/3.
  879.  
  880. qid(var_solvable_matrices_subtraction(c, g, r, v), var_solvable_matrices_subtraction, [[["find the value of the variables w and s.", "If C - G = R", "", qt1], 1535451798]]).
  881. qid(var_matrices_subtraction(d, x, c), var_matrices_subtraction, [[["find C", "if C = D - X", "", qt1], 1535451805]]).
  882.  
  883.  
  884. reading theorem used
  885. var_solvable_matrices_subtraction
  886. var_solvable_matrices_subtraction(c,g,r,v)
  887. P = var_solvable_matrices_subtraction(var_solvable_matrices_subtraction(c,g,r,v),_1696050)
  888. making assert
  889. :- dynamic var_solvable_matrices_subtraction/2.
  890.  
  891. var_solvable_matrices_subtraction(var_solvable_matrices_subtraction(c, g, r, v), [matrices_elements(c, [[28, 19, w-48, -43], [-6, -25, -32, -30], [6, 4, 43, 9]]), matrices_elements(g, [[10, 3, 28, 9], [40, 14, 30, 11], [48, 17, 3, 6]]), matrices_elements(r, [[72, 62, 108, 64], [126, 87, 84, 61], [58, 105, 52, s]])]).
  892.  
  893.  
  894. Assert result
  895. [matrices_elements(c,[[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]])]
  896.  
  897. reversing the solution list
  898.  
  899. Before_error
  900. [[1535451798,[matrices_elements(c,[[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]])]:implies:var_solvable_matrices_subtraction(c,g,r,v):using:var_solvable_matrices_subtraction:Eqn0,1]]
  901.  
  902. writing the variable Name
  903.  
  904. [matrices_elements(c,[[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]])]
  905.  
  906. writing the variable Value
  907.  
  908. var_solvable_matrices_subtraction(c,g,r,v):using:var_solvable_matrices_subtraction:Eqn0
  909. copy_cqt.pl
  910. Complete_key1 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_cqt.pl
  911. copy_cqt.pl
  912. copy_cqt.pl
  913. Complete_key3 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_cqt.pl
  914.  
  915. :- dynamic result/1.
  916.  
  917. result(matrices_subtraction_two_matrices_solvable_var_on_rhs).
  918. result(matrices_subtraction_two_matrices_solvable_var_on_lhs).
  919. result(matrices_subtraction_two_matrices_solvable_var_on_both_side).
  920. result(matrices_subtraction_two_matrices_solvable_var_with_algebra_on_rhs).
  921. result(matrices_subtraction_two_matrices_solvable_var_with_algebra_on_lhs).
  922. result(matrices_subtraction_two_matrices_solvable_var_with_algebra_on_both_side).
  923.  
  924.  
  925. ["matrices_subtraction_two_matrices_solvable_var_on_both_side","matrices_subtraction_two_matrices_solvable_var_on_lhs","matrices_subtraction_two_matrices_solvable_var_on_rhs","matrices_subtraction_two_matrices_solvable_var_with_algebra_on_both_side","matrices_subtraction_two_matrices_solvable_var_with_algebra_on_lhs","matrices_subtraction_two_matrices_solvable_var_with_algebra_on_rhs"]
  926. :- dynamic theorems_used/4.
  927.  
  928.  
  929.  
  930. reading theorem used
  931. var_solvable_matrices_subtraction
  932. var_solvable_matrices_subtraction(c,g,r,v)
  933. P = var_solvable_matrices_subtraction(var_solvable_matrices_subtraction(c,g,r,v),_2632942)
  934. making assert
  935.  
  936. Assert result
  937. [matrices_elements(c,[[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]])]
  938. Yuhoo! I found a solution for print_chain_for_each_element from object deduction,
  939. Yuhoo! I found a temp solution for print_chain_for_each_element in temp solution,
  940.  
  941. reading theorem used
  942. var_matrices_subtraction
  943. var_matrices_subtraction(d,x,c)
  944. P = var_matrices_subtraction(var_matrices_subtraction(d,x,c),_2634176)
  945. making assert
  946.  
  947. Assert result
  948. [matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]
  949.  
  950. Before moving on to new path, checking question, hint and solution
  951.  
  952. :- dynamic question_list/1.
  953.  
  954. question_list([[1535451798, "If C - G = R, find the value of the variables w and s.", 1], [1535451805, "if C = D - X, find C", 1]]).
  955.  
  956.  
  957.  
  958. :- dynamic hint_list/1.
  959.  
  960. hint_list([[1535451798, ["Subtract corresponding elements in matrices C and G ; and equate the result with matrix R"], 1], [1535451805, ["Subtract corresponding elements in matrices D and X"], 1]]).
  961.  
  962.  
  963.  
  964. :- dynamic solution_list/1.
  965.  
  966. solution_list([[_, "[[28-10,19-3,w-48-28,-43-9],[-6-40,-25-14,-32-30,-30-11],[6-48,4-17,43-3,9-6]][\"[[18,16,w-48-28,-52],[-46,-39,-62,-41],[-42,-13,40,3]] = [[72,62,108,64],[126,87,84,61],[58,105,52,s]]\",[\"w-48-28 = 108 ,w = 184\"],[\"s = 3 ,s = 3\"]]", 1], [1535451798, "[matrices_elements(c,[[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]])]:implies:var_solvable_matrices_subtraction(c,g,r,v):using:var_solvable_matrices_subtraction:Eqn0", 1], [_, "= [[45-17,39-20,w-48,6-49],[40-46,24-49,11-43,10-40],[8-2,46-42,46-3,21-12]]\n= [[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]", 1], [1535451805, "[matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]:implies:var_matrices_subtraction(d,x,c):using:var_matrices_subtraction:Eqn0", 1]]).
  967.  
  968.  
  969.  
  970. :- dynamic theorems_used/4.
  971.  
  972. theorems_used(var_matrices_subtraction, 1535451798, 1535451805, 1).
  973.  
  974.  
  975. :- dynamic theorems_used/4.
  976.  
  977. theorems_used(var_matrices_subtraction, 1535451798, 1535451805, 1).
  978.  
  979.  
  980. [[var_matrices_subtraction,1535451798,1535451805,1]]
  981.  
  982. 1
  983.  
  984. [[var_matrices_subtraction,1535451805]]
  985.  
  986. Before writing params for multiple steps
  987. :- dynamic question_list/1.
  988.  
  989. question_list([[1535451798, "If C - G = R, find the value of the variables w and s.", 1], [1535451805, "if C = D - X, find C", 1]]).
  990.  
  991. :- dynamic hint_list/1.
  992.  
  993. hint_list([[1535451798, ["Subtract corresponding elements in matrices C and G ; and equate the result with matrix R"], 1], [1535451805, ["Subtract corresponding elements in matrices D and X"], 1]]).
  994.  
  995. :- dynamic solution_list/1.
  996.  
  997. solution_list([[_, "[[28-10,19-3,w-48-28,-43-9],[-6-40,-25-14,-32-30,-30-11],[6-48,4-17,43-3,9-6]][\"[[18,16,w-48-28,-52],[-46,-39,-62,-41],[-42,-13,40,3]] = [[72,62,108,64],[126,87,84,61],[58,105,52,s]]\",[\"w-48-28 = 108 ,w = 184\"],[\"s = 3 ,s = 3\"]]", 1], [1535451798, "[matrices_elements(c,[[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]])]:implies:var_solvable_matrices_subtraction(c,g,r,v):using:var_solvable_matrices_subtraction:Eqn0", 1], [_, "= [[45-17,39-20,w-48,6-49],[40-46,24-49,11-43,10-40],[8-2,46-42,46-3,21-12]]\n= [[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]", 1], [1535451805, "[matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]:implies:var_matrices_subtraction(d,x,c):using:var_matrices_subtraction:Eqn0", 1]]).
  998.  
  999.  
  1000. reversing the question list
  1001.  
  1002. reversing the hint list
  1003.  
  1004. reversing the solution list
  1005.  
  1006. writing the variable Name
  1007.  
  1008. [matrices_elements(d,[[45,39,w,6],[40,24,11,10],[8,46,46,21]]),matrices_elements(x,[[17,20,48,49],[46,49,43,40],[2,42,3,12]])]
  1009.  
  1010. writing the variable Value
  1011.  
  1012. var_matrices_subtraction(d,x,c):using:var_matrices_subtraction:Eqn0
  1013.  
  1014. writing the variable Name
  1015.  
  1016. [matrices_elements(c,[[28,19,w-48,-43],[-6,-25,-32,-30],[6,4,43,9]]),matrices_elements(g,[[10,3,28,9],[40,14,30,11],[48,17,3,6]]),matrices_elements(r,[[72,62,108,64],[126,87,84,61],[58,105,52,s]])]
  1017.  
  1018. writing the variable Value
  1019.  
  1020. var_solvable_matrices_subtraction(c,g,r,v):using:var_solvable_matrices_subtraction:Eqn0
  1021. copy_cqt.pl
  1022. Complete_key1 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_cqt.pl
  1023. copy_cqt.pl
  1024. copy_cqt.pl
  1025. Complete_key3 = 82f2795f-1189-4d29-bf04-c7e69fc40359copy_cqt.pl
  1026.  
  1027. :- dynamic result/1.
  1028.  
  1029. result(matrices_subtraction_two_matrices_solvable_var_on_rhs).
  1030. result(matrices_subtraction_two_matrices_solvable_var_on_lhs).
  1031. result(matrices_subtraction_two_matrices_solvable_var_on_both_side).
  1032. result(matrices_subtraction_two_matrices_solvable_var_with_algebra_on_rhs).
  1033. result(matrices_subtraction_two_matrices_solvable_var_with_algebra_on_lhs).
  1034. result(matrices_subtraction_two_matrices_solvable_var_with_algebra_on_both_side).
  1035. result(matrices_subtraction_two_matrices_var_both_side).
  1036. result(matrices_subtraction_two_matrices_var_rhs).
  1037. result(matrices_subtraction_two_matrices_var_lhs).
  1038. result(matrices_subtraction_subtraction_solvable_var1).
  1039.  
  1040.  
  1041. ["matrices_subtraction_subtraction_solvable_var1","matrices_subtraction_two_matrices_solvable_var_on_both_side","matrices_subtraction_two_matrices_solvable_var_on_lhs","matrices_subtraction_two_matrices_solvable_var_on_rhs","matrices_subtraction_two_matrices_solvable_var_with_algebra_on_both_side","matrices_subtraction_two_matrices_solvable_var_with_algebra_on_lhs","matrices_subtraction_two_matrices_solvable_var_with_algebra_on_rhs","matrices_subtraction_two_matrices_var_both_side","matrices_subtraction_two_matrices_var_lhs","matrices_subtraction_two_matrices_var_rhs"]
  1042. :- dynamic theorems_used/4.
  1043.  
  1044.  
  1045.  
  1046. After calling show_output, check asserts
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!