source: examples/python_tests/fruits_rt2/fruit.save @ b1d4721

mei_rt2mei_rt2_fix_1
Last change on this file since b1d4721 was 7211a95, checked in by Mei <mei@…>, 12 years ago

1) add more python examples
2) add the missing linking role and linking oset api calls
3) fix the output of time typed data term/oset obj in typed_string format

(transform back from yap time format to our ddddddddTdddddd format
  • Property mode set to 100644
File size: 1006 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2   
3===good============ mary.what2eat <- navel orange
4YAP query succeed
5pMary.what2eat <- pRalphs.fruitprice(P:[.. 2.000000])
6pRalphs.fruitprice(0.50) <- 'navel orange'
7
8===good============ mary.what2eat <- kiwi
9YAP query succeed
10pMary.what2eat <- pRalphs.fruitprice(P:[.. 2.000000])
11pRalphs.fruitprice(1.50) <- 'kiwi'
12
13===bad============ bob.what2eat <- navel orange
14YAP query failed
15
16===good============ ralphs.fruitprice(1.50) <- apple
17YAP query succeed
18pRalphs.fruitprice(1.50) <- 'apple'
19
20===bad============ ralphs.fruitprice(1.50) <- green apple
21YAP query failed
22
23...final principal set...
24(pBob,keyid,y)
25(pMary,keyid,y)
26(pRalphs,keyid,y)
27
28
29
30...final policy attribute set...
31pRalphs.fruitprice(1.50) <- 'apple'
32pRalphs.fruitprice(2.50) <- 'black berry'
33pRalphs.fruitprice(1.50) <- 'kiwi'
34pRalphs.fruitprice(0.50) <- 'navel orange'
35pBob.what2eat <- pRalphs.fruitprice(P:[1.000000 .. 5.000000])
36pMary.what2eat <- pRalphs.fruitprice(P:[.. 2.000000])
37
38
Note: See TracBrowser for help on using the repository browser.