/*
	Tokio examples

		Fri May  6 11:53:58 JST 1994

		*/

dining_phil: (Tokio)
		% Dining Philosopher Problem Description
    di		% state transition version
    ve		% using backtracking

etc: (Tokio)
    dekker	% dekker's algorithm
    mac		% three way calcuration of magnitude of vector
    memory	% memory simulation
    rsffdelay	% rs filp flop with dealy
    rsflipflop	% simple filp flop
    send	% handshaking example
    solve	% meta interpreter

multiply: (Tokio)
    mul_al	% hardware multiplier
    mul_al9	%          much more bit
    mul_chop	% serial implementation
    multi	% Moszkowski's example
    multi2	%    it's translation form

sorter: (Tokio)
    pipe	% pipeline merge sort for prolog
    tpip	% its modified version for tokio
    sort	% Moszkowski's example (list implementation)
    sort2	%   implicit sync
    sort3	%   functor implementation
    pipe_sort	% hardware pipeline merge sorter

unifier: (Tokio)
		% hardware unifier for Parallel Inference Engine: PIE
    up		% main part
    upm		% its macro definitions

6502: (Tokio)
		% MC6502 chip specification
     a.hex	% Intel Hex of Sample Machine code
     a.s65	% Asembler source of Sample Machine code
     asm	% A Free 6502 Assembler
     isp.mc6502 % ISP specification
     mc6502.tokio  % Tokio specification
     multi.s65  % more complex example
     run.tokio	% Test routine for mc6502.tokio

kiss: (LITE)
		% KISS2 format example for UCB/SIS
		% for LITE verifier
      keyc.kiss2	% KISS2 format input
      kiss_ex1.pl	% FSA input for LITE

toy:	(LITE/Tokio)
		% Toy GUI example. This is an example of LITE - Tokio 
		% combination. Sicstus/GM X-Window interface is required.
      gi.tokio  % generated Tokio source. this is generated from gi_ex.pl
      gi_ex.pl  % ITL specification of gi.tokio 
      toy.tokio % Tool kit parts (written in Tokio)