[f0eb81d] | 1 | |
---|
| 2 | ==> RUN on access_rt2_typed |
---|
| 3 | YAP dump succeed |
---|
| 4 | |
---|
[9502c50] | 5 | ===good============ Alpha.access(Read,fileA)<-?-Bob |
---|
[f0eb81d] | 6 | YAP query succeed |
---|
| 7 | prover success!! |
---|
| 8 | credentials needed : |
---|
[7727f26] | 9 | pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) |
---|
| 10 | pAlpha.documents('proj1') <- 'file//fileA' |
---|
| 11 | pAlpha.team('proj1') <- pBob |
---|
[f0eb81d] | 12 | |
---|
[9502c50] | 13 | ===bad============ Alpha.access(Read,fileA)<-?-Joe |
---|
[f0eb81d] | 14 | YAP query failed |
---|
| 15 | prover failed!! |
---|
| 16 | |
---|
[9502c50] | 17 | ===good============ Alpha.team(proj2)<-?-Joe |
---|
[f0eb81d] | 18 | YAP query succeed |
---|
| 19 | prover success!! |
---|
| 20 | credentials needed : |
---|
[7727f26] | 21 | pAlpha.team('proj2') <- pJoe |
---|
[f0eb81d] | 22 | |
---|
| 23 | ==> RUN on acme_friend_rt1_typed |
---|
| 24 | YAP dump succeed |
---|
| 25 | |
---|
[9502c50] | 26 | ===bad============ Acme.friendOf(Roadrunner) <- Coyote |
---|
[f0eb81d] | 27 | YAP query failed |
---|
| 28 | prover failed!! |
---|
| 29 | |
---|
[9502c50] | 30 | ===good============ Acme.friendOf(Roadrunner) <- Jackrabbit |
---|
[f0eb81d] | 31 | YAP query succeed |
---|
| 32 | prover success!! |
---|
| 33 | credentials needed : |
---|
[7727f26] | 34 | pAcme.friendOf(pRoadrunner) <- pJackrabbit |
---|
[f0eb81d] | 35 | |
---|
[9502c50] | 36 | ===good============ Acme.preferred_customer <- Jackrabbit |
---|
[f0eb81d] | 37 | YAP query succeed |
---|
| 38 | prover success!! |
---|
| 39 | credentials needed : |
---|
[7727f26] | 40 | pAcme.preferred_customer <- pAcme.friendOf(pRoadrunner) |
---|
| 41 | pAcme.friendOf(pRoadrunner) <- pJackrabbit |
---|
[f0eb81d] | 42 | |
---|
[9502c50] | 43 | ===good============ Acme.preferred_customer <- Coyote |
---|
[f0eb81d] | 44 | YAP query succeed |
---|
| 45 | prover success!! |
---|
| 46 | credentials needed : |
---|
[7727f26] | 47 | pAcme.preferred_customer <- pCoyote |
---|
[f0eb81d] | 48 | |
---|
[9502c50] | 49 | ===bad============ Acme.preferred_customer <- badCoyote |
---|
[f0eb81d] | 50 | yyerror: encountered an invalid SHA id |
---|
| 51 | prover failed!! |
---|
| 52 | |
---|
| 53 | ==> RUN on acme_rockets_intersection_rt0_typed |
---|
| 54 | YAP dump succeed |
---|
| 55 | |
---|
[9502c50] | 56 | ===good============ Acme.buy_rockets <- Coyote |
---|
[f0eb81d] | 57 | YAP query succeed |
---|
| 58 | prover success!! |
---|
| 59 | credentials needed : |
---|
[7727f26] | 60 | pAcme.buy_rockets <- pAcme.preferred_customer & pWarnerBros.character |
---|
| 61 | pAcme.preferred_customer <- pCoyote |
---|
| 62 | pWarnerBros.character <- pCoyote |
---|
[f0eb81d] | 63 | |
---|
[9502c50] | 64 | ===bad============ Acme.bad_buy_rockets <- Coyote |
---|
[f0eb81d] | 65 | YAP query failed |
---|
| 66 | prover failed!! |
---|
| 67 | |
---|
[9502c50] | 68 | ===bad============ 99Acme.buy_rockets <- Coyote |
---|
[f0eb81d] | 69 | yyerror: encountered an invalid SHA id |
---|
| 70 | prover failed!! |
---|
| 71 | |
---|
[9502c50] | 72 | ===bad=============== Acme.buy_rockets <- Batman |
---|
[f0eb81d] | 73 | YAP query failed |
---|
| 74 | prover failed!! |
---|
| 75 | |
---|
| 76 | ==> RUN on acme_rockets_rt0_typed |
---|
| 77 | YAP dump succeed |
---|
| 78 | |
---|
[9502c50] | 79 | ===good============ Acme.preferred_customer <- Coyote |
---|
[f0eb81d] | 80 | YAP query succeed |
---|
| 81 | prover success!! |
---|
| 82 | credentials needed : |
---|
[7727f26] | 83 | pAcme.preferred_customer <- pCoyote |
---|
[f0eb81d] | 84 | |
---|
[9502c50] | 85 | ===good=============== Acme.buy_rockets <- Coyote |
---|
[f0eb81d] | 86 | YAP query succeed |
---|
| 87 | prover success!! |
---|
| 88 | credentials needed : |
---|
[7727f26] | 89 | pAcme.buy_rockets <- pAcme.preferred_customer |
---|
| 90 | pAcme.preferred_customer <- pCoyote |
---|
[f0eb81d] | 91 | |
---|
[9502c50] | 92 | ===bad=============== Acme.buy_rockets <- Acme.preferred_customer |
---|
[f0eb81d] | 93 | fail, a.r <- b.r query is not implemented yet !!! |
---|
| 94 | |
---|
[9502c50] | 95 | ===bad=============== Coyote.friend <- Acme |
---|
[f0eb81d] | 96 | YAP query failed |
---|
| 97 | prover failed!! |
---|
| 98 | |
---|
| 99 | ==> RUN on alice_rt1_typed |
---|
| 100 | YAP dump succeed |
---|
| 101 | |
---|
[9502c50] | 102 | ===good============ Party.guests <- dourmouse |
---|
[f0eb81d] | 103 | YAP query succeed |
---|
| 104 | prover success!! |
---|
| 105 | credentials needed : |
---|
[7727f26] | 106 | pParty.guests <- pParty.friendOf(pMarchHare) |
---|
| 107 | pParty.friendOf(pMarchHare) <- pDormouse |
---|
[f0eb81d] | 108 | |
---|
[9502c50] | 109 | ===bad============ Party.guests <- hatter |
---|
[f0eb81d] | 110 | YAP query failed |
---|
| 111 | prover failed!! |
---|
| 112 | |
---|
| 113 | ==> RUN on alumni2_rt1_typed |
---|
| 114 | YAP dump succeed |
---|
| 115 | |
---|
[9502c50] | 116 | ===good============ stateU.foundingAlumni <- Bob |
---|
[f0eb81d] | 117 | YAP query succeed |
---|
| 118 | prover success!! |
---|
| 119 | credentials needed : |
---|
[7727f26] | 120 | pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1963,1961,1960]) |
---|
| 121 | pStateU.diploma('mathmatics',1961) <- pBob |
---|
[f0eb81d] | 122 | |
---|
[9502c50] | 123 | ===bad============ stateU.foundingAlumni <- Maryann |
---|
[f0eb81d] | 124 | YAP query failed |
---|
| 125 | prover failed!! |
---|
| 126 | |
---|
[9502c50] | 127 | ===bad============ stateU.foundingAlumni <- Joe |
---|
[f0eb81d] | 128 | YAP query failed |
---|
| 129 | prover failed!! |
---|
| 130 | |
---|
| 131 | ==> RUN on alumni3_rt1_typed |
---|
| 132 | YAP dump succeed |
---|
| 133 | |
---|
[9502c50] | 134 | ===good============ stateU.foundingAlumni <- Bob |
---|
[f0eb81d] | 135 | YAP query succeed |
---|
| 136 | prover success!! |
---|
| 137 | credentials needed : |
---|
[7727f26] | 138 | pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960]) |
---|
| 139 | pStateU.diploma('mathmatics',1961) <- pBob |
---|
[f0eb81d] | 140 | |
---|
[9502c50] | 141 | ===bad============ stateU.foundingAlumni <- Mark |
---|
[f0eb81d] | 142 | YAP query failed |
---|
| 143 | prover failed!! |
---|
| 144 | |
---|
[9502c50] | 145 | ===bad============ stateU.foundingAlumni <- Joe |
---|
[f0eb81d] | 146 | YAP query failed |
---|
| 147 | prover failed!! |
---|
| 148 | |
---|
[9502c50] | 149 | ===bad============ stateU.foundingAlumni <- Maryann |
---|
[f0eb81d] | 150 | YAP query failed |
---|
| 151 | prover failed!! |
---|
| 152 | |
---|
[9502c50] | 153 | ===good============ stateU.foundingAlumni <- Jan |
---|
[f0eb81d] | 154 | YAP query succeed |
---|
| 155 | prover success!! |
---|
| 156 | credentials needed : |
---|
[7727f26] | 157 | pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960]) |
---|
| 158 | pStateU.diploma('psychology',1960) <- pJan |
---|
[f0eb81d] | 159 | |
---|
| 160 | ==> RUN on alumni_rt1_typed |
---|
| 161 | YAP dump succeed |
---|
| 162 | |
---|
[9502c50] | 163 | ===bad============ stateU.foundingAlumni <- Bob |
---|
[f0eb81d] | 164 | YAP query failed |
---|
| 165 | prover failed!! |
---|
| 166 | |
---|
[9502c50] | 167 | ===good============ stateU.foundingAlumni <- Maryann |
---|
[f0eb81d] | 168 | YAP query succeed |
---|
| 169 | prover success!! |
---|
| 170 | credentials needed : |
---|
[7727f26] | 171 | pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958]) |
---|
| 172 | pStateU.diploma('psychology',1956) <- pMaryann |
---|
[7b548fa] | 173 | |
---|
[9502c50] | 174 | ===good============ stateU.foundingAlumni <- Joe |
---|
[7b548fa] | 175 | YAP query succeed |
---|
| 176 | prover success!! |
---|
| 177 | credentials needed : |
---|
[7727f26] | 178 | pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958]) |
---|
| 179 | pStateU.diploma('zoology',1955) <- pJoe |
---|
[7b548fa] | 180 | |
---|
| 181 | ==> RUN on balltime_rt2_typed |
---|
| 182 | YAP dump succeed |
---|
| 183 | |
---|
[9502c50] | 184 | ===good============ league.stadium(access,true,20120128T130000)<-?-john |
---|
[7b548fa] | 185 | YAP query succeed |
---|
| 186 | prover success!! |
---|
| 187 | credentials needed : |
---|
[7727f26] | 188 | pLeague.stadium('access',true,F:pLeague.gametime(T)) <- pLeague.players(T) |
---|
| 189 | pLeague.gametime('north') <- time(2012,02,28,13,00,00) |
---|
| 190 | pLeague.players('north') <- pJohn |
---|
[7b548fa] | 191 | |
---|
[9502c50] | 192 | ===bad============ league.stadium(access,true,20120128T110000)<-?-mark |
---|
[7b548fa] | 193 | YAP query failed |
---|
| 194 | prover failed!! |
---|
| 195 | |
---|
[9502c50] | 196 | ===good============ league.stadium(access,true,20120128T080000)<-?-mark |
---|
[7b548fa] | 197 | YAP query succeed |
---|
| 198 | prover success!! |
---|
| 199 | credentials needed : |
---|
[7727f26] | 200 | pLeague.stadium('access',B:[true],F:[20120228T080000..20120228T090000]) <- pLeague.players(T) |
---|
| 201 | pLeague.players('south') <- pMark |
---|
[f0eb81d] | 202 | |
---|
| 203 | ==> RUN on evaluator_rt1_typed |
---|
| 204 | YAP dump succeed |
---|
| 205 | |
---|
[9502c50] | 206 | ===good============ USC.evaluatorOf(Maryann) <- John |
---|
[f0eb81d] | 207 | YAP query succeed |
---|
| 208 | prover success!! |
---|
| 209 | credentials needed : |
---|
[7727f26] | 210 | pUSC.evaluatorOf(K) <- pUSC.managerOf(K) |
---|
| 211 | pUSC.managerOf(K) <- pISI.managerOf(K) |
---|
| 212 | pISI.managerOf(pMaryann) <- pJohn |
---|
[f0eb81d] | 213 | |
---|
[9502c50] | 214 | ===good============ ISI.managerOf(Maryann) <- John |
---|
[f0eb81d] | 215 | YAP query succeed |
---|
| 216 | prover success!! |
---|
| 217 | credentials needed : |
---|
[7727f26] | 218 | pISI.managerOf(pMaryann) <- pJohn |
---|
[f0eb81d] | 219 | |
---|
[9502c50] | 220 | ===good============ USC.employee <-?- John |
---|
[f0eb81d] | 221 | YAP query succeed |
---|
| 222 | prover success!! |
---|
| 223 | credentials needed : |
---|
[7727f26] | 224 | pUSC.employee <- pISI.employee |
---|
| 225 | pISI.employee <- pJohn |
---|
[f0eb81d] | 226 | |
---|
| 227 | ==> RUN on experiment_create_rt0_typed |
---|
| 228 | YAP dump succeed |
---|
| 229 | |
---|
[9502c50] | 230 | ===good=============== Globotron.admin <- Alice |
---|
[f0eb81d] | 231 | YAP query succeed |
---|
| 232 | prover success!! |
---|
| 233 | credentials needed : |
---|
[7727f26] | 234 | pGlobotron.admin <- pAlice |
---|
[f0eb81d] | 235 | |
---|
[9502c50] | 236 | ===bad=============== Globotron.admin <- Bob |
---|
[f0eb81d] | 237 | YAP query failed |
---|
| 238 | prover failed!! |
---|
| 239 | |
---|
[9502c50] | 240 | ===good=============== Acme.experiment_create <- Bob |
---|
[f0eb81d] | 241 | YAP query succeed |
---|
| 242 | prover success!! |
---|
| 243 | credentials needed : |
---|
[7727f26] | 244 | pAcme.experiment_create <- pAcme.partner.experiment_create |
---|
| 245 | pAcme.partner <- pGlobotron |
---|
| 246 | pGlobotron.experiment_create <- pGlobotron.admin.power_user |
---|
| 247 | pGlobotron.admin <- pAlice |
---|
| 248 | pAlice.power_user <- pBob |
---|
[f0eb81d] | 249 | |
---|
| 250 | ==> RUN on file_read_rt2_typed |
---|
| 251 | YAP dump succeed |
---|
| 252 | |
---|
[9502c50] | 253 | ===good============ alpha.read(fileA) <- Bob |
---|
[f0eb81d] | 254 | YAP query succeed |
---|
| 255 | prover success!! |
---|
| 256 | credentials needed : |
---|
[7727f26] | 257 | pAlpha.read(F) <- pAlpha.managerOf(E:pAlpha.ownerOf(F)) |
---|
| 258 | pAlpha.ownerOf('file://fileA') <- pJoe |
---|
| 259 | pAlpha.managerOf(pJoe) <- pBob |
---|
[f0eb81d] | 260 | |
---|
[9502c50] | 261 | ===bad============ alpha.read(fileA) <- Maryann |
---|
[f0eb81d] | 262 | YAP query failed |
---|
| 263 | prover failed!! |
---|
| 264 | |
---|
| 265 | ==> RUN on fruits_rt2_typed |
---|
| 266 | YAP dump succeed |
---|
| 267 | |
---|
[9502c50] | 268 | ===good============ mary.what2eat <- navel orange |
---|
[f0eb81d] | 269 | YAP query succeed |
---|
| 270 | prover success!! |
---|
| 271 | credentials needed : |
---|
[7727f26] | 272 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
---|
| 273 | pRalphs.fruitprice(0.50) <- 'navel orange' |
---|
[f0eb81d] | 274 | |
---|
[9502c50] | 275 | ===good============ mary.what2eat <- kiwi |
---|
[f0eb81d] | 276 | YAP query succeed |
---|
| 277 | prover success!! |
---|
| 278 | credentials needed : |
---|
[7727f26] | 279 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
---|
| 280 | pRalphs.fruitprice(1.50) <- 'kiwi' |
---|
[f0eb81d] | 281 | |
---|
[9502c50] | 282 | ===bad============ bob.what2eat <- navel orange |
---|
[f0eb81d] | 283 | YAP query failed |
---|
| 284 | prover failed!! |
---|
| 285 | |
---|
[9502c50] | 286 | ===good============ ralphs.fruitprice(1.50) <- apple |
---|
[f0eb81d] | 287 | YAP query succeed |
---|
| 288 | prover success!! |
---|
| 289 | credentials needed : |
---|
[7727f26] | 290 | pRalphs.fruitprice(1.50) <- 'apple' |
---|
[f0eb81d] | 291 | |
---|
[9502c50] | 292 | ===bad============ ralphs.fruitprice(1.50) <- green apple |
---|
[f0eb81d] | 293 | YAP query failed |
---|
| 294 | prover failed!! |
---|