1-------------------- Example 1 -------------------------------------- 2RENAMED_QUERY: ?- diagnosis(Luisa,A). 3 4 ANSWER: 1 (in 0.94 ms) 5 6BEGIN HTML JUSTIFICATION and END 7 8JUSTIFICATION_TREE: 9The diagnosis of the patient Luisa is fever 10 There is a fever for the patient Luisa with a temperature B greater than 38 11 The temperature for the patient Luisa has a value B greater than 38 12 There is no valid register for the patient Luisa 13 First: There is no valid register for the patient Luisa 14 For any possible value: forall(E,forall(F,not o_reg_person.1(Luisa,E,F))) 15 For any possible value: forall(F,not o_reg_person.1(Luisa,C,F)) 16 First: For this conclusion there is no text not reg_person(Luisa,C,D) 17 There is no register, for the patient Luisa, with any temperature, at any time point 18 First: There is no register, for the patient Luisa, with any temperature, at any time point 19 Luisa is not equal Juan 20 Second: There is no register, for the patient Luisa, with any temperature, at any time point 21 Luisa is not equal Pedro 22 Third: There is no register, for the patient Luisa, with any temperature, at any time point 23 Luisa is not equal Jose 24 Then (4): There is no register, for the patient Luisa, with any temperature, at any time point 25 Luisa is not equal Jose 26 A temperature with a value B greater than 38 is high 27 B is greater than 38 28 For the patient Luisa with a temperature B greater than 38 we conclude that there is a fever 29 First: For the patient Luisa with a temperature B greater than 38 we conclude that there is a fever 30 The temperature for the patient Luisa has a value B greater than 38 31 There is no valid register for the patient Luisa, as we saw before 32 A temperature with a value B greater than 38 is high 33 B is greater than 38 34The global constraints hold 35 There are no global constraints to be checked 36 37 38MODEL: 39diagnosis(Luisa,fever) , fever(Luisa,B │{B #> 38}) , temp(Luisa,B │{B #> 38}) , not reg_person(Luisa) , not reg_temp(Luisa,C,D) , high_temp(B │{B #> 38}) , not no_fever(Luisa,B │{B #> 38}) , temp(Luisa,B │{B #> 38}) , high_temp(B │{B #> 38}) 40 41BINDINGS: 42A is fever ? ; 43 44 45 ANSWER: 2 (in 1.799 ms) 46 47BEGIN HTML JUSTIFICATION and END 48 49JUSTIFICATION_TREE: 50The diagnosis of the patient Luisa is no fever 51 For the patient Luisa with a temperature B less or equal 38 we conclude that there is no fever 52 The temperature for the patient Luisa has a value B less or equal 38 53 There is no valid register for the patient Luisa 54 First: There is no valid register for the patient Luisa 55 For any possible value: forall(E,forall(F,not o_reg_person.1(Luisa,E,F))) 56 For any possible value: forall(F,not o_reg_person.1(Luisa,C,F)) 57 First: For this conclusion there is no text not reg_person(Luisa,C,D) 58 There is no register, for the patient Luisa, with any temperature, at any time point 59 First: There is no register, for the patient Luisa, with any temperature, at any time point 60 Luisa is not equal Juan 61 Second: There is no register, for the patient Luisa, with any temperature, at any time point 62 Luisa is not equal Pedro 63 Third: There is no register, for the patient Luisa, with any temperature, at any time point 64 Luisa is not equal Jose 65 Then (4): There is no register, for the patient Luisa, with any temperature, at any time point 66 Luisa is not equal Jose 67 A temperature with a value B less or equal 38 is not high 68 First: A temperature with a value B less or equal 38 is not high 69 B is less or equal 38 70 There is no fever for the patient Luisa with a temperature B less or equal 38 71 First: There is no fever for the patient Luisa with a temperature B less or equal 38 72 The temperature for the patient Luisa has a value B less or equal 38 73 There is no valid register for the patient Luisa, as we saw before 74 A temperature with a value B less or equal 38 is not high 75 First: A temperature with a value B less or equal 38 is not high 76 B is less or equal 38 77The global constraints hold 78 There are no global constraints to be checked 79 80 81MODEL: 82diagnosis(Luisa,no fever) , no_fever(Luisa,B │{B #=< 38}) , temp(Luisa,B │{B #=< 38}) , not reg_person(Luisa) , not reg_temp(Luisa,C,D) , not high_temp(B │{B #=< 38}) , not fever(Luisa,B │{B #=< 38}) , temp(Luisa,B │{B #=< 38}) , not high_temp(B │{B #=< 38}) 83 84BINDINGS: 85A is no fever ? ; 86 87-------------------- Example 2 -------------------------------------- 88RENAMED_QUERY: ?- diagnosis(Juan,A). 89 90 ANSWER: 1 (in 2.135 ms) 91 92BEGIN HTML JUSTIFICATION and END 93 94JUSTIFICATION_TREE: 95The diagnosis of the patient Juan is no fever 96 For the patient Juan with the temperature 37 we conclude that there is no fever 97 The temperature for the patient Juan has the value 37 98 There is a register, for the patient Juan, with the temperature 37, at the time point -2 99 A register at the time point -2 is recent 100 -2 is greater than -3 101 A temperature with the value 37 is not high 102 First: A temperature with the value 37 is not high 103 37 is less or equal 38 104 There is no fever for the patient Juan with the temperature 37 105 First: There is no fever for the patient Juan with the temperature 37 106 The temperature for the patient Juan has the value 37, as we saw before 107 A temperature with the value 37 is not high, as we saw before 108The global constraints hold 109 There are no global constraints to be checked 110 111 112MODEL: 113diagnosis(Juan,no fever) , no_fever(Juan,37) , temp(Juan,37) , reg_temp(Juan,37,-2) , recent_reg(-2) , not high_temp(37) , not fever(Juan,37) 114 115BINDINGS: 116A is no fever ? ; 117 118-------------------- Example 3 -------------------------------------- 119RENAMED_QUERY: ?- diagnosis(Pedro,A). 120 121 ANSWER: 1 (in 0.425 ms) 122 123BEGIN HTML JUSTIFICATION and END 124 125JUSTIFICATION_TREE: 126The diagnosis of the patient Pedro is fever 127 There is a fever for the patient Pedro with the temperature 39 128 The temperature for the patient Pedro has the value 39 129 There is a register, for the patient Pedro, with the temperature 39, at the time point -2 130 A register at the time point -2 is recent 131 -2 is greater than -3 132 A temperature with the value 39 is high 133 39 is greater than 38 134 For the patient Pedro with the temperature 39 we conclude that there is a fever 135 First: For the patient Pedro with the temperature 39 we conclude that there is a fever 136 The temperature for the patient Pedro has the value 39, as we saw before 137 A temperature with the value 39 is high, as we saw before 138The global constraints hold 139 There are no global constraints to be checked 140 141 142MODEL: 143diagnosis(Pedro,fever) , fever(Pedro,39) , temp(Pedro,39) , reg_temp(Pedro,39,-2) , recent_reg(-2) , high_temp(39) , not no_fever(Pedro,39) 144 145BINDINGS: 146A is fever ? ; 147 148-------------------- Example 4 -------------------------------------- 149RENAMED_QUERY: ?- diagnosis(Jose,A). 150 151 ANSWER: 1 (in 5.713 ms) 152 153BEGIN HTML JUSTIFICATION and END 154 155JUSTIFICATION_TREE: 156The diagnosis of the patient Jose is fever 157 There is a fever for the patient Jose with a temperature B greater than 38 158 The temperature for the patient Jose has a value B greater than 38 159 There is no valid register for the patient Jose 160 First: There is no valid register for the patient Jose 161 For any possible value: forall(G,forall(H,not o_reg_person.1(Jose,G,H))) 162 For any possible value: forall(H,not o_reg_person.1(Jose,C │{C \= 37,C \= 39},H)) 163 First: For this conclusion there is no text not reg_person(Jose,C │{C \= 37,C \= 39},D) 164 There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 165 First: There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 166 Jose is not equal Juan 167 Second: There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 168 Jose is not equal Pedro 169 Third: There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 170 Jose is Jose 171 C is not equal 39 172 Then (4): There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 173 Jose is Jose 174 C is not equal 37 175 For any possible value: forall(H,not o_reg_person.1(Jose,37,H)) 176 First: For this conclusion there is no text not reg_person(Jose,37,E │{E \= -6}) 177 There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 178 First: There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 179 Jose is not equal Juan 180 Second: There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 181 Jose is not equal Pedro 182 Third: There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 183 Jose is Jose 184 37 is not equal 39 185 Then (4): There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 186 Jose is Jose 187 37 is 37 188 E is not equal -6 189 First: For this conclusion there is no text not reg_person(Jose,37,-6) 190 There is a register, for the patient Jose, with the temperature 37, at the time point -6 191 A register at the time point -6 is not recent 192 First: A register at the time point -6 is not recent 193 -6 is less or equal -3 194 For any possible value: forall(H,not o_reg_person.1(Jose,39,H)) 195 First: For this conclusion there is no text not reg_person(Jose,39,F │{F \= -4}) 196 There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 197 First: There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 198 Jose is not equal Juan 199 Second: There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 200 Jose is not equal Pedro 201 Third: There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 202 Jose is Jose 203 39 is 39 204 F is not equal -4 205 Then (4): There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 206 Jose is Jose 207 39 is not equal 37 208 First: For this conclusion there is no text not reg_person(Jose,39,-4) 209 There is a register, for the patient Jose, with the temperature 39, at the time point -4 210 A register at the time point -4 is not recent 211 First: A register at the time point -4 is not recent 212 -4 is less or equal -3 213 A temperature with a value B greater than 38 is high 214 B is greater than 38 215 For the patient Jose with a temperature B greater than 38 we conclude that there is a fever 216 First: For the patient Jose with a temperature B greater than 38 we conclude that there is a fever 217 The temperature for the patient Jose has a value B greater than 38 218 There is no valid register for the patient Jose, as we saw before 219 A temperature with a value B greater than 38 is high 220 B is greater than 38 221The global constraints hold 222 There are no global constraints to be checked 223 224 225MODEL: 226diagnosis(Jose,fever) , fever(Jose,B │{B #> 38}) , temp(Jose,B │{B #> 38}) , not reg_person(Jose) , not reg_temp(Jose,C │{C \= 37,C \= 39},D) , not reg_temp(Jose,37,E │{E \= -6}) , reg_temp(Jose,37,-6) , not recent_reg(-6) , not reg_temp(Jose,39,F │{F \= -4}) , reg_temp(Jose,39,-4) , not recent_reg(-4) , high_temp(B │{B #> 38}) , not no_fever(Jose,B │{B #> 38}) , temp(Jose,B │{B #> 38}) , high_temp(B │{B #> 38}) 227 228BINDINGS: 229A is fever ? ; 230 231 232 ANSWER: 2 (in 7.11 ms) 233 234BEGIN HTML JUSTIFICATION and END 235 236JUSTIFICATION_TREE: 237The diagnosis of the patient Jose is no fever 238 For the patient Jose with a temperature B less or equal 38 we conclude that there is no fever 239 The temperature for the patient Jose has a value B less or equal 38 240 There is no valid register for the patient Jose 241 First: There is no valid register for the patient Jose 242 For any possible value: forall(G,forall(H,not o_reg_person.1(Jose,G,H))) 243 For any possible value: forall(H,not o_reg_person.1(Jose,C │{C \= 37,C \= 39},H)) 244 First: For this conclusion there is no text not reg_person(Jose,C │{C \= 37,C \= 39},D) 245 There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 246 First: There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 247 Jose is not equal Juan 248 Second: There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 249 Jose is not equal Pedro 250 Third: There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 251 Jose is Jose 252 C is not equal 39 253 Then (4): There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 254 Jose is Jose 255 C is not equal 37 256 For any possible value: forall(H,not o_reg_person.1(Jose,37,H)) 257 First: For this conclusion there is no text not reg_person(Jose,37,E │{E \= -6}) 258 There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 259 First: There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 260 Jose is not equal Juan 261 Second: There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 262 Jose is not equal Pedro 263 Third: There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 264 Jose is Jose 265 37 is not equal 39 266 Then (4): There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 267 Jose is Jose 268 37 is 37 269 E is not equal -6 270 First: For this conclusion there is no text not reg_person(Jose,37,-6) 271 There is a register, for the patient Jose, with the temperature 37, at the time point -6 272 A register at the time point -6 is not recent 273 First: A register at the time point -6 is not recent 274 -6 is less or equal -3 275 For any possible value: forall(H,not o_reg_person.1(Jose,39,H)) 276 First: For this conclusion there is no text not reg_person(Jose,39,F │{F \= -4}) 277 There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 278 First: There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 279 Jose is not equal Juan 280 Second: There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 281 Jose is not equal Pedro 282 Third: There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 283 Jose is Jose 284 39 is 39 285 F is not equal -4 286 Then (4): There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 287 Jose is Jose 288 39 is not equal 37 289 First: For this conclusion there is no text not reg_person(Jose,39,-4) 290 There is a register, for the patient Jose, with the temperature 39, at the time point -4 291 A register at the time point -4 is not recent 292 First: A register at the time point -4 is not recent 293 -4 is less or equal -3 294 A temperature with a value B less or equal 38 is not high 295 First: A temperature with a value B less or equal 38 is not high 296 B is less or equal 38 297 There is no fever for the patient Jose with a temperature B less or equal 38 298 First: There is no fever for the patient Jose with a temperature B less or equal 38 299 The temperature for the patient Jose has a value B less or equal 38 300 There is no valid register for the patient Jose, as we saw before 301 A temperature with a value B less or equal 38 is not high 302 First: A temperature with a value B less or equal 38 is not high 303 B is less or equal 38 304The global constraints hold 305 There are no global constraints to be checked 306 307 308MODEL: 309diagnosis(Jose,no fever) , no_fever(Jose,B │{B #=< 38}) , temp(Jose,B │{B #=< 38}) , not reg_person(Jose) , not reg_temp(Jose,C │{C \= 37,C \= 39},D) , not reg_temp(Jose,37,E │{E \= -6}) , reg_temp(Jose,37,-6) , not recent_reg(-6) , not reg_temp(Jose,39,F │{F \= -4}) , reg_temp(Jose,39,-4) , not recent_reg(-4) , not high_temp(B │{B #=< 38}) , not fever(Jose,B │{B #=< 38}) , temp(Jose,B │{B #=< 38}) , not high_temp(B │{B #=< 38}) 310 311BINDINGS: 312A is no fever ? ; 313 314 315 316 317 ---------------------- Example human_short ----------------- 318scasp --human_short --html fever4.pl 319RENAMED_QUERY: ?- diagnosis(Jose,A). 320 321 ANSWER: 1 (in 7.656 ms) 322 323BEGIN HTML JUSTIFICATION and END 324 325JUSTIFICATION_TREE: 326The diagnosis of the patient Jose is fever 327 It is consider that the patient Jose has a temperature B greater than 38 328 There is no valid register for the patient Jose 329 There is no register, for the patient Jose, with a temperature C not equal 37, and not equal 39, at any time point 330 There is no register, for the patient Jose, with the temperature 37, at a time point E not equal -6 331 There is a register, for the patient Jose, with the temperature 37, at the time point -6 332 A register at the time point -6 is not recent 333 There is no register, for the patient Jose, with the temperature 39, at a time point F not equal -4 334 There is a register, for the patient Jose, with the temperature 39, at the time point -4 335 A register at the time point -4 is not recent 336 It is high a temperature B greater than 38 337The global constraints hold 338 The diagnosis of the patient Pedro is fever 339 It is known that the patient Pedro has the temperature 39 340 There is a valid register for the patient Pedro with the temperature 39 341 There is a register, for the patient Pedro, with the temperature 39, at the time point -2 342 A register at the time point -2 is recent 343 It is high the temperature 39 344 345MODEL: 346diagnosis(Jose,fever) , temp(Jose,B │{B #> 38}) , reg_temp(Jose,37,-6) , reg_temp(Jose,39,-4) , diagnosis(Pedro,fever) , temp(Pedro,39) , reg_temp(Pedro,39,-2) 347 348BINDINGS: 349A is fever ?