API tools faq
paste
Advertisement
logicmoo

Part Of Riddle

logicmoo
Apr 22nd, 2017
304
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 23.65 KB | None | 0 0
raw download clone embed print report
  1.  
  2. true.
  3.  
  4. baseKB:  ?- clif_recompile.
  5. % /mnt/gggg/logicmoo_workspace/pack/prologmud_samples/prolog/prologmud_sample_games/run_mud_server.pl:loading_file
  6. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(compile_clif))).
  7. %             =boxlog=
  8. % argIsa(livesIn, 1, tHuman).
  9. %             =boxlog=
  10. % argIsa(livesIn, 2, tHouse).
  11. %             =boxlog=
  12. % argIsa(natOrigin, 1, tHuman).
  13. %             =boxlog=
  14. % argIsa(natOrigin, 2, tCountry).
  15. %             =boxlog=
  16. % argIsa(colorOf, 1, tPhysical).
  17. %             =boxlog=
  18. % argIsa(colorOf, 2, vtColor).
  19. %             =boxlog=
  20. % argIsa(address, 1, tHouse).
  21. %             =boxlog=
  22. % argIsa(address, 2, tAddress).
  23. %             =boxlog=
  24. % argQuotedIsa(address, 2, ftInt).
  25. %             =boxlog=
  26. % argIsa(caresFor, 1, tHuman).
  27. %             =boxlog=
  28. % argIsa(caresFor, 2, tAnimal).
  29. %             =boxlog=
  30. % genls(tNonHumanAnimal, tAnimal).
  31. %             =boxlog=
  32. % genls(tHuman, tAnimal).
  33. %             =boxlog=
  34. % disjointWith(tHuman, tNonHumanAnimal).
  35. %             =boxlog=
  36. % argIsa(drinks, 1, tHuman).
  37. %             =boxlog=
  38. % argIsa(drinks, 2, tBeverage).
  39. %             =boxlog=
  40. % typeGenls(ttBeverageType, tBeverage).
  41. %             =boxlog=
  42. % ttBeverageType(tCoffee).
  43. %             =boxlog=
  44. % argIsa(smokesBrand, 1, tHuman).
  45. %             =boxlog=
  46. % argIsa(smokesBrand, 2, tBrandName).
  47. %             =boxlog=
  48. % argQuotedIsa(smokesBrand, 2, ftString).
  49. %             =boxlog=
  50. % argIsa(caresForType, 1, tHuman).
  51. %             =boxlog=
  52. % argGenl(caresForType, 2, tAnimal).
  53. %             =boxlog=
  54. % ~caresFor(M1, P1) :-
  55. %       (   caresForType(M1, T1)
  56. %       *-> ~isa(P1, T1)
  57. %       ).
  58. %             =boxlog=
  59. % ~caresForType(M1, T1) :-
  60. %       isa(P1, T1),
  61. %       ~caresFor(M1, P1).
  62. %             =boxlog=
  63. % ~isa(P1, T1) :-
  64. %       caresForType(M1, T1),
  65. %       ~caresFor(M1, P1).
  66. %             =boxlog=
  67. % caresFor(M1, P1) :-
  68. %       caresForType(M1, T1),
  69. %       isa(P1, T1).
  70. %             =boxlog=
  71. % caresForType(M1, T1) :-
  72. %       caresFor(M1, P1),
  73. %       poss(isa(P1, T1)).
  74. %             =boxlog=
  75. % isa(P1, T1) :-
  76. %       caresFor(M1, P1),
  77. %       poss(caresForType(M1, T1)).
  78. %             =boxlog=
  79. % argIsa(vtColor, 1, vtColor).
  80. %             =boxlog=
  81. % vtColor(vYellow).
  82. %             =boxlog=
  83. % vtColor(vBlue).
  84. %             =boxlog=
  85. % vtColor(vGreen).
  86. %             =boxlog=
  87. % vtColor(vRed).
  88. %             =boxlog=
  89. % vtColor(vIvory).
  90. %             =boxlog=
  91. % ~address(_6040, 1) :-
  92. %       address(skArg1of_Fn, 1),
  93. %       different(H1, _6040).
  94. %             =boxlog=
  95. % ~address(H1, 1) :-
  96. %       address(skArg1of_Fn, 1),
  97. %       different(H1, _6396).
  98. %             =boxlog=
  99. % equals(H1, _6588) :-
  100. %       address(skArg1of_Fn, 1).
  101. %             =boxlog=
  102. % address(skArg1of_Fn, 1).
  103. %             =boxlog=
  104. % ~tRiddleHouse(_55974) :-
  105. %       ( tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN1_VAR),
  106. %         different(H1, _55974),
  107. %         different(H1, _56024),
  108. %         different(H1, _56036),
  109. %         tRiddleHouse(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN1_VAR),
  110. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN1_VAR, _55974),
  111. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN1_VAR, _56024),
  112. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN1_VAR, _56036),
  113. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN1_VAR, _56090),
  114. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN2_VAR),
  115. %         different(H1, _56090),
  116. %         different(H1, _56120),
  117. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN3_VAR),
  118. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN4_VAR)
  119. %       ),
  120. %       ignore(mudEquals(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN1_VAR,
  121. %                        skIsRiddlehouseInArg1ofDifferent_Fn(_56090,
  122. %                                                            _56036,
  123. %                                                            _56024,
  124. %                                                            _55974))).
  125. %             =boxlog=
  126. % equals(H1, _90776) :-
  127. %       ( tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN5_VAR),
  128. %         different(H1, _90814),
  129. %         different(H1, _90826),
  130. %         different(H1, _90838),
  131. %         tRiddleHouse(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN2_VAR),
  132. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN2_VAR, _90814),
  133. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN2_VAR, _90826),
  134. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN2_VAR, _90838),
  135. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN2_VAR, _90892),
  136. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN6_VAR),
  137. %         different(H1, _90892),
  138. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN7_VAR),
  139. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN8_VAR),
  140. %         tRiddleHouse(skIsRiddlehouseIn_Fn)
  141. %       ),
  142. %       ignore(mudEquals(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN2_VAR,
  143. %                        skIsRiddlehouseInArg1ofDifferent_Fn(_90892,
  144. %                                                            _90838,
  145. %                                                            _90826,
  146. %                                                            _90814))).
  147. %             =boxlog=
  148. % equals(H1, skolemIDAndFormFN(_19134, tRiddleHouse(H1))) :-
  149. %       { between(1, 5, _19134)
  150. %       }.
  151. %             =boxlog=
  152. % v(~tRiddleHouse(_53066), equals(H1, _53072)) :-
  153. %       ( tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN9_VAR),
  154. %         different(H1, _53072),
  155. %         different(H1, _53066),
  156. %         different(H1, _53134),
  157. %         tRiddleHouse(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN3_VAR),
  158. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN3_VAR, _53072),
  159. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN3_VAR, _53066),
  160. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN3_VAR, _53134),
  161. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN3_VAR, _53188),
  162. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN10_VAR),
  163. %         different(H1, _53188),
  164. %         different(H1, _53218),
  165. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN11_VAR),
  166. %         tRiddleHouse(skIsRiddlehouseIn_Fn)
  167. %       ),
  168. %       ignore(mudEquals(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN3_VAR,
  169. %                        skIsRiddlehouseInArg1ofDifferent_Fn(_53188,
  170. %                                                            _53134,
  171. %                                                            _53066,
  172. %                                                            _53072))).
  173. %             =boxlog=
  174. % v(equals(H1, _96344), v(equals(H1, _96370), v(v(~tRiddleHouse(_96390), equals(H1, _96396)), equals(H1, _96402)))) :-
  175. %       ( tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN12_VAR),
  176. %         different(H1, _96396),
  177. %         different(H1, _96402),
  178. %         different(H1, _96370),
  179. %         tRiddleHouse(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN4_VAR),
  180. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN4_VAR, _96396),
  181. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN4_VAR, _96402),
  182. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN4_VAR, _96370),
  183. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN4_VAR, _96344),
  184. %         different(H1, _96390),
  185. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN13_VAR),
  186. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN14_VAR),
  187. %         tRiddleHouse(skIsRiddlehouseIn_Fn)
  188. %       ),
  189. %       ignore(mudEquals(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN4_VAR,
  190. %                        skIsRiddlehouseInArg1ofDifferent_Fn(_96344,
  191. %                                                            _96370,
  192. %                                                            _96402,
  193. %                                                            _96396))).
  194. %             =boxlog=
  195. % v(equals(H1, _37208), v(equals(H1, _37234), v(v(~tRiddleHouse(H1), equals(H1, _37260)), equals(H1, _37266)))) :-
  196. %       tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN15_VAR),
  197. %       different(H1, _37260),
  198. %       different(H1, _37266),
  199. %       different(H1, _37234),
  200. %       tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN16_VAR),
  201. %       different(H1, _37208),
  202. %       different(H1, _37338),
  203. %       tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN17_VAR),
  204. %       tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN18_VAR),
  205. %       tRiddleHouse(skIsRiddlehouseIn_Fn).
  206. %             =boxlog=
  207. % v(equals(H1, _84174), v(v(~tRiddleHouse(_84208), equals(H1, _84214)), equals(H1, _84220))) :-
  208. %       ( tRiddleHouse(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN5_VAR),
  209. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN5_VAR, _84214),
  210. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN5_VAR, _84220),
  211. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN5_VAR, _84174),
  212. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN5_VAR, _84208),
  213. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN19_VAR),
  214. %         different(H1, _84214),
  215. %         different(H1, _84220),
  216. %         different(H1, _84174),
  217. %         different(H1, _84208),
  218. %         different(H1, _84346),
  219. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN20_VAR),
  220. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN21_VAR),
  221. %         tRiddleHouse(skIsRiddlehouseIn_Fn)
  222. %       ),
  223. %       ignore(mudEquals(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN5_VAR,
  224. %                        skIsRiddlehouseInArg1ofDifferent_Fn(_84208,
  225. %                                                            _84174,
  226. %                                                            _84220,
  227. %                                                            _84214))).
  228. %             =boxlog=
  229. % v(v(~tRiddleHouse(_15534), equals(H1, _15540)), equals(H1, _15560)) :-
  230. %       ( tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN22_VAR),
  231. %         different(H1, _15540),
  232. %         different(H1, _15560),
  233. %         different(H1, _15534),
  234. %         tRiddleHouse(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN6_VAR),
  235. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN6_VAR, _15540),
  236. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN6_VAR, _15560),
  237. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN6_VAR, _15534),
  238. %         different(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN6_VAR, _15662),
  239. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN23_VAR),
  240. %         different(H1, _15662),
  241. %         different(H1, _15692),
  242. %         tRiddleHouse(SKISRIDDLEHOUSEINARG2OFDIFFERENT_FN24_VAR),
  243. %         tRiddleHouse(skIsRiddlehouseIn_Fn)
  244. %       ),
  245. %       ignore(mudEquals(SKISRIDDLEHOUSEINARG1OFDIFFERENT_FN6_VAR,
  246. %                        skIsRiddlehouseInArg1ofDifferent_Fn(_15662,
  247. %                                                            _15534,
  248. %                                                            _15560,
  249. %                                                            _15540))).
  250. %             =boxlog=
  251. % genls(tRiddleHouse, tHouse).
  252. %             =boxlog=
  253. % ~tHouse(H1) :-
  254. %       ( equals(A1, A2),
  255. %         tHouse(SKISHOUSEINARG1OFARG2OF_FN1_VAR),
  256. %         address(H1, A1),
  257. %         address(SKISHOUSEINARG1OFARG2OF_FN1_VAR, A2),
  258. %         different(H1, SKISHOUSEINARG1OFARG2OF_FN1_VAR)
  259. %       ),
  260. %       ignore(mudEquals(SKISHOUSEINARG1OFARG2OF_FN1_VAR,
  261. %                        skIsHouseInArg1ofArg2of_Fn(A2, A1, H1))).
  262. %             =boxlog=
  263. % ~tHouse(SKISHOUSEINARG1OFARG2OF_FN2_VAR) :-
  264. %       ignore(mudEquals(SKISHOUSEINARG1OFARG2OF_FN2_VAR,
  265. %                        skIsHouseInArg1ofArg2of_Fn(A2, A1, H1))),
  266. %       equals(A1, A2),
  267. %       tHouse(H1),
  268. %       address(H1, A1),
  269. %       address(SKISHOUSEINARG1OFARG2OF_FN2_VAR, A2),
  270. %       different(H1, SKISHOUSEINARG1OFARG2OF_FN2_VAR).
  271. %             =boxlog=
  272. % ~address(H1, A1) :-
  273. %       ( equals(A1, A2),
  274. %         tHouse(H1),
  275. %         tHouse(SKISHOUSEINARG1OFARG2OF_FN3_VAR),
  276. %         address(SKISHOUSEINARG1OFARG2OF_FN3_VAR, A2),
  277. %         different(H1, SKISHOUSEINARG1OFARG2OF_FN3_VAR)
  278. %       ),
  279. %       ignore(mudEquals(SKISHOUSEINARG1OFARG2OF_FN3_VAR,
  280. %                        skIsHouseInArg1ofArg2of_Fn(A2, A1, H1))).
  281. %             =boxlog=
  282. % ~address(SKISHOUSEINARG1OFARG2OF_FN4_VAR, A2) :-
  283. %       ignore(mudEquals(SKISHOUSEINARG1OFARG2OF_FN4_VAR,
  284. %                        skIsHouseInArg1ofArg2of_Fn(A2, A1, H1))),
  285. %       equals(A1, A2),
  286. %       tHouse(H1),
  287. %       tHouse(SKISHOUSEINARG1OFARG2OF_FN4_VAR),
  288. %       address(H1, A1),
  289. %       different(H1, SKISHOUSEINARG1OFARG2OF_FN4_VAR).
  290. %             =boxlog=
  291. % different(A1, A2) :-
  292. %       ( tHouse(H1),
  293. %         tHouse(SKISHOUSEINARG1OFARG2OF_FN5_VAR),
  294. %         address(H1, A1),
  295. %         address(SKISHOUSEINARG1OFARG2OF_FN5_VAR, A2),
  296. %         different(H1, SKISHOUSEINARG1OFARG2OF_FN5_VAR)
  297. %       ),
  298. %       ignore(mudEquals(SKISHOUSEINARG1OFARG2OF_FN5_VAR,
  299. %                        skIsHouseInArg1ofArg2of_Fn(A2, A1, H1))).
  300. %             =boxlog=
  301. % equals(H1, SKISHOUSEINARG1OFARG2OF_FN6_VAR) :-
  302. %       ignore(mudEquals(SKISHOUSEINARG1OFARG2OF_FN6_VAR,
  303. %                        skIsHouseInArg1ofArg2of_Fn(A2, A1, H1))),
  304. %       equals(A1, A2),
  305. %       tHouse(H1),
  306. %       tHouse(SKISHOUSEINARG1OFARG2OF_FN6_VAR),
  307. %       address(H1, A1),
  308. %       address(SKISHOUSEINARG1OFARG2OF_FN6_VAR, A2).
  309. %             =boxlog=
  310. % address(house1, 1).
  311. %             =boxlog=
  312. % address(house2, 2).
  313. %             =boxlog=
  314. % address(house3, 3).
  315. %             =boxlog=
  316. % address(house4, 4).
  317. %             =boxlog=
  318. % address(house5, 5).
  319. %             =boxlog=
  320. % ~colorOf(SKARG2OFLIVESINARG1OFCOLOROF_FN1_VAR, vRed) :-
  321. %       ignore(mudEquals(SKARG2OFLIVESINARG1OFCOLOROF_FN1_VAR,
  322. %                        skArg2ofLivesinArg1ofColorof_Fn(SKARG1OFLIVESINNATORIGIN_FN1_VAR))),
  323. %       ignore(mudEquals(SKARG1OFLIVESINNATORIGIN_FN1_VAR,
  324. %                        skArg1ofLivesinNatorigin_Fn(H1))),
  325. %       natOrigin(SKARG1OFLIVESINNATORIGIN_FN1_VAR, iEngland),
  326. %       ~livesIn(SKARG1OFLIVESINNATORIGIN_FN1_VAR, SKARG2OFLIVESINARG1OFCOLOROF_FN1_VAR).
  327. %             =boxlog=
  328. % ~livesIn(SKARG1OFLIVESINNATORIGIN_FN2_VAR, skArg2ofLivesinArg1ofColorof_Fn(SKARG1OFLIVESINNATORIGIN_FN2_VAR)) :-
  329. %       ignore(mudEquals(SKARG1OFLIVESINNATORIGIN_FN2_VAR,
  330. %                        skArg1ofLivesinNatorigin_Fn(H1))),
  331. %       ~natOrigin(SKARG1OFLIVESINNATORIGIN_FN2_VAR, iEngland).
  332. %             =boxlog=
  333. % ~livesIn(SKARG1OFLIVESINNATORIGIN_FN3_VAR, SKARG2OFLIVESINARG1OFCOLOROF_FN3_VAR) :-
  334. %       ignore(mudEquals(SKARG2OFLIVESINARG1OFCOLOROF_FN3_VAR,
  335. %                        skArg2ofLivesinArg1ofColorof_Fn(SKARG1OFLIVESINNATORIGIN_FN3_VAR))),
  336. %       ignore(mudEquals(SKARG1OFLIVESINNATORIGIN_FN3_VAR,
  337. %                        skArg1ofLivesinNatorigin_Fn(H1))),
  338. %       ~colorOf(SKARG2OFLIVESINARG1OFCOLOROF_FN3_VAR, vRed).
  339. %             =boxlog=
  340. % ~natOrigin(SKARG1OFLIVESINNATORIGIN_FN4_VAR, iEngland) :-
  341. %       ( ignore(mudEquals(SKARG1OFLIVESINNATORIGIN_FN4_VAR,
  342. %                          skArg1ofLivesinNatorigin_Fn(H1))),
  343. %         colorOf(SKARG2OFLIVESINARG1OFCOLOROF_FN4_VAR, vRed),
  344. %         ~livesIn(SKARG1OFLIVESINNATORIGIN_FN4_VAR, SKARG2OFLIVESINARG1OFCOLOROF_FN4_VAR)
  345. %       ),
  346. %       ignore(mudEquals(SKARG2OFLIVESINARG1OFCOLOROF_FN4_VAR,
  347. %                        skArg2ofLivesinArg1ofColorof_Fn(SKARG1OFLIVESINNATORIGIN_FN4_VAR))).
  348. %             =boxlog=
  349. % colorOf(SKARG2OFLIVESINARG1OFCOLOROF_FN5_VAR, vRed) :-
  350. %       ignore(mudEquals(SKARG2OFLIVESINARG1OFCOLOROF_FN5_VAR,
  351. %                        skArg2ofLivesinArg1ofColorof_Fn(SKARG1OFLIVESINNATORIGIN_FN5_VAR))),
  352. %       ignore(mudEquals(SKARG1OFLIVESINNATORIGIN_FN5_VAR,
  353. %                        skArg1ofLivesinNatorigin_Fn(H1))),
  354. %       livesIn(SKARG1OFLIVESINNATORIGIN_FN5_VAR,
  355. %               SKARG2OFLIVESINARG1OFCOLOROF_FN5_VAR).
  356. %             =boxlog=
  357. % livesIn(SKARG1OFLIVESINNATORIGIN_FN6_VAR, SKARG2OFLIVESINARG1OFCOLOROF_FN6_VAR) :-
  358. %       ignore(mudEquals(SKARG2OFLIVESINARG1OFCOLOROF_FN6_VAR,
  359. %                        skArg2ofLivesinArg1ofColorof_Fn(SKARG1OFLIVESINNATORIGIN_FN6_VAR))),
  360. %       ignore(mudEquals(SKARG1OFLIVESINNATORIGIN_FN6_VAR,
  361. %                        skArg1ofLivesinNatorigin_Fn(H1))),
  362. %       natOrigin(SKARG1OFLIVESINNATORIGIN_FN6_VAR, iEngland),
  363. %       colorOf(SKARG2OFLIVESINARG1OFCOLOROF_FN6_VAR, vRed).
  364. %             =boxlog=
  365. % natOrigin(SKARG1OFLIVESINNATORIGIN_FN7_VAR, iEngland) :-
  366. %       ignore(mudEquals(SKARG1OFLIVESINNATORIGIN_FN7_VAR,
  367. %                        skArg1ofLivesinNatorigin_Fn(H1))),
  368. %       livesIn(SKARG1OFLIVESINNATORIGIN_FN7_VAR,
  369. %               SKARG2OFLIVESINARG1OFCOLOROF_FN7_VAR).
  370. %             =boxlog=
  371. % tDog(skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN1_VAR)) :-
  372. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN1_VAR,
  373. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  374. %       tHuman(SKISINARG1OFNATORIGINCARESFOR_FN1_VAR),
  375. %       natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN1_VAR, iSpain).
  376. %             =boxlog=
  377. % tHuman(SKISINARG1OFNATORIGINCARESFOR_FN2_VAR) :-
  378. %       ( ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN2_VAR,
  379. %                          skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  380. %         caresFor(SKISINARG1OFNATORIGINCARESFOR_FN2_VAR,
  381. %                  SKARG2OFCARESFORISDOGIN_FN2_VAR),
  382. %         tDog(SKARG2OFCARESFORISDOGIN_FN2_VAR)
  383. %       ),
  384. %       ignore(mudEquals(SKARG2OFCARESFORISDOGIN_FN2_VAR,
  385. %                        skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN2_VAR))).
  386. %             =boxlog=
  387. % ~tDog(SKARG2OFCARESFORISDOGIN_FN3_VAR) :-
  388. %       ignore(mudEquals(SKARG2OFCARESFORISDOGIN_FN3_VAR,
  389. %                        skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN3_VAR))),
  390. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN3_VAR,
  391. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  392. %       caresFor(SKISINARG1OFNATORIGINCARESFOR_FN3_VAR,
  393. %                SKARG2OFCARESFORISDOGIN_FN3_VAR),
  394. %       ~tHuman(SKISINARG1OFNATORIGINCARESFOR_FN3_VAR).
  395. %             =boxlog=
  396. % ~tDog(SKARG2OFCARESFORISDOGIN_FN4_VAR) :-
  397. %       ignore(mudEquals(SKARG2OFCARESFORISDOGIN_FN4_VAR,
  398. %                        skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN4_VAR))),
  399. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN4_VAR,
  400. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  401. %       caresFor(SKISINARG1OFNATORIGINCARESFOR_FN4_VAR,
  402. %                SKARG2OFCARESFORISDOGIN_FN4_VAR),
  403. %       ~natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN4_VAR, iSpain).
  404. %             =boxlog=
  405. % ~tHuman(SKISINARG1OFNATORIGINCARESFOR_FN5_VAR) :-
  406. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN5_VAR,
  407. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  408. %       natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN5_VAR, iSpain),
  409. %       ~caresFor(SKISINARG1OFNATORIGINCARESFOR_FN5_VAR, SKARG2OFCARESFORISDOGIN_FN5_VAR).
  410. %             =boxlog=
  411. % ~tHuman(SKISINARG1OFNATORIGINCARESFOR_FN6_VAR) :-
  412. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN6_VAR,
  413. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  414. %       natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN6_VAR, iSpain),
  415. %       ~tDog(SKARG2OFCARESFORISDOGIN_FN6_VAR).
  416. %             =boxlog=
  417. % ~caresFor(SKISINARG1OFNATORIGINCARESFOR_FN7_VAR, SKARG2OFCARESFORISDOGIN_FN7_VAR) :-
  418. %       ignore(mudEquals(SKARG2OFCARESFORISDOGIN_FN7_VAR,
  419. %                        skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN7_VAR))),
  420. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN7_VAR,
  421. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  422. %       tDog(SKARG2OFCARESFORISDOGIN_FN7_VAR),
  423. %       ~tHuman(SKISINARG1OFNATORIGINCARESFOR_FN7_VAR).
  424. %             =boxlog=
  425. % ~caresFor(SKISINARG1OFNATORIGINCARESFOR_FN8_VAR, SKARG2OFCARESFORISDOGIN_FN8_VAR) :-
  426. %       ignore(mudEquals(SKARG2OFCARESFORISDOGIN_FN8_VAR,
  427. %                        skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN8_VAR))),
  428. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN8_VAR,
  429. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  430. %       tDog(SKARG2OFCARESFORISDOGIN_FN8_VAR),
  431. %       ~natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN8_VAR, iSpain).
  432. %             =boxlog=
  433. % ~natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN9_VAR, iSpain) :-
  434. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN9_VAR,
  435. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  436. %       tHuman(SKISINARG1OFNATORIGINCARESFOR_FN9_VAR),
  437. %       ~caresFor(SKISINARG1OFNATORIGINCARESFOR_FN9_VAR, SKARG2OFCARESFORISDOGIN_FN9_VAR).
  438. %             =boxlog=
  439. % ~natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN10_VAR, iSpain) :-
  440. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN10_VAR,
  441. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  442. %       tHuman(SKISINARG1OFNATORIGINCARESFOR_FN10_VAR),
  443. %       ~tDog(SKARG2OFCARESFORISDOGIN_FN10_VAR).
  444. %             =boxlog=
  445. % caresFor(SKISINARG1OFNATORIGINCARESFOR_FN11_VAR, skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN11_VAR)) :-
  446. %       ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN11_VAR,
  447. %                        skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  448. %       tHuman(SKISINARG1OFNATORIGINCARESFOR_FN11_VAR),
  449. %       natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN11_VAR, iSpain).
  450. %             =boxlog=
  451. % natOrigin(SKISINARG1OFNATORIGINCARESFOR_FN12_VAR, iSpain) :-
  452. %       ( ignore(mudEquals(SKISINARG1OFNATORIGINCARESFOR_FN12_VAR,
  453. %                          skIsInArg1ofNatoriginCaresfor_Fn(Pet))),
  454. %         caresFor(SKISINARG1OFNATORIGINCARESFOR_FN12_VAR,
  455. %                  SKARG2OFCARESFORISDOGIN_FN12_VAR),
  456. %         tDog(SKARG2OFCARESFORISDOGIN_FN12_VAR)
  457. %       ),
  458. %       ignore(mudEquals(SKARG2OFCARESFORISDOGIN_FN12_VAR,
  459. %                        skArg2ofCaresforIsDogIn_Fn(SKISINARG1OFNATORIGINCARESFOR_FN12_VAR))).
  460. ERROR: Arguments are not sufficiently instantiated
  461. ERROR: In:
  462. ERROR:   [50] throw(error(instantiation_error,context(system:(=..)/2,_9218)))
  463. ERROR:   [48] catch(must_trace:((baseKB:mpred_ain(baseKB:(==>compile_clif),(mfl(baseKB,'/mnt/gggg/logicmoo_workspace/pack/prologmud_samples/prolog/prologmud_sample_games/run_mud_server.pl',loading_file),ax)),deterministic(_9316)),'$sig_atomic'(hook_database:('$set_source_module'(zebra5),'$set_typein_module'(baseKB))),(_9362==true->!;true;'$sig_atomic'(hook_database:('$set_typein_module'(baseKB),'$set_source_module'(baseKB))),fail)),error(instantiation_error,context(system:(=..)/2,_9412)),must_trace:('$sig_atomic'(hook_database:('$set_source_module'(zebra5),'$set_typein_module'(baseKB))),throw(error(instantiation_error,context(system:(=..)/2,_9476))))) at /usr/local/lib/swipl-7.5.3/boot/init.pl:372
  464. ERROR:   [45] setup_call_catcher_cleanup(with_thread_local:key_asserta(t_l,t_l:current_defaultAssertMt(baseKB)),hook_database:call_from_module(baseKB,mpred_ain(baseKB:(==>compile_clif),(mfl(baseKB,'/mnt/gggg/logicmoo_workspace/pack/prologmud_samples/prolog/prologmud_sample_games/run_mud_server.pl',loading_file),ax))),_9516,with_thread_local:key_erase(t_l)) at /usr/local/lib/swipl-7.5.3/boot/init.pl:436
  465. ERROR:   [43] with_thread_local:wtl_how('<garbage_collected>','<garbage_collected>','<garbage_collected>','<garbage_collected>','<garbage_collected>') at /mnt/gggg/logicmoo_workspace/pack/with_thread_local/prolog/with_thread_local.pl:168
  466. ERROR:   [35] baseKB:clif_recompile 1-st clause of baseKB:clif_recompile/0 <no source>
  467. ERROR:   [34] <user>
  468. ERROR:
  469. ERROR: Note: some frames are missing due to last-call optimization.
  470. ERROR: Re-run your program in debug mode (:- debug.) to get more detail.
  471. ^  Exception: (45) [system] setup_call_catcher_cleanup(with_thread_local:key_asserta(t_l, t_l:current_defaultAssertMt(baseKB)), hook_database:call_from_module(baseKB, mpred_ain(baseKB:(==>compile_clif),  (mfl(baseKB, '/mnt/gggg/logicmoo_workspace/pack/prologmud_samples/prolog/prologmud_sample_games/run_mud_server.pl', loading_file), ax))), _9714, with_thread_local:key_erase(t_l)) ?
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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!