mei_rt2mei_rt2_fix_1
|
Last change
on this file since 880e924 was
373bf68,
checked in by Mei <mei@…>, 12 years ago
|
|
1) add the scaling test suite
|
-
Property mode set to
100644
|
|
File size:
722 bytes
|
| Rev | Line | |
|---|
| [373bf68] | 1 | |
|---|
| 2 | ===good============ mary.what2eat <- navel orange |
|---|
| 3 | YAP query succeed |
|---|
| 4 | prover success!! |
|---|
| 5 | credentials needed : |
|---|
| 6 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
|---|
| 7 | pRalphs.fruitprice(0.50) <- 'navel orange' |
|---|
| 8 | |
|---|
| 9 | ===good============ mary.what2eat <- kiwi |
|---|
| 10 | YAP query succeed |
|---|
| 11 | prover success!! |
|---|
| 12 | credentials needed : |
|---|
| 13 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
|---|
| 14 | pRalphs.fruitprice(1.50) <- 'kiwi' |
|---|
| 15 | |
|---|
| 16 | ===bad============ bob.what2eat <- navel orange |
|---|
| 17 | YAP query failed |
|---|
| 18 | prover failed!! |
|---|
| 19 | |
|---|
| 20 | ===good============ ralphs.fruitprice(1.50) <- apple |
|---|
| 21 | YAP query succeed |
|---|
| 22 | prover success!! |
|---|
| 23 | credentials needed : |
|---|
| 24 | pRalphs.fruitprice(1.50) <- 'apple' |
|---|
| 25 | |
|---|
| 26 | ===bad============ ralphs.fruitprice(1.50) <- green apple |
|---|
| 27 | YAP query failed |
|---|
| 28 | prover failed!! |
|---|
Note: See
TracBrowser
for help on using the repository browser.
