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