Logiweb(TM)

Logiweb aspects of Locate1 ( " , " , " , " , " ) in pyk

Up Help

The "pyk" aspect

Define pyk of Locate1 ( asterisk , asterisk , asterisk , asterisk , asterisk ) as "Locate1 ( "! , "! , "! , "! , "! )" end define

The "value" aspect

define value of Locate1 ( d , t , s , r , c ) as norm { d is val : { t is val : { s is val : { r is val : { c is val : if t then r else LET t locate-rhs ( c ) BE { asterisk IN LET asterisk BE { v IN LET if v then true else { eval ( v , true , c ) untag } BE { asterisk IN LET asterisk BE { v IN LET if v head = s then t :: { v tail } else r BE { asterisk IN LET asterisk BE { r IN if d atom then r else Locate1 ( d tail , nth ( d head , t tail ) , s , r , c ) } } } } } } } } } } } end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:11:58.175987 = MJD-54293.TAI:20:12:31.175987 = LGT-4690987951175987e-6