0
|
1 /*
|
|
2 Tokio examples
|
|
3
|
|
4 Fri May 6 11:53:58 JST 1994
|
|
5
|
|
6 */
|
|
7
|
|
8 dining_phil: (Tokio)
|
|
9 % Dining Philosopher Problem Description
|
|
10 di % state transition version
|
|
11 ve % using backtracking
|
|
12
|
|
13 etc: (Tokio)
|
|
14 dekker % dekker's algorithm
|
|
15 mac % three way calcuration of magnitude of vector
|
|
16 memory % memory simulation
|
|
17 rsffdelay % rs filp flop with dealy
|
|
18 rsflipflop % simple filp flop
|
|
19 send % handshaking example
|
|
20 solve % meta interpreter
|
|
21
|
|
22 multiply: (Tokio)
|
|
23 mul_al % hardware multiplier
|
|
24 mul_al9 % much more bit
|
|
25 mul_chop % serial implementation
|
|
26 multi % Moszkowski's example
|
|
27 multi2 % it's translation form
|
|
28
|
|
29 sorter: (Tokio)
|
|
30 pipe % pipeline merge sort for prolog
|
|
31 tpip % its modified version for tokio
|
|
32 sort % Moszkowski's example (list implementation)
|
|
33 sort2 % implicit sync
|
|
34 sort3 % functor implementation
|
|
35 pipe_sort % hardware pipeline merge sorter
|
|
36
|
|
37 unifier: (Tokio)
|
|
38 % hardware unifier for Parallel Inference Engine: PIE
|
|
39 up % main part
|
|
40 upm % its macro definitions
|
|
41
|
|
42 6502: (Tokio)
|
|
43 % MC6502 chip specification
|
|
44 a.hex % Intel Hex of Sample Machine code
|
|
45 a.s65 % Asembler source of Sample Machine code
|
|
46 asm % A Free 6502 Assembler
|
|
47 isp.mc6502 % ISP specification
|
|
48 mc6502.tokio % Tokio specification
|
|
49 multi.s65 % more complex example
|
|
50 run.tokio % Test routine for mc6502.tokio
|
|
51
|
|
52 kiss: (LITE)
|
|
53 % KISS2 format example for UCB/SIS
|
|
54 % for LITE verifier
|
|
55 keyc.kiss2 % KISS2 format input
|
|
56 kiss_ex1.pl % FSA input for LITE
|
|
57
|
|
58 toy: (LITE/Tokio)
|
|
59 % Toy GUI example. This is an example of LITE - Tokio
|
|
60 % combination. Sicstus/GM X-Window interface is required.
|
|
61 gi.tokio % generated Tokio source. this is generated from gi_ex.pl
|
|
62 gi_ex.pl % ITL specification of gi.tokio
|
|
63 toy.tokio % Tool kit parts (written in Tokio)
|