Logiweb extract of testmachine

Table of contents

Date of publication
Bibliography
Definitions
Charges

Date of publication

GRD-2009-11-28.UTC:11:19:07.179148 (Gregorian Date / Universal Coordinated Time)
MJD-55163.TAI:11:19:41.179148 (Modified Julian Day / International Atomic Time)
LGT-4766123981179148e-6 (Logiweb Time)

Bibliography

[0] testmachine (01CA9680910201CFF3348602C21BF1B0E67EFD09308C92EAB6BBD8BB0806)
[1] check (014E93CEDBCA44EB611BC0974861950432277A602795E9B4F2BAD8BB0806)
[2] Peano (0176CD88B275E1404092783C6E442E09C246B342FAA4A9B28DBBD8BB0806)
[3] base (01AB1F51C8C17606A5C0331B5689B4858C796547B9A0A4AEF0BCB2BB0806)
[4] test (01B9F25A278238ACBDFCFA47173491B3A0F480509096C987A2BBD8BB0806)

Definitions

testmachine

Index 0 of page testmachine

lgcdef lgcname of testmachine as "testmachine" enddef

lgcdef lgccharge of testmachine as "0" enddef

module1

Index 1 of page testmachine

lgcdef lgcname of module1 as "module1" enddef

Define tex show of module1 as " m_1" end define

define value of module1 as show " #define TRUE 1 #define FALSE 0 #include <stdio.h> int lgw2dll=TRUE; unsigned char buffer[]=""!World\n""!; int bufferpnt; int trigger(int c){ if(lgw2dll){ if(c<0){lgw2dll=FALSE;bufferpnt=0;}else{printf(""!%c""!,c);return 0;}} if(buffer[bufferpnt]==0) return -1; return buffer[bufferpnt++];} " end show end define

lgcdef lgccharge of module1 as "0" enddef

handler1

Index 2 of page testmachine

lgcdef lgcname of handler1 as "handler1" enddef

Define tex show of handler1 as " h_1" end define

define value of handler1 as map ( \ x . machine1 ( x ) ) end define

lgcdef lgccharge of handler1 as "0" enddef

handler2

Index 3 of page testmachine

lgcdef lgcname of handler2 as "handler2" enddef

define value of handler2 as map ( \ x . machine2 ( x ) ) end define

lgcdef lgccharge of handler2 as "0" enddef

machine1 ( " )

Index 4 of page testmachine

lgcdef lgcname of machine1 ( lgcvar ) as "machine1 ( ""! )" enddef

Define tex show of machine1 ( x ) as " M_1 ( "[ x ]" )" end define

define value of machine1 ( x ) as extend request ( request1 ( true ) , module1 ) :: [request1 ( show "Hello" end show ) :: [exec request ( true , handler2 ) :: <<>>]] end define

lgcdef lgccharge of machine1 ( lgcvar ) as "0" enddef

machine2 ( " )

Index 5 of page testmachine

lgcdef lgcname of machine2 ( lgcvar ) as "machine2 ( ""! )" enddef

define value of machine2 ( x ) as if x atom then write request ( "Not found" ) :: <<>> else if .not. [x head r= request1 ( true )] then machine2 ( x tail ) else [write request ( x head tail head ) :: [quit request ( 0 ) :: <<>>]] end define

lgcdef lgccharge of machine2 ( lgcvar ) as "0" enddef

request1 ( " )

Index 6 of page testmachine

lgcdef lgcname of request1 ( lgcvar ) as "request1 ( ""! )" enddef

Define tex show of request1 ( x ) as " r_1 ( "[ x ]" )" end define

define value of request1 ( x ) as quote request1 ( x ) end quote head :: [x :: <<>>] end define

lgcdef lgccharge of request1 ( lgcvar ) as "0" enddef

test1

Index 1311918744948 of the string page (page zero)

define execute of "test1" as handler1 :: <<>> end define

Charges

0

check
Peano
base
test
testmachine
module1
handler1
handler2
machine1 ( " )
machine2 ( " )
request1 ( " )

2

+"

4

"#
" First
" factorial

6

" ' "

8

- "

10

" Times "

12

" set+ "
" Plus "

14

PlusTag "

16

" div "

17

" LazyPair "

19

" ,, "

20

" member "
" = "

22

p.not "
not "
Not "

24

" and "
" And "

26

" or "
" Or "

28

all " : "

29

" p.imply "
" imply "
" Iff "

30

" Select " else " end select

32

metadeclare "
\ " . "

33

norm "

34

" reduce to "

36

" avoid "

38

" Init
" f.At

40

" at "
" mp "

41

" infer "

42

All " : "

43

" oplus "

44

" conclude "

45

line " : " >> " ; "
line " : Hypothesis >> " ; "

47

" ;; "

48

" proves "

49

axiom " : " end axiom

50

" endline

51

dbug ( " ) "
" lgcthen "

52

" linebreak "

54

" & "

56

" \\ "