tramp - an interpretive associative processor with deductive capabilities

Upload: tracfan

Post on 31-May-2018

226 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    1/14

    R Z @ C \ 7 @ e~ k r o b f b v h r k q f

    ke rfz|zf r kq fh` |` j k i k r k f x

    ` x x m h k ` r k q f | z m h f x x m z

    j{^K IIK @C I% @XO `eb FBN@ Z O% XKJIF[Rof Vekqfzxkr{ ma Ckhokn`e@ee @zjmz) Ckhokn`e

    KE RZM B V HRKM EKe zfhfer {f`zx4 kr o`x jfhmcf kehzf`xkeni{ hif`z

    ro`r rofzf kx effb amz ` hmerfer#`bbzfx x`jif hmc| vrfzcfcmz{ % I`zn fz `eb i`znfz |zm nz`c x `zf jfken ~zkrrfe~okho zfpvkzf ` xrzvhrvzfb b`r` j`xf rm m|fz`rf ~kro`e{ faakhkfeh{% C`e{ ma rofxf hmvib ~fii jfefakr j{zf|i`hken rfbkmvx xf`zhofx ~kro ` a`xr) faakhkfer) *hme#rfer#`bbz fxx`jif * `hhfxx ma rof b`r` xrmzf% @ nmmbf`c|if kx rof * df{ #~ mzb * ikjz`z{ xf`zho% Ka mef`xdx amz ` ikxr ma rof jmmdx ~zkrrfe j{ G% {me Efv#c`ee) ~f bm emr f|fhr rof x{xrfc rm immd `r f`horkrif ke krx xrmzf `eb x`qf mei{ romxf ~zkrrfe j{ {meEfvc `ee% @eb) ka rofzf o`||fex rm jf ` h`r`imn|zf|`zfb) bfxknefb rm `ex~fz rokx |`zrkhvi`z pvfx rkme)~f bm emr ~`er rm o`qf rm bm ` jke`z{ xf`zho rmakeb rof hmzzfhr xfhrkme ma rof h`r`imn##~f ~`er rmzfrzkfqf rof `ex~fz bkzfhri{!

    Rofzf `zf c`e{ mrof z |zmji fcx ~okho cknor akebhmerfer `bbzfxx`jkikr{ `bq`er`nf mvx% F`c |ifx `jmve bke `zrkakhk`i kerfiiknfehf ~ofzf |zmokjkrkqfi{ i`znf rzffxf`zhofx `zf fehmverfzfb4 pvfxrkme#`ex~fzken c`hokefx4imnkh`i keafzfehf x{xrfcx4 nz`|okh x{xrfcx4 `eb cmxrhmeqfzx`r kme`i /rkcf#xo`zfb+ x{xrfcx) ~okho zfpvkzf kc#cfbk`rf) bkzfhr `hhfxx rm ` i`znf b`r ` xrmzf rm kerfz`hrfaafhrkqfi{% Rm b`rf) cmxr keqfxrkn`rkmex kerm hmerfer#`bbzfxx`jif cfcmzkfx o`qf jffe hmehfzefb ~kro o`zb#~`zf4 xvho cfcmzkfx o`qf emr {fr |zmqfb rm jf fhm#emckh `ii{ af`xkjif% Fqfe ka rof{ o`b ) kr kx emr hif`zro`r rof mjqkmvx n`ke ke x|ffb ~mvib hmc|fex`rf amzrof imxx ke nfefz`ikr{ `eb aifkjkikr{% Amz rof cmcferkr h`e jf x`kb ro`r xmar~`zf xkcvi`rkmex `zf ` xrm|n`|cf`xvzf% Rof{ `zf% Jvr kr kx emr hfzr`ke ro` r rof{~kii jf hmc|ifrfi{ zf|i`hfb j{ o`zb~`zf ke fqfe rofzfi`rkqfi{ bkxr`er avrvzf%'Rof ~mzd ma jmro `vromzx ~`x xv||mzrfb j{ @bq`ehfb Zfxf zho\zmgfhrx @nfeh{) Bf| zrcfer ma Bfafexf) Hmerz`hr Em% B@#2;#

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    2/14

    022 \z mh f f b k enx # #0;1? @H C E`r k m e` i Hmeafz f eh f` e b v x k e n r o f u Z ) ) { 5 a m z c ` r ~ f ~ m v i b x ` { 7 9 \ o m e fe v c j f z m a 5 9 H i ` z d D f e r 5 kx 9 D Z ; # ? > 1 6 5 % R o kxk x ` r { | f m a ` x x m h k ` r k q k r { ~ o f z f k e ~ f c ` { e m ~ b k z f h r i {z f a f z f e h f r o k x r z k| i f j { ` e { m a kr x h m e r f e r ` b b z f x x ` j i fh m c | m e f e r x m z h m c j k e ` r k m e r o f zf m a % K a ~ f m e i{ v xfr o f a kz x r h m c | m e f e r ) | o m e f e v c j f z ) k e ` x f ` z h o ) ~ o ` r~ k i i j f z f a f z f e h f b k x r o f f e r k z f j m m d % K a ~ f x | f h k a { r ~ mh m c | m e f e r x 7 | o m e f e v c j f z 4 > 1 2 #1 0 2 ? ) r o fe ~ f ` z fz f a f z f e h k e n b k z f h r i { ` ii ` x x m h k ` r k m e x h m e r ` k e k e n ro m x fr ~ m h m c | m e f e r x ) q k w %) r o f ` x x m h k ` rk m e x h m e r ` k e k e n r o fe ` c f / x + m a r o f | f z x m e / x + o ` q k e n r o f | o m e f e v c j f z> 1 2 # 1 0 2 ? %

    ^ f ` z f ) m a h m v z x f ) ~ m z d k e n ~ k r o ` h m e q f e r k m e ` i h m c #| v r f z c f c m z { % R o f n f e f z ` i xr z ` rf n { v xf b r m f a af h rr o f x k c v i ` r k m e m a ` e ` x x m h k` r kq f | z m h f x x m z ` e b ` e` | | z m k c ` r k m e r m h m e r f e r ` b b z f x x` j k i kr { ~ ` x ro ` r m ao ` x o # h m b k e n % A m z r o m x f v e a ` c k i k ` z ~ k r o r o f r f z c ) o ` x o #h m b k e n kx x kc | i { ` r f h o e k p v f ~ o f z f j { ` e ` z k r o c f r k hr z ` e x a m z c ` r k m e k x ` | | i k fb r m ` e f r f ze ` i e ` c f r mn f e f z ` r f ` e k e r f ze ` i ` b b z f x x % O ` x o # h m b k e n j { k rx f ia| z m q k b f x ` z f x r zk h rf b j v r x k n e ka k h` e r ` | | z m k c ` r k m e r mh m e r f e r ` b b z f x x ` j k i kr { ) j v r o ` x o k e n ` i m e f b m f x e m r| z m q k b f ` e { d k e b m a ` x x m h k ` r k q k r { ` e b r o f z f kx ` i ~ ` { xr o f | z m j i f c m a ro f * h m i i k x k m e * k % f% ) ~ o f e r ~ m b k x rk e h re ` c f x o ` x o r m r o f x ` c f k e r f z e ` i ` b b z f x x 7 _ ( [ 4O / _ + 3 O / [ + % O ` x o k e n | ` z r k r k m e x r o f x | ` h f m a e ` c f xk e r m f p v k q ` i f e h f h i ` xx f x % O m | f a v i i { ) f ` h o hi ` x x o ` x m e i {m e f f i f c f e r ) j v r r ~ m m z c m z f e ` c f x c ` { j f f p v k q ` i f e rv e b f z r o k x | ` z r k r k m e % '

    J { | z m q k b k e n ` e k e r f z | z f rk q f i ` e n v ` n f ~ k ro ` e ` x x m #h k ` r kq f b ` r ` x r z v h r v z f k r k x | m x x k j i f r m ` h o k f q f n z f ` ra i f kj k i kr { % R m r o k x f e b ) k r ~ ` x b f h k b f b r m v x f ` ef k x r k e n k e r f z | z f r f z ` e b n k q f k r ` e f ~ b ` r ` x r z v h r v z f )

    . z ` r o f z r o ` e x r ` z r ` r r o f j m r r m c b f x k n e k e n ` x | f h k `i #| v z | m x f k e rf z | z f rf z % \ z k e h k | ` ii { ) ~ f ~ f zf h m e h f z e f b ~ k r or o f b ` r ` x r z v h r v z f ) ` e b r o f q f o k h i f a m z k r ~ ` x k e k r k `i i {a f ir r m j f m a k e x k n e k a k h ` e r k c | m z r ) x k e h f r o f b ` r ` x r z v h #r v z f z fi kf x m e r o f o m x r k e e m c m z f r o ` e x v | f z a k h k` i~ ` { x % K e h m e x k b f z k e n r o f p v f x r k m e m a r o f k e r f z | zf r f z )~ f ~ f z f a ` h f b ~ k r o q f z { i k rr if h o m k h f % V e a m z r v e ` r f i { )` c ` g m z h m e x k b f z ` r k m e c v x r j f m e f m a ` q ` k i` j k i kr { ) ` e ba m z r v e ` r f i { ) r o kx i fb v x r m R Z @ H R # 1 2 i` e n v ` n f % ' '

    R o k x o ` x | z m q f e r m j f ` c m x r f i fn ` e r o m x r ) ` e b h z f b kra m z r o f | m ~ f z m a r o f z fx v i rk e n x { x rf c c v x r j f | z m | f z i {x o ` z f b j { r o f k e r f z | z f r f z ` x ~ f ii `x r o f ` x x m h k ` r k q fc f c m z { n k q f e r m kr % B f r ` k if b d e m ~ i f b n f m a r o f ke r f z#| z f r f z k x e m r | z f z f p v k x k r f r m z f ` b k e n r o k x ` z r kh i f ) ` x'Fqfe zfxrzkhrken e`cfx rm 2 ho`z`hrfzx ma rof Fe nikxo `i|o`jfr)` mef# rm#mef r z`examzc`rkme ~mvib zhpvkzf ` r`jif ~kro 261);>1ferzkfx rm nv`z`erff em hmiikxkmex%''R Z@ H kx rof r z`bfc`zd ma Zm hdamzb Zfxf`zho Kex r krvrf) Keh % )ke hmeefhrkme ~ kro rofkz xr`eb`zb i`env `nfx% Am z bfr`kix maRZ @H R#12 i`env`nf) xff 0): %Amz ` avzrofz bkxhvxxkme ma rofc`hzm#nfefz`rmz hmehf|r /~okho rof RZ@H i`env`nf ffc|ik#akfx+ xff 8)2)6%

    v e a ` c k i k ` z k r{ ~ k r o R Z @ H R # 1 2 i ` e n v ` n f k x ` x xv c f )r o z m v n o m v r ) f h f | r a m z r o f a ke ` i f ` c | i f m a @ | | f e b k 7@ %

    R o k x ` z r kh i f h m e r ` k e x ` x o m z r z f q k f ~ m a z f h f e r x k n e ka kh ` e r ~ m z d k e r o k x n f e f z ` i ` z f ` 4 r o f m z f r k h ` i ` e b b f x k n Gb f h k xk m e x ` e b h m e x k b f z ` r k m e x a m z j m r o r o f b ` r ` x r z v hr v z)k r xf i a ` e b r o f i m n k h ` i k e a f zf e h f | ` h d ` n f ` q ` k i ` j i f m e kr` e b f ` c | i f x m a o m ~ R Z @ C \ h ` e jf v xf b %J @ H D N Z M V E B

    @ e ` x x m h k ` r k q f | z m h f x x m z k x m e f m a r o f | m x x k j i f r m m im a k e a m z c ` r k m e x r m z ` n f ` e b z f r z kf q ` i ) ` e b k rx o k xr m z) %x o m v i b j f b k x h v x x f b z f i ` rk q f r m x v h o x { x r f c x % V e a m zr v e ` r f i { ) o m ~ f q f z ) k r kx f r z f c f i { b k a a k hv i r r m c ` d f ` e )` b f p v ` r f h m c | ` z k x m e m a b k a af z f e r r { | f x m a b ` r ` x { x r f cj f h ` v x f r o f { ` z f | z f b k h ` r f b m e b k a a f z f e r z v i f x% R o v x ro u| z k c f c f r o m b m a x r m z ` n f c ` { q ` z { a z m c h ` z b x m z | `| fur ` | f ) r o z m v n o c ` n e f r k h b k x h x ` e b b z v c x ) r m | z kc fh m c | v r f z c f c m z { 4 ` r r o f x` c f r k c f ) r o f x r m z `n f c `8j f f kr o f z z ` e b m c m z m z b f z f b ` h h m z b k e n r m xm c f x h o f c `a k e ` i i { ) r o f zf r z k fq ` i m a ro f k e a m z c ` r k m e c ` { j f n z m x xx v h o ` x r o f v x f m a ` c f h o ` e k h ` i x m z r % j ` x f b m e x m c u` i n m z k r o c ) m z x k c | i f j f h ` v x f r o f b ` r ` ~ f z f x r m z f b a m ux v h o ` e x ~ f z x m z j f h ` v x f r o f z f kx ` ~ f i i # b f q f i m | f b i ` e nv ` n f r m ` b b z f x x r o f x r m z f b b ` r ` %

    R o v x ~ f o ` q f r o z f f | m x x k j if h z k r f zk ` a m z h m c | ` z k x m zm a x { x r f c x 7 r o f r { | f m a x r m z ` n f ) r o f ~ ` { m a f e r fz k e ub ` r ` k e r m r o ` r x r m z ` n f ) ` e b r o f i ` e n v ` n f am z `b b z fx x ke ur o ` r x r m z ` n f % R o f x | f h r z v c m a | m r f e r k ` i x { x r f c x k x r o f z f%a m z f i ` z n f ` e b q ` z k f b % ^ f ~ k ii h m e x k b f z m e i { r o m xu~ o k h o v x f c ` k e h m c | v r f z c f c m z { ` x ro f x r m z ` n f b fq kh u/ k e h i v b k e n q k z r v ` i m z | ` n f b c f c m z { + %R o f z f k x m e f k e o f z f e r j k ` x m a h m c | v r f z b f x k n e ~ o kh i7%` a a f h r x r o f x r m z ` n f m a b ` r ` 7 r o f v x f m a x f p v f e r k ` i x r m z #` n f ) ~ o f z f r o f b ` r ` k x | i ` h f b k e e v c j f z f b m z m z b f z f bh f ii x % J f h ` v x f r o k x m z n ` e k w ` r k m e x { x r f c ` i im ~ x r o f ` v r m #c ` r kh k e b f k e n m a k e a m z c ` r k m e j { c f ` e x m a x m c f` v r m c ` r k h ` i i { q ` z kf b z f n kx r fz ) r o f | z f a f zz f b c f r o m b m rx r m z ` n f k x r ` j v i ` z % A m z r v e ` r f i { ) r ` j i f x ` z f f h f i i fe r~ ` { x m a x r m z ke n k e a m z c ` r k m e ) a m z r o f | ` z ` i if i f e r zk f x` z f ~ ` { x m a f | z f x xk e n ` x x m h k ` rk m e x j f r ~ f f e m j g f h rx )x f f A k n v z f 0 % O f e h f ` e k e b f c ` { h ` z z { r o f ` x x m h k ` r k m e` e b ~ f h ` e z f x | m e b r m r o f p v f z { 7 * ^ o m kx ro f c m r o f z1 a @ z e m i b = * j { x h` e e ke n r o f * c m r o f z m a * h m iv c e )| k h d k e n r o f k e b f 8 ` r r o f f e r z { * @ z e m i b * ` e b z f r v z e #k en * C ` z { * a z m c r of *8 | m x k r km e * m a E @ C F %

    X v h o ` z f r z k f q ` i x { x r f c k x x m m j q k m v x r o ` r k r k x k en f e f z ` i v x f % ^ o ` r ) r o f e ) ` z f k rx a ` v i rx = \ ` z r m a r o f| z m j i f c f kx rx k e ro f z f i` r kq f | ` v h k r { m a k e a m z c ` r k m e #r o f i` z n f e v c j f z m a j i ` e d x k e r o f r ` ji f x% M r o f z | z m j #i f c x m h h v z ` r r o f r k c f m a x f ` z h o ) a m z r o f r ` j i f x ` z fe m r | z m | f z i { m z b f z f b % K e a` h r ) r o f * j f x r m z b f z * b f | f e b xm e r o f p v f x r k m e r o ` r kx f | f h r f b r m j f ` x d f b % A m z r o fp v f x rk m e 7 * ^ o m k x r o f c m r o f z m a % % % = * r o f m z b f z2 ) 8 ): ) 0 k x | z f a f z z f b ) ~ o f z f ` x * ^ o m k x r o f a ` r o f z m a

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    3/14

    R Z @ C \ 7 @ e K e r f z | z f r kq f @ x x m h k ` r k q f \ z m h f x x m z ~ k r o B f b v h r k q f H ` | ` j k i k r kf x 0 2 6

    K R F C ( E @ C F

    K G M O E

    : @ Z E M I B

    8 C @ Z [

    2 F B K R O

    A @ R O F Z M A J Z M R O F Z M A C M R O F Z M A

    F B K R O 4@ Z E M I B

    G @ C F X

    X @ C 4 G M @ E

    F B K R O

    @ Z E M I B

    C F I K X X @

    Aknvzf i # #@xxmhk` r kme j{ R`jifx % % = * | z f a f z x ro f m z b f z : ) 0 ) 8 ) 2 m z 0 ) : ) 8 )2 O f e h fe f k r o fz m z b f z k x m | r k c ` i a m z ` ii p v f x r k m e x % @ e m r o f zc ` g m z | z m j i f c m a . r ` j v i ` z x r m z ` n f kx ke k r x x kw f ik c k r ` #r k m e 4 a m z r m j f f a a k hk f e r r o f r ` j i f x kw f x c v x r j f | z f #x | f h k a kf b ) ` e b o f e h f ` x v b b f e z f p v f x r a m z f r z ` x | ` h fk x | m r f e r k ` i i { h ` r ` x r z m | o k h %

    R o f e f f b a m z f `x { ` b b k r k m e ` e b b f i f r k m e i f b r m r o fi kx r | z m h f x x m z ) ` e b c ` e { k e a m z c ` r k m e x { x r fc x x r f c a z m cr o f k b f `x m a K \ I # Q 1 ` e b X I K \ % > R o f a m z c f z f i v h kb ` r f b` e b z f a k e f b r o f c f r o m b m a | m k e r f z x ` e b i kx r x) ` e b r o fk b f ` x m a ` x x m h k ` r k m e i kx rx / A k n v z f : + % R o f v x f m a i kx rxc ` d f x kr | m x x k j if r m o ` q f b { e ` c k h ` i i { f r f e b f b r ` j if x @ x f h m e b v x f m a ik xr x k x ~ k r o ` x x m h k ` r k m e f | i k h k r i {b f a k e f b a m z h f z r ` k e m j g f h r x % R o v x r o f k ii v x r z ` r k m e m aA k n v z f : j h m v i b j f ~ z k r r f e 7

    9 @ r r z k j v r f @ 5 m a 9 % m j g fh r # 5 3 9 q ` i v f @ 5 #9 X m e 5 m a 9 @ z e m i b 5 k x 9 G ` c f x 5 f rh %

    O f z f ~ f x ff r o ` r r o f p v f x r km e * ^ o m k x r o f c m r o f z m a@ z e m i b = * kx b k aa k hv i r r m ` e x ~ f z ) j f h ` v x f kr ~ ` x e m r f #| i k h k r i { x r m z f b m e @ z e m i b . x ` x x m h k ` r k m e i k x r % R o k x p v f x r k m ec ` { j f ` e x ~ f z f b j { x f ` z h o k e n ` i i ` x x m h k ` r k m e i kx r x)v e r ki m e f kx a m v e b ~ o k h o o ` x r o f | ` kz / C m r o f z ) @ z e m i b + %

    KEAMZC@RKME

    / ` + M z b k e ` z { . ) X k e n i f ^ `{ I k x r 7 / @ ) J ) H +@ X X M H K @ R K M E i @ X R M AMJGI HR * @ZEMI B*0 7 0 # 0 T k 3 !x ) < | i

    / j { M e f R { | f m a \ ` k z f b @ x x m h k ` r k m e I k x r 7 K t ` r r @ ) q ` i @ + / ` r r J ) q ` i J +

    Aknvzf :##@xxmhk` r kme j{ Ikx rx

    X I K \ ~ ` x r o f a k zx r f c j f b b k e n m a ` i k x r# | z m h f xx k e nh ` | ` j k i k r { ~ k r o k e ` o k n o f z i f q f i i ` e n v ` n f ` e b ~ ` x `a m z c ` r k q f z k e n x r z v h r v z f R o f k b f ` m a z k e n x ~ ` x h z{ x r ` i #i kw fb j { X v r o f z i ` e b ? ` e b Z m j f z r x ; ` e b v x f b ~ k r o b ` r `x { x r f c x b f x k n e f b | z k c ` z k i { a m z n z ` | o k h x ` e b h m c | v r f z #` k b f b b f x k n e % Z m j f z r x o ` x ` i x m b f q f i m | f b ` i ` e n v ` n fr m z f a f z r m z k e n x / H i ` x x M z k f e r f b Z k e n @ x x m h k ` r k q fI ` e n v ` n f 7 H M Z @ I + K e x v h o i ` e n v ` n f x ) r o f ` x x m h k` #r k m e x ` z f j v k i b k e r m r o f x r z v h r v z f j { ` i i m ~ k e n j i m h d xm a k e a m z c ` r k m e r m j f r o z f ` b f b j { z k e n x ~ o k h o h ` z z {r o f ` x x m h k ` r k m e x j f r ~ f f e r o f j i m h d x m a b ` r ` % R o k x k xk ii v xr z` rf b j { A k n v z f 8 ) ~ o f z f * G M O E * . x * | ` z f e r m a *z ke n n m fx r o z m v n o * E V J H * ` e b E V J @ * ) ~ o k hok e r v z e zf a f zf e h f * F b k r o * ` e b * @ z e m i b * z f x| f h rk q f i{ R o v x G m o e kx r o f | ` z f e r m a j m r o F b k r o ` e b @ z e m i b @ x k c ki ` z x r z v h rv z f o ` x j f f e k c | i f c f e r f b ~ k r o k e \ I - Kj { B m b b % 0< R o f b v ` i k r { m a h f z r ` k e z f i ` r k m e x o k | x ) x v h o` x7 * b f a k e f b j { * ` e b * b f a k e f x * m z * r m ro f i fa r m a *` e b * r m r o f z k n o r m a ) * f r h % ) i f b rm r o f e f f b a m z `h m e e f h r m z j i m h d ) o f z f k i iv x r z` r fb j { r o f r o z f f E V J X % 'K e f x x f e h f ) ro f E V J z f | z f xf e r x ` r ~ m # ~ ` { x ~ k r ho a m zr z ` e x a f zz k e n m v r m a m e f zk e n ` e b k e r m ` e m r o f z % R o f x v j #z m v r k e f x m z c ` h z m x | ` x x ` i m e n r o f z k e n v e rk i r o f { ` z z kq f` r ` E V J % R o f { * x ~ k r h o * k r) ` e b | ` x x k e r m r o f m r o f zz k e n ) | ` x x k e n ` i m e n r o f x f h m e b z ke n / ` e b m r o f z x ` xa m v e b + | k h d k e n v | k e a m z c ` r k m e v e r ki r o f { z f r v z e r m r o fm z k n k e ` i E V J ` e b z f # f e r f z ro f ak z xr z k e n % R o k x ` i i m ~ x` e x ~ f z x r m p v f x r k m e x x v h o ` x * ^ o m kx r o f c m r o f z m a@ z e m i b = * ` x ~ f ii `x * ^ o m kx r o f x m e m a C ` z { = * M e fm a r o f c ` g m z b k x ` b q ` e r ` n f x m a r o f xf x r z v h rv z f x m h h v z xm e ` b b k e n ` e f ~ ) e m r | z f q k m v x i { ` e r k h k | ` r fb ) ` x x m h k ` rk m e %R o f m | f z ` r k m e f k ro f z kx k c | m x x k j i f ) z f p v k z k e n ` h m c | i f r fz f # h m c | k i ` r k m e ) m z f i xf h i v c x { ) | ` r h o k e n m e ` b b k r k m e ` ij i m h d x / A k n v z f 2 + ` e b z f p v k z k e n x m | o k x rk h ` r fb n ` z j ` n fh m i i f h r m z x % @ z f h f e r x v z q f { j { N z ` { 00 b f x h z kj f x r o f x f` e b x k c k i ` z x r z v h r v z f x %\ z m j ` j i { r o f ak z xr h m e h f | r k m e m a ` r z v f z f i ` rk m e ` ib ` r ` x r zv h r v zf ~ ` x r o ` r m a D m h o f e . x @ C E K \ X 0 : ) 08/ h m b f b k e K \ I # Q + % D m h o f e b f ` i r ~ k r o ro f | z m j i f c m ai m n k h ` i k e a f z f e h f z ` r o f z r o ` e b ` r ` x r z v h r v z f x ) j v r o fz f h m n e k w f b r o ` r h m e q f e r k m e ` i c f c m z k f x ~ f z f k e ` b f p v ` r f` e b r v z e f b r m r o f z f i` r k m e ` i x r z v h r v z f ) ~ o k h o v e a m z #r v e ` r f i { ~ ` x e f q f z a v i i { z f ` i k w f b %

    R o f z f o ` x j f f e ` h m e x k b f z ` j i f ` c m v e r m a ~ m z d m eq ` z k m v x *p v f x r k m e # ` e x ~ f z k e n c ` h o k e f x % * @ c m e n r o fj f r r f z f ` z i { c ` h o k e f x ~ f z f I k e b x ` { . x X @ B X @ C 02~ o k h o h ` e b k n f x r F e n i k x o x r ` r f c f e r x ` j m v r a ` c k i { z f i` #r k m e x o k | x ` e b h m e x r z v h r ` a ` c k i { r z f f ) ` e b r o f J @ X F #J @ I I | z m n z ` c m a N z f f e ) f r ` i % 06 ~ o k h o ` e x ~ f z xF e n i k x o p v f z k f x ` j m v r a ` h r x r ` d f e a z m c ` x r { i kw f bj ` x f j ` ii * { f ` z j m m d % * R o f x f k e q f x r kn ` r k m e x v x f h m e #

    777Kr kx kerfzfxrken rm emrf ro`r rofzf kx em effb amz EV JX ka~f `zf ~kiik en rm xrmzf `ii keqfzxf `eb xkcki`z zfi`rkmexok|x f#|ikhkri{) ~kro xf|`z`rf zkenx amz h`ho%

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    4/14

    021 \zmhf fbkenx##0;1? @H C E`rk

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    5/14

    R Z @ C \ 7 @ e K e r f z | z f rk q f @ x x m h k ` r k q f \ z m h f x x m z ~ k r o B f b v h r k q f H ` | ` j k i k r k f x 0 2 >

    qferkme`i b`r` xrzvhrvzfx) `eb rofkz zf`i hmerzkjvrkmex~fzf rm `e`i{xkx ma rof Fenikxo i`env`nf `eb imnkh`ikeafzfehf j{ hmc|vrf z% Xkccm ex 01 |zmqkbfx rof cmxrhmc|ifrf xvzqf{ rm b`rf ma rokx ~mzd%

    C`zme `eb Ifqkfe70>)0?)0; o`qf bfxknefb mef marof cmxr frfexkqf `eb hmc|ifrf x{xrfcx bf|febken me` zfi`rkme`i b`r` akif% Rof{ bf`i ~kro jke`z{ zfi`rkmex`x rofkz jvkibken jimhdx) k%f%) f`ho `xxmhk`rkme o`xrozff hmc|meferx7 mef zfi`rkme `eb r~m m|fz`ebx% Ke`bbkrkme) rof{ `iim~ rof e`cken ma rof ferkzf `xxmhk`rkme/rzk|if+ nkqken zkxf rm ` amvzro hmc|mefer% Zfafzfehf h`ejf c`bf vxken `e{ ma rof amvz hmc|mefe rx) `eb rofzf`zf amvz hm|kfx ma f`ho `xxm hk`r kme# mef hm|{ amzf`ho ~mzb ~okho h`e zfafzfehf kr%

    Kr kx mei{ zfi`rkqfi{ zfhferi{ ro`r rof kbf`x ma o`xo#hmbken o`qf jffe `||ikfb j{ Afibc`e `eb Zmqefzrm `xxmh k`rkme r`jifx% :) :0 Rof `xxmh k`rkmex `zf ) mahmvzxf) h`zzkfb j{ ` ef~ r`jif) zfafzfehfb j{ ` *bm vji fo`x o* rfhoekpvf% A fibc `e. x i`env`nf) @I) kx bfxknefbrm jf hmc|kifb z`rofz ro`e kerfz|zfrfb% @I o`x jffef|`ebfb rm jf rozff i`env`nfx ke mef7 @ rzvf @I NM Ir{|f `infjz`kh i`env`nf ~kro avii evcfzkh`i hmc|vr`rkmea`hkikrkfx4 `e `xxmhk`rkqf |zmhf xxmz4 ` i`env`nf ~okhom|fz` rfx me xfrx `x krx j`xkh ferkrkfx ~kro ` avii hmc#|ifcfer ma xfr m|fz`rkmex% Rof i`env`nf em~ `iim~xamz hfzr`ke dkebx ma zfxrzkhrfb hmc|mxkrkme ma `xxmhk`#rkmex% X|fhkakh`ii{) ka ` xferfehf kx ` rzk|if 9 @)M)Q5)rofe < mz Q c`{ krxfia jf `emrofz rzk|if% Rokx `iim~xamz nfefz`rken E#|i`hf zfi`rkmex mvr ma rof j`xkh jke`z{zfi`rkmex% Om~fqfz) rof i`env`nf o`x)k exrf`b ma b{e`c khkeafzfehf) ` BM imm| ~okho kx xiknori{ cmzf hvcjfz#xmcf) `eb a`z ifxx fhmem ckh`i ma xrmz`nf ro`e xrzkhrimnkh`i keafzfehf h`|`jkikrkfx%

    E`rvz`ii{) rof xkc|ikhkr{ ke vxken b`r` x{xrfcx bf#|febx me rof zfrzkfq`i i`env`nf% ^f o`qf `izf`b{xvnnfxrfb ro`r rof |zmjifc kx |`zrk`ii{ ` avehrkme maf|ikhkr qfzxvx kc|ikhkr xrmz`nf% Ka rof a`cki{ zfi`rkme#xok|x `zf r`dfe ke rof c`if ikef`nf rzff ma amvz nfefz`#rkmex /Aknvzf 6+ ~ofzf f`ho |`zfer o`x r~m xmex) `eb~f hmexkbfz zfi`rkmex f`ho ~ `{ /qkw% a`rofz `eb x m e +~f o`qf7 01 nzf`r nz`eba`rofz # xme4 :2 nz`eba`rofz #xme4 :? a`rof z # xme4 02 jzmr ofz4 :2 vehif # ef|of~4:2 akzxr hmvxkex4 8: xfhmeb hmvxkex4 8: akzxr hmvxkex#mehf#zfcmqfb4 `eb 01 nzf`r vehif # ef|of~% Rokx xom~x` rm r`i ma 02 f|ikhkr zfi`rkmex qfzxvx :0< kc|ikfbzfi`rkmex% Mjqkmvxi{) ` i`znf evcj fz ma zfi`rkmexok|xcvxr jf f|ikhkri{ xrmzfb amz z`|kb `hhfxx) hmc|` zfb~kro rof hmxr ma `e kc|ikfb zfi`rkmexok| xf`zho ~kroxc`ii xrmz`nf zfpvkzfcfer%

    R Z @ C \RZ @C\ /Rkcf#xo`zfb Zfi`rkme`i @xxmhk`rkqf Cfcmz{

    \zmnz`c+ kx r~m |`hd`nfx ma avehrkmex7 rof akzxr##rof

    NZF@R#NZ@EB\@ZFERNZ@EB#\@ZFER

    A @ R K r F Z u/\@ZFE< < / + < < < <

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    6/14

    0 2? \ z m h f f b k e n x # #0 ; 1 ? @ H C E ` r k m e ` i H m e a f z f e h f` z f r z f ` r f b f p v ` i i { ) n k q k e n e m e f ` | z k m z k r{ % ' J { ` | | z m #| z k ` rf i { b f x kn e ` r k e n r o f r o z f f h m c | m e f e r x `x j f k e nh m e x r ` e r m z q ` z k ` j i f ) r o f z f ` z f ? * p v f x r k m e x * r o ` rc ` { j f ` x d f b m a r o f b ` r ` x r zv h r v z f % @ n ` k e v x k e nA f i b c ` e . x e m r ` r k m e ) ~ k r o ` x ik n o r z f # m z b f z k e n ) ro f {` z f 7

    A< @ / < + 3 QA0 @ / k x e m r ` p v f x r k m e ` r ` ii j v r `z f p v f x r a m z ` b v c | m a ro f ` x x m h k ` rk q f c f c m z { ) ` e b k eR Z @ C \ x v ho ` b v c | kx n k q fe % P v f x r k m e A < x k c | i{` x d x 7 * B m f x @ / < + 3 Q = * ` e b r o f ` e x ~ f z kx ` d k e bm a r z v r o q ` i v f % K e r o f h ` x f ~ o f z f @ ) < ) ` e b Q ` z f ` i ix k e n i f r m e x ) r o f r z v r o q ` i v f k x ` x r z ` k n o r a m z ~ ` z b 0 m z x o m ~ x r o f@ x x m h k ` r k m e R ` j i f x ) j m r o a m z r o f h m i i kx k m e h ` x f / > j + )` e b a m z r o f e m z c ` i h ` x f / > ` + %I M N K H @ I K E A F Z F E H F \ @ H D @ N F

    R o f ` x x m h k ` rk q f c f c m z { ` h h m c | i k x o f x ` d k e b m ah m e r f e r ` b b z f x x ` j k i kr { j { v x k e n r ~ m p v k h d o ` x o f x r m` b b z f x x b ` r ` ) ` e b r o f ` h h f x x r k c f k x f x x f e r k ` ii { ke b f #

    | f e b f e r m a r o f xk wf m a x r m z ` n f % ' J v r a m z c m x r ) k a e m r` i i ) ` | | i k h ` r k m e x ) r o f z f ~ k ii j f c ` e { ` x x m h k ` r k m e x k c | i k f bj { ` x k e n i f ` x x m h k ` r k q f x f e r f e h f % R o k x | m x f x r ~ m z f `i| z m j i f c x 7

    0 + r o f v x f z c v x r c ` d f x v z f r o ` r ` i i ` x x m h k ` r k m e xr o ` r ` | | i { ` z f ` h r v ` i i { k e x f z r f b k e r m r o f x r z v h #r v z f% R o k x kx f r z f c f i { r f b k m v x ` e b | z m e f r mf z z m z ` e b m c k x x k m e x 4

    : + f | i k h k r x r m z ` n f z f x v i r x k e n z m x x k e f a a kh k f e h { %R m ` i if q k `r f r o k x) R Z @ C \ | z m q k b f x r o f a ` h ki k r{ r m

    b f a k e f ) ke ` h o ` z ` h r f z k x r k h ~ ` { ) ~ o ` r m r o f z ` x x m h k ` r k m e xc ` { j f b f z k q f b a z m c ` n k q f e ` x x m h k ` rk m e % R o k x | f z c k r x` ii m a r o f k e a m z c ` r k m e r o ` r c k n o r j f h m e r ` k e f b k e `x ke n i f ` x x m h k ` rk m e m z x f p v f e h f m a ` x x m h k ` rk m e x r m j fv r ki kw f b k e x rf ` b m a o ` q k e n r m f e rf z r o f x ` c f k e a m z c ` r k m ez f b v e b ` e r i { k e f` h o m a ro f x f q f z` i ~ ` { x r o ` r k r c k n o r j fz f a f zf e h f b % R o f e ` c f m a r o f a v e h r k m e ~ o k h o c ` d f x ro fb f a k e k r k m e k x b b z % R o f x { e r ` m a r o f a v e h r k m e h ` ii k x7'@x rof xkw f ma xrmz`nf kehzf`xfx) rofzf `zf cmzf hmiikxkmex)jvr rof{ `zf pvkhdi{ zfxmiqfb) `eb bm emr h`vxf ` xknekakh`erbfi`{% Fqfe ke frzfcf |`romimn kh`i h`xfx) rof{ keqmiqf mei{zfi`rkqfi{ ckemz ikxr xf`zhofx%

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    9/14

    R Z @ C \ 7 @ e K e r fz | z f rk q f @ x x m h k ` r k q f \ z m h f x x m z ~ k r o B f b v h r k q f H ` | ` j k i kr k fx 0 6 0

    OK/@)M+y Q XXMHK@RKMEk 3

    O:/@)M+

    k AI@Nj

    3 O : / @ . ) M . +

    ) k R i ! k # % ! ! i m r )F i q K : 0 A _ R K ) % % %K 0 y

    Aknvzf >#@xxmhk`rk me R`jifx `+ Emzc`i H`xf7 Em Hmiikxkme(/b bz) /Z 3 F_\++7 ~ofzf Z kx rof zfi`rkme /* @*hmc|mefer+ rm jf bfakefb) `eb *F _\ * kx ` imnkh`if|zfxxkme ~okho kx rof bfakekrkme%

    Jfamzf |zfxferken f`c|ifx ma rof vxf ma bbz) r~mzfi`rkme`i m|fz`rmzx cvxr jf bfakefb7

    Rof akzxr kx hmeqfzxf) bfemrfb ke RZ@C\ j{*%HME%*% Hmeqfzxf xkc|i{ keqfzrx rof mzbfz marof r~m zfi`rkme`i `znvcferx7'

    Z/){+ 7 #u %HME% Z/{)+Rovx *HOKIB MA* kx rof hmeqfzxf ma *\@ZFERMA*4 *^KAF MA* kx rof hmeqfzxf ma *OVX#J@EB M A* 4 *X \M VX F* kx krx m~e hmeqfzxf4`e{ x{ccfrzkh zfi`rkme kx krx m~e hmeqfzxf%

    Z f i ` r k q f \ z m b v h r 7 Rof zfi`rkqf |zmbvhr mz hmc#|mxkrkme ma r~m zfi`rkmex kx hmccmei{ bfemrfb j{Z0-Z :) `eb rokx kx rof emr`rkme vxfb j{ RZ@ C\%

    Qq[uw T/Z0-Z:+/){+#%%## Zu/)w+ @ Z:/w){+SX|fhkakh`ii{)(/b bz)/ Z ` 3 Z 0-Z:++

    ~mvib rfii RZ@C\ ro`r Z`/){+ ka ` *w* h`e jfamveb xvho ro`r Zi/)w+ `eb Z:/w){+%

    Jfxkbfx rofxf r~m zfi`rkme`i m|fz`rmzx) rozff imnkh`im|fz`rm zx `zf `q`ki`jif7 %@% /hmegvehrkme+4 %Q% /bkx#'Rof zfi`rkme`i emr`rkme vxfb j{ RZ@C\ kx bfzkqfb azmc rofamzc`r *Zk ) {* j{ fehimxken rof zfi`rkme`i `znvcferx ke|`zferofxfx% Rokx kx ` xiknor bkxrmz rkme ma rof `xxmhk`rkqf emr`#rkme7 @/M+ 3 Q) jvr rof mz bfz kx |zfxfzqfb7 Z/){+ cf`exro`r Z/+ u# {%

    j+ Hmiikxkmegvehrkme +4 %E% /efn`rkme+% Ake`ii{) rofzf `zf xk fpv`ikr{m|fz`rmzx7 %FP%4 %EF%4 %NF%4 %IF%4 %NR%4 %IR%4 ~kromjqkmvx cf`ekenx%

    F`c|ifx ma RZ @C \ zfi`rkme`i bfakekrkmex `zf7(/bbz) /JKNNF Z 3 JKNNFZ - JKNNFZ++Jknnfz kx rz`exkrkqf(/bbz )/JK NNFZ/ @)J+ 3 JK NNFZ /@)P+ %@% JKN#NFZ /P)J+++

    f`hr x`cf bfakekrkme vxken f|`eb fbamzc`r##x|fhka{ken bv cc{ `znvcferx%

    (/bbz)/XKJ 3 JZM %Q% XKX %Q%%H ME%XK J++` xkjiken kx ` jzmrofz mz ` xkxrfz `ebkr kx x{ccfrzkh%

    (/bbz )/OVX J@EB 3% HME% KAF++Ovxj`eb kx rof hmeqfzxf ma.^kaf%

    (/bbz ) /JKNNFZ 3 I@ZNFZ++Jknnfz `eb I`znfz `zf x{em emcmv x%

    (/bbz)/JZM/H@KE)@JF I+ 3 XKJ/H@KE)@JFI+%@% XF_ /@JFI)*C@IF*+++` j zmr ofz kx ` c`if xkjiken% Emrf ro`rhmexr`erx `zf bfemrfb j{ fehimxkenrofc ~kroke bmvjif pvmrfx%

    (/bbz)/C@IF/_+ 3 XF_/_)*C@IF*+++bfakefx rof ve`z{ zfi`rkme C@IF%

    u/bbz)/JZM/_)[+ 3 A@ROFZ/_)W+ %@% A@ROFZ/[)W+ %@% C@IF/[+%@%_%EF%[+

    ` jzmrofz kx ` c`if maax|zken ma rofx`cf a`rofz) mrofz ro`e mefxfia%

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    10/14

    06: \z mh f f b k enx # #0;1? @H C E` r k me` i Hm eaf z f eh f(/bbz)/XRF\ CMROFZ 3 A@ROF Z - X\MVXF%@% %e CMROFZ++

    ` xrf|cmrof z kx rof x|mvxf ma rof a`#rofz ~om kx emr rof cmrofz%

    (/bbz )/EF\ OF^ 3 XKJIKEN - XME++` ef|of~ kx rof hmc| mxkrkm e ma xkjiken`eb xme%

    (/bbz)/VEHIF 3 %HME%/XKJIKEN-XME+++ke ` c`if ~mzib) vehif kx rof hme#qfzxf ma ef|of~ `eb c`{ jf bfakefb`x rof hmeqfzxf ma rof bfakekrkme maef|of~)

    =/bbz)/VEHIF 3 %HME%EF \OF^+ +mz xkc|i{ `x rof hmeqfzxf ma ef|of~%

    Cmzf hmc|if f`c|ifx ~kii `zkxf) `eb RZ@C\ kx|zf|`zfb rm o`ebif bfakekrkmex m a rof `jmqf amzc rm` ifqfi ma hmc|if kr{ qkzrv`i i{ veikckrfb% Rofzf kx mefc`gmz hmexrz`ker |i`hfb me rof bfakekrkmex7 zfi`rkmexcvxr jf bfakefb xm ro`r `r if`xr mef xfr kx nfefz`rfb%Rokx nfefz`rfb xfr h`e rofe jf kerfzxfhrfb ~kro mzgmkefb ~kro `emrofz xfr) mz mrofz~kxf c`ek|vi`rfb% Rofkerfer ma rokx hmex rz`ker kx ro`r rofzf jf r if`xr mefzfafzfehf xfr% Rof *~o mif x| `hf* c`{ efqfz jf vxfb`x ` zfafzfehf xfr%

    (/bbz)/Z8 3 %E%Z%0 %Q% Z:+ +kx kiifn`i xkehf kr x|fhkakfx ` nimj`ihmc|ifcfer /ma Zr+) k%f%) kr zfafzfehfxrof *~omif x|`hf%*

    (/b bz) /Z ` 3 %E%Z 0%@% Zu++kx ifn`i jfh`vxf kr x|fhkakfx ` zfi`rkqfz`rofz ro`e ` nimj`i hmc|ifcfer) k%f%)Z) 0 |i`hfx ` hmexrz `ker me Z w emr merof ~omif x|`hf%

    Kc| ifcfer`r kme ma KeafzfehfRof keafzfehf |`hd`nf fxxferk`ii{ hmexkxrx ma r~m

    c`hokef#hmbfb zmvrkefx7 mef rm *hmc |ki f* rof bfake#krkme `eb mvr|vr ` *|zmnz`c*4 mef rm kerfz|zfr ro`r|zmnz`c `r zfrzkfq`i rkcf% Rofzf `zf `ixm xfqfz`i aveh#rkmex rm feo`ehf rof vxf ma rofxf zmvrkefx jvr rof{ `zfbfxhzkjfb fixf~ofzf%

    Rof ~omif xrz`rfn{ ma rof keafzfehf cfho`ekxc kx rm`iim~ rof vxfz rm c`df ` xkenif) xkc|if zfrzkfq`i h`ii)`eb RZ@C\ ~kii nfefz`rf) ~ofzf efhfxx`z{) ` cvhocmzf hm c|if zfrzkfq`i h`ii ~okho ~kii fehmc|`xx `iirof bfakefb kc|ikh`rkmex ma rof xkc|if h`ii% Rovx) kamef `xdx rof RZ@C \ pvfxrkme7 *^ om `zf Gmo e.x xkj#ikenx=*7

    (/zi ) XKJIKE N )GMOE)''+)rofe) ka |zfqkmvxi{ xkjiken o`b jffe bfakefb7

    /bbz)/XKJIKEN 3 JZM %Q% XKX %Q %% HM E% XKJ#IKEN++)

    rof nfefz`rfb h`ii rm rof `xxmhk`rkqf xrzvhrvzf ~mvib jf7u/ zK )JZ M4 XKX )GMOE)''+Hu/zi )JZM4 XKX)'' )GM OE+u/zK) XKJIKE N)'' GMOE+( /zi )XKJ IKEN )GMOE )''+%

    Rof `hrv`i f|`ebfb h`ii kx xiknori{ bkaafzfer) jvr ro`rkx ` rfhoekh`ikr{ kzzfifq`er rm rokx bkxhvxxkme% Rovx) krkx xffe r o`r rof hmc|kifz kx ` |kfhf ma xmar~`zf amznfefz`rken RZ@C\ |zmhfbvzfx azmc xmvzhf bfxhzk|rkmexma ~o`r rof |zmhfbvzf xomvib `hhmc|ikxo%

    @r zfrzkfq`i rkcf) ` zfrzkfq`i *|zf|zmhfxxmz* immdxrm xff ka rof *zfi `rkm e* / *@ * hmc |mefer+ o`x jffenkqfe ` bfakekrkme% Ka emr) rof |zf|zmhfxx mz fkrx `ebzfrzkfq`i |zmhffbx* `b bfxhzkjfb f`zikfz% Ka rof e`cfkx amveb rm o`qf jffe bfakefb) rofe rof *kerfz|zfrfz*kx h`iifb ke rm kerfz|zfr rof |zmnz`c nfefz`rfb j{ rofhmc|kifz `r rof rkcf kr ~`x bfakefb% Rokx |zmn z`c rfiixrof kerfz|zfrfz ~o`r RZ@C\ avehrkme h`iix `zf rm jfc`bf) `eb ~o`r rof avehrkme `znvcferx `zf rm jf%

    Kr xomvib jf emrfb ro`r rof hmc|kifz `hrv`ii{ |vrx mvrr~m | zmnz `cx7 mef ~okho) nkqfe ma Z/){+) jvkibx` ho`ke rm nfefz`rf {4 rof mrofz jvkibx rof `||zm|zk`rfho`ke ke rof m||mxkrf bkzfhrkme) azmc { rm % Rovxpvfxrkme AK7 (/zi)@)

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    11/14

    R Z @ C \ 7 @ e K e r f z | z f rk q f @ x x m h k ` r k q f \ z m h f x x m z ~ k r o B f b v h r k q f H ` | ` j k i k r kf x 0 6 8

    /E@CF+

    E@CF R@JIF

    R O K X E @ C F R @ J I F K X K B F E R K H @ IR M R O F M R O F Z E @ C F R @ J I F X / A K N % 1 +F _ H F \ R A M Z R O F \ M K E R F Z J I M H D %

    \ M K E R F Z R M F J H B K HZ F \ Z F X F E R @ R K M E M A B F A K E K R K M E

    @ X F E R F Z F B J [ V X F Z

    \ M K E R F Z J I M H D / \ J+

    ) K ) K ) K % K ) KS 0 T I

    \ZMNZ@C AMZ@EX^FZKEN A0 7( / Z I ) @ ) M ) ' ' +

    I K X R M A @ I I M R O F ZZ F I @ R K M E X R O @ R R AK KXZ F I @ R K M E KX BFAKEFB

    K E R F Z C X M A\ Z M N Z @ C A M Z

    @ E X ^ F Z K E N A :7( / Z I ) @ ) ' ' ) Q +

    Aknvzf ?#Bf a kefb Zfi` rkme E`cf R`jifA v i i b f r ` k ix m a r o f z f i ` r k m e ` i | ` h d ` n f ~ k i i j f b k x h v x xf bk e ` a m z r o h m c k e n | ` | f z %@ \ \ F E B K _ @F ` c | i f x m a R Z @ C \

    R o k x @ | | f e b k n k q f x j m r o x k c | i f ` e b c m z f h m c | i k #h ` r fb f ` c | i f x m a r o f v x f m a R Z @ C \ % R o f c m x r z f if #q ` e r k e a m z c ` r k m e ` j m v r R Z @ H i ` e n v ` n f e f h f x x ` z{ r mv e b f z x r ` e b k e n r o f f ` c | i f x k x 7

    0 + @ x x r ` r f b f ` z i k f z ) a v e h r k m e h ` i ix ` z f x k n e ` i f bj { r o f x o ` z | x k ne / ) + ) ` e b ` z f f e h i m x f b k e ` ek c c f b k ` r f i { # a m i i m ~ k e n | ` k z m a | ` z f e r o f x f x ) ~ k r or o f a k z xr ` z n v c f e r j f k e n r o f e ` c f m a ro f a v e h #r k m e %

    : + R o f f e b m a ` R Z @ H i ` e n v ` n f k e | v r i ke f k x x kn #e ` i f b j { ` e ` | m x r z m | o f / . +% V e i k d f R Z @ H i ` e #n v ` n f ) r o f f | f z k c f e r ` i q f z x k m e m a k r k i i v x r z ` r f bo f z f ) V E C K X R ) z f p v k zf x / j f h ` v x f m a r o f f f h v #r k q f v e b f z ~ o k h o k r m | f z ` r f x + ` h ` z z k ` n f z f r v z ej f a m z f k r h ` e | z m h f x x r o f k e | v r i k e f ) ke ` b b k r k m er m r o f ` | m x r z m | o f %

    H m c | i f r f v e b f z x r ` e b k e n m a r o f c m z f h m c | i k h ` r f b f #` c | i f m a r o f p v f x r k m e ` e x ~ f z k e n x { x r f c /A k n v z f 0 < j +z f p v k zf x c m z f b f r ` ki f b d e m ~ i f b n f m a R Z @ H i ` e n v ` n f )~ o k h o c ` { j f a m v e b k e r o f h k r f b z f a f z f e h f x %

    R o f a k z xr x f r m a f ` c | i f x / A k n v z f ; ` + b f x h z k j f x r o f

    a ` c k i { r z f f k e a m z c ` r k m e m a A k n v z f 0 % R ~ m z f i ` r kq f i {h m c | i k h ` r f b p v f x r k m e x ` z f r o f e ` x d f b % R o f ak zx r c ` {j f x r` r f b ` x 7 * ^ o m ` z f r o f | f m | i f ~ o m o ` q f j z m r o f z x~ o m x f ` n f k x 1 2 = * R m k i i v x r z` r f r o k x k e b f | r o ) ~ f a k z x r` x d * ^ o m k x ` n f b 1 2 = * % R o f e * ^ o m ` z f r o f | f m | i f~ o m h ` e h ` i i r o k x 1 2 { f ` z m i b . j z m r o f z . = * % M j q k m v x i { )a m z m e f m a r o f x f | f m | i f / C ` z { + ) r o f z f kx e m ` e x ~ f z )a m z e m m e f h` i ix of z * j z m r o f z * % R o f x f h m e b p v f x r km e` x d x7 * ^ o ` r k x r o f ` n f m a r o f a ` r o f z m a r o f j z m r o f zm a C f i k x x ` . x c m r o f z = * X r m z f r o f ` e x ~ f z / r o kx ` nf + k er of a m z c h ` ii fb * E V C * % E m ~ C f i k x x ` .x c m r o f z k xF b k r o ) F b k r o . x j z m r o f z k x @ z e m i b ) @ z e m i b . x a ` r o f z k xG m o e ) ~ o m k x 12 { f ` z x m i b % O f e h f ) ` h ` i i a m z r o f x r z k e nE V C | z ke r x * 1 2 * %

    R o f f ` c | i f x m a A k n v z f ; j x o m ~ r o f a kz x r v x f m a b b z )~ o f z f ~ f ` b b r m r o f a ` c k i { m a A k n v z f ; ` r o f x k x rf z #o m m b m a G m ` e ` e b @ i k h f % R o f ak z x r b f a k e k r k m e m a X kj i k e no ` x e f q f z ` | | f ` z f b f | i k h k ri { k e ` e ` x x m h k ` r k m e % R o fx f h m e b b f ak e k rk m e f e r f z f b h m c | i f r f x r o f g m j ` e b R Z @ C \k x e m ~ ` j i f r m z f r v z e ` i i m a @ i k h f . x x k j ik e n x %

    @ x ` c m z f h m c | i k h ` r f b f ` c | i f m a r o f v x f m aR Z @ C \ ) ` z v b kc f e r ` z { * p v f x r k m e ` e x ~ f z ke n x { x r f c * )~ k r o r o f x ` v z v x ) ~ ` x h m b f b % K r xo m v i b j f e m r f b ro ` r r o kxk i i v x r z ` r k m e k x e m r k e r f e b f b r m h m e x r k r v r f ` n m m b x { x r f c

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    12/14

    062 \zmhffbkenx##0;1? @HC E`rkme`i Hmeafzfehf

    (/BZ )A@ROFZ )@ZEMIB)GMOE+(/BZ )A@ROFZ )G@CFX )@ZEMIB+(/ BZ )JZMROFZ )X@C4GM@ E) GMOE+(/BZ )JZMROFZ )FBK RO)@Z EMIB+P/BZ %CMROFZ @ZEMIB%C@Z[+" / B Z )CMROFZ CFIKXX@ %FBK RO+(/ BZ )@NF%GMOEK C@Z[ 1 2+(/BZ )@NF%@Z EMIB%8;+(/BZ %@NF%FBS RO%86+ *" /Z I%JZMRO FZ)' ' %( /ZI)@ NF)''% 12+ + *X@ Z GM@ E(/ZI)@NF)'')12+ *GMOEKC@Z[P /ZI)J ZMROFZ %''%GMOE+ *X@CGM@E( /ZI%JZMRO TZ % '')C @Z[+ *( /ZI)@N F) ( /Z I)A@ ROFC r /ZI% JZM RO FZ ) r /ZI) aiM ROFC %CFIK XX@ ) ' ' + % ' ' + %'' + )'EVZ'+ *(/HI)EVC+ .12

    Aknvzf ;` #A` cki { Zfi`rkmexok|x-Efxrfb Pvfxrkmex

    (/ BZ )JZMROFZ )GMO E%X@ C+ ( /BZ )XKXRFZ %X@C%GM@E+(/BZ )XKXRFZ %GM@E%@IKHF+ .(/BBZ)/XK J 7 JZMROFZ %Q% XKXRFZ %Q %% H ME % XK J+ +*"/ZI%XKJ )@IKHF) r' + *G*X[EME[C -8/4< KX KJC.^OKHO CMBFI MA KJC BM ^F O@Q F =*@EX FZ' N>

    Aknvzf 0

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    13/14

    R Z @ C \ 7 @ e K e r f z | zf r k q f @ x x m h k ` r k q f \ z m h f x x m z ~ k r o B f b v h r k q f H ` | ` j k i k r k f x 0 66

    PVFXRKME @EX^ FZKEN \ZMNZ@E

    ( / B X ) X R @ Z R ) / ( / 0 + X ) A A u ( / Z X + + r / X X ) A A ) + ( / H I ) ( ( / H X ) A A + + ( / H I ) X R @ ZR + + + *( / K u ) X [ E ) / ( / H X) u ) _ + ( / F L ) (( / H M ) f + ) ' ) _ ) / ( ( / Z I ) X [ E ) _ u ' ' + + + + + ( / X X ) X [ E ) _ + .( / BX ) H D % / r ( / Z I ) X [ E ) _ ) ' M ' + ( / A %u )( ( / H I u f + ) ) / ( /B Z ) X [ E ) _ ) _ + _ + )/ ( ( / H I ) u + + + + + f / x x ) h D ) + *( / B X ) B Z ) / ( / B Z ) ( / H I n H D ) @ + ) ( / H I ) H D r M + ) ( / H I ) H D u Q + + + + ( / X X u B Z u @ ) M ) V + *(/ B")ZI) /( /ZI)L/HI) X[E)@+ ) r / H I) X[E) M+ ) r/HI)X[Eu Q+ + + +( /XX mZI u@ )M)Q + .( / Ku| iE\VRr /( /HI ) MZ) a( /HX| n A+ ) ( /\X) ) ( ( /HX) AA+ +( K /HXn AA+ )( /\X ) ) f( /HX )AA + +f r /HX )AA + + + + *( /B X uX [ EM E [E ) H ( / B X ) M ) f ( H H X ) A A + + ( / \ X ) ) r r / H X r A A + + r H B Z u X [ E ) ( ( / H X ) A A +) ( ( / H I ) f + + r / T S Z ) X [ E ) ( r / H I ) M + ) ( r / H I ) L + + + + .( / B X )^ O @ R ) / ( /\ X ) @ EX ^ FZ K ( / \ X u | ( a / H X ) A A + + ( / B X ) r ( ( / H X r A A + +a / H I )Z I ) ( ( / H X | A A + )' ' )( r / H I ) f + + + + + .( / B X ) ^ O M ) / ( /\ " u @ E X ^ F Z K ( / \ X ) | ( (/ H X ) A A + + ( / H I | Z I | r ( / H X ) A A + r( /\ X )) (( /H X ) A A + + ( ( / H X r A A + r ' ' + + + + .( / B X r O M ^ C @ E [ r / ( / \ X r @ E X ^F Z y (/\X) r((/HX| AA+((/HXrA A++(/HRr(/HI)ZI|(/BXr|((/HXrAA++((/HXuAA+|''u((/HIrM++++++ ( / K u ) K X ) / ( / \ X ) @ EX^ FZ3 ( / F P ) ( / H I ) Z I u ( ( / H X u A A + ) ( / \ X ) ) ( ( / H X u A A + +( ( /H X | A A + r ( ( / H X ) A A + + u M ) E M ) [ F X + + + + *(/BX|BKB)/(/\X) @EX[FZK (/BX))(K/HXr AA++ (/FL| (/HI| ZIu((/HXr AA+r((/HXrAA+ r((/HI|L++ rMrEMr[FX++++.(/BXu^OKHOu/(/\ Xu @EX^FZK (/HIuZIu((/HX) AA+ m(/\Xu )((/H"0AA+ +((/HX|AA+u''++++*( / H I r X R @ Z R +

    Aknvzf 0

  • 8/14/2019 TRAMP - An Interpretive Associative Processor with Deductive Capabilities

    14/14

    0 6 1 \ z m h f f b k e n x # 0 ; 1 ? @ H C E ` r k m e ` i H m e a fz f e h f

    ZFAFZFEHFXi H E CMMFZX

    R Z @ H ` | z m h f b v z f # b f x h zk j k e n i ` e n v ` n f a m z r o f z f ` h r k qfr { | f ~ z k r f zHmc c @HC Qmi ; Em 8 C`zho 0;11 || :06#:0;

    : H E CMMFZX I \ BF VRH OR Z @ H ` r f r o ` e b i k e n i ` e n v ` n f\zmh @HC E`rkme`i Hmeafzfehf0;16 || ::;#:21 Hifqfi`eb @vnvxr

    8 B F F@XR ^MMB C B ChiI ZM[C ` h z m h m c | k i f z c m b k ak h ` r k m e m a X @ \Hmc|vrfz I`jmz`rmz{ Cfcmz`ebvcI`jmz`rmzkfx Cvzz` { Okii E G Jfii Rfif|omefXf|rfcjfz 0;6;2 C B ChiIZM[

    V x k e n X @ \ c ` h z m k e x r z v h r k m e x r m c ` e k | v i ` r f x { c j m i k hf | z f x x k m eHmc|vrfz I`jmz`rmz{ Cfcmz`eb vc Jfii Rfif|omefI`jmz`rm zkfx Cvzz` { Okii E G 0;1 G ^FKWFEJ@VCX { c c f r z k h i kx r | z m h f x xm z

    Hmcc @HC Qmi 16:2#622 Em ; Xf|rfcj fz 0;18 ||

    ? K F XVROFZI@EBX d f r h o | ` b @ c ` e # c ` h o k e f n z ` | o k h ` i h m c c v e k h ` r k m ex { x r f c\zmh @AK\X 0;18 XGHH X|`zr`e Jmmdx J`irkcmzfCb || 8:;#821; I N ZMJFZRXN z ` | o k h ` i h m c c v e k h ` r k m e x ` e b h m e r z m i i ` e nv ` n f xXfhmeb Hmenzfxx me Keam zc`rk me X{xrfc Xhkfehfxr`e Jmmdx J`irkcmzf Cb 0;12 X|`z#

    0< N N BMBB@ \ I # # ` i ` e n v ` n f a m z ` x x m h k ` r k q f b` r ` o ` e b i k e n k e \ I - 0\zmh @AK\X AGHH Emqfcjf z 0;11 || 1>>#1?200 G H NZ@[H m c | m v e b b ` r ` x r z v h r v z f a m z h m c | v r f z ` k b f b b f x k n e 4

    ` x v z q f {@HC E`rkme `i Hmeafzfehf @vnvxr 0;1> || 866#816

    0:

    08

    02

    06

    01

    0>

    0?

    0;

    :;8#\Z Bfhfcjfz 0;16Z F IFQKFE C F C@Z ME@ h m c | v r f z x { x r f c a m z k e a fz f e h f f f h v r km e ` e b b ` r`z f r z k f q ` iRof Z@E B Hmz| ZC#6