/ back2roots/padua / padua.7z / padua / lang / SBProlog-1.zoo / SBProlog / sbp / libraries / cmplib / $prococc1

< prev

next >

view JSON data

view as text

open on a Mac

open on a PC

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 11 12 13 03 00 00 00 42 | 00 00 00 6a 00 00 00 00 |.......B|...j....|
|00000010| ff ff ff fe 04 07 70 72 | 65 64 64 65 66 ff ff ff |......pr|eddef...|
|00000020| fe 04 0a 24 70 72 6f 63 | 5f 6f 63 63 31 00 00 00 |...$proc|_occ1...|
|00000030| 00 02 09 24 70 72 6f 63 | 5f 6f 63 63 00 00 00 02 |...$proc|_occ....|
|00000040| 03 10 24 70 72 6f 63 5f | 6f 63 63 5f 23 31 38 33 |..$proc_|occ_#183|
|00000050| 31 31 a7 03 b4 01 00 00 | 00 1a 00 00 00 2a a3 03 |11......|.....*..|
|00000060| 00 00 00 18 a5 03 00 00 | 00 20 05 01 05 02 a9 03 |........|. ......|
|00000070| eb 00 e9 00 07 01 f0 00 | 00 00 00 2e e9 00 46 01 |........|......F.|
|00000080| 0a 05 08 02 07 02 0a 06 | 08 03 06 05 00 00 00 00 |........|........|
|00000090| 0a 01 0a 02 0a 03 0a 07 | 06 06 00 00 00 00 0b 01 |........|........|
|000000a0| 0b 02 0a 04 0b 07 e8 04 | 00 00 00 01 e0 00 02 01 |........|........|
|000000b0| e0 00 03 02 ea 00 ec 00 | 00 00 00 02 ff 00 00 00 |........|........|
|000000c0| 00 00 11 12 13 03 00 00 | 00 cf 00 00 01 66 00 00 |........|.....f..|
|000000d0| 00 00 ff ff ff fe 03 06 | 63 6c 61 75 73 65 ff ff |........|clause..|
|000000e0| ff fe 02 02 73 74 ff ff | ff fe 02 08 24 6d 65 6d |....st..|....$mem|
|000000f0| 62 65 72 31 ff ff ff fe | 09 0e 24 70 72 6f 63 5f |ber1....|..$proc_|
|00000100| 61 72 67 5f 6c 69 73 74 | ff ff ff fe 02 0b 24 6c |arg_list|......$l|
|00000110| 69 73 74 5f 70 76 61 72 | 73 ff ff ff fe 03 01 63 |ist_pvar|s......c|
|00000120| ff ff ff fe 01 14 24 70 | 72 6f 63 6f 63 63 5f 6e |......$p|rococc_n|
|00000130| 6f 72 6d 5f 63 6c 61 75 | 73 65 ff ff ff fe 07 12 |orm_clau|se......|
|00000140| 24 6e 6f 72 6d 61 6c 69 | 7a 65 5f 76 61 72 5f 6f |$normali|ze_var_o|
|00000150| 63 63 ff ff ff fe 01 13 | 24 70 72 6f 63 5f 6d 61 |cc......|$proc_ma|
|00000160| 72 6b 5f 6c 61 73 74 6c | 69 74 73 ff ff ff fe 09 |rk_lastl|its.....|
|00000170| 0e 24 70 72 6f 63 5f 6f | 63 63 5f 62 6f 64 79 ff |.$proc_o|cc_body.|
|00000180| ff ff fe 04 0c 24 70 72 | 6f 63 5f 63 6c 61 75 73 |.....$pr|oc_claus|
|00000190| 65 00 00 00 00 04 0a 24 | 70 72 6f 63 5f 6f 63 63 |e......$|proc_occ|
|000001a0| 31 b0 03 00 00 00 16 00 | 00 00 1c a3 04 00 00 00 |1.......|........|
|000001b0| 16 a5 04 00 00 00 1c 05 | 03 05 04 eb 00 e9 00 00 |........|........|
|000001c0| 00 02 01 00 00 03 02 07 | 03 0a 03 08 04 07 04 0a |........|........|
|000001d0| 04 08 05 06 03 00 00 00 | 00 08 06 08 07 08 08 06 |........|........|
|000001e0| 04 00 00 00 00 08 09 08 | 0a 09 08 16 01 00 00 00 |........|........|
|000001f0| 01 18 0b 18 0c 11 00 08 | 02 e8 19 00 00 00 02 11 |........|........|
|00000200| 00 06 01 11 00 0c 02 10 | 00 0d 03 11 00 09 04 15 |........|........|
|00000210| 05 10 00 0e 06 0f 07 00 | 00 00 01 10 00 0f 08 15 |........|........|
|00000220| 09 e8 19 00 00 00 03 11 | 00 06 01 10 00 10 02 e8 |........|........|
|00000230| 19 00 00 00 04 ef 19 00 | 00 00 9a a0 00 00 00 00 |........|........|
|00000240| ea 16 01 00 00 00 05 1f | 00 00 00 00 01 1a 03 18 |........|........|
|00000250| 12 11 00 0b 02 e8 19 00 | 00 00 02 11 00 12 01 e8 |........|........|
|00000260| 19 00 00 00 06 11 00 07 | 01 10 00 11 02 11 00 10 |........|........|
|00000270| 03 15 04 10 00 13 05 10 | 00 14 06 10 00 15 07 e8 |........|........|
|00000280| 19 00 00 00 07 f0 00 00 | 00 00 f4 a2 00 10 00 11 |........|........|
|00000290| 01 01 00 07 01 11 00 11 | 01 e8 19 00 00 00 08 11 |........|........|
|000002a0| 00 11 01 11 00 0c 02 11 | 00 0d 03 10 00 16 04 11 |........|........|
|000002b0| 00 0a 05 11 00 0e 06 10 | 00 17 07 11 00 0f 08 10 |........|........|
|000002c0| 00 18 09 e8 19 00 00 00 | 09 11 00 02 01 11 00 03 |........|........|
|000002d0| 02 11 00 08 03 11 00 18 | 04 e8 19 00 00 00 0a e0 |........|........|
|000002e0| 00 02 01 e0 00 03 02 e0 | 00 04 03 e0 00 05 04 ea |........|........|
|000002f0| 00 b0 03 00 00 00 16 00 | 00 00 1c a3 04 00 00 00 |........|........|
|00000300| 16 a5 04 00 00 00 1c ff | 00 00 00 00 00 11 12 13 |........|........|
|00000310| 03 00 00 00 58 00 00 00 | 38 00 00 00 00 ff ff ff |....X...|8.......|
|00000320| fe 01 09 6e 6f 72 6d 61 | 6c 69 7a 65 ff ff ff fe |...norma|lize....|
|00000330| 02 08 24 6d 65 6d 62 65 | 72 31 00 00 00 00 01 14 |..$membe|r1......|
|00000340| 24 70 72 6f 63 6f 63 63 | 5f 6e 6f 72 6d 5f 63 6c |$prococc|_norm_cl|
|00000350| 61 75 73 65 00 00 00 02 | 02 1b 24 70 72 6f 63 6f |ause....|..$proco|
|00000360| 63 63 5f 6e 6f 72 6d 5f | 63 6c 61 75 73 65 5f 23 |cc_norm_|clause_#|
|00000370| 31 38 34 35 34 a7 02 e9 | 00 d1 00 01 03 00 00 02 |18454...|........|
|00000380| 02 16 01 00 00 00 00 18 | 03 d1 00 03 02 e8 04 00 |........|........|
|00000390| 00 00 01 a8 02 e0 00 03 | 01 0f 02 00 00 00 01 d8 |........|........|
|000003a0| 00 02 01 f2 01 ff ff ff | ff ea 00 eb 00 ff 00 00 |........|........|
|000003b0| 00 00 00 11 12 13 03 00 | 00 00 56 00 00 00 38 00 |........|..V...8.|
|000003c0| 00 00 00 ff ff ff fe 01 | 05 61 6c 6c 6f 63 ff ff |........|.alloc..|
|000003d0| ff fe 02 08 24 6d 65 6d | 62 65 72 31 00 00 00 00 |....$mem|ber1....|
|000003e0| 01 15 24 70 72 6f 63 6f | 63 63 5f 61 6c 6c 6f 63 |..$proco|cc_alloc|
|000003f0| 5f 63 6c 61 75 73 65 00 | 00 00 02 02 1c 24 70 72 |_clause.|.....$pr|
|00000400| 6f 63 6f 63 63 5f 61 6c | 6c 6f 63 5f 63 6c 61 75 |ococc_al|loc_clau|
|00000410| 73 65 5f 23 31 38 34 37 | 32 a7 02 e9 00 d1 00 01 |se_#1847|2.......|
|00000420| 03 00 00 02 02 16 01 00 | 00 00 00 18 03 d1 00 03 |........|........|
|00000430| 02 e8 04 00 00 00 01 a8 | 02 e0 00 03 01 0f 02 00 |........|........|
|00000440| 00 00 01 d8 00 02 01 f2 | 01 ff ff ff ff ea 00 eb |........|........|
|00000450| 00 ff 00 00 00 00 00 11 | 12 13 03 00 00 00 7b 00 |........|......{.|
|00000460| 00 00 a4 00 00 00 00 ff | ff ff fe 00 03 6e 69 6c |........|.....nil|
|00000470| ff ff ff fe 03 03 61 6e | 64 00 00 00 00 01 13 24 |......an|d......$|
|00000480| 70 72 6f 63 5f 6d 61 72 | 6b 5f 6c 61 73 74 6c 69 |proc_mar|k_lastli|
|00000490| 74 73 ff ff ff fe 03 02 | 6f 72 ff ff ff fe 04 0c |ts......|or......|
|000004a0| 69 66 5f 74 68 65 6e 5f | 65 6c 73 65 ff ff ff fe |if_then_|else....|
|000004b0| 03 05 5f 63 61 6c 6c ff | ff ff fe 00 07 6c 61 73 |.._call.|.....las|
|000004c0| 74 6c 69 74 ff ff ff fe | 02 08 24 6d 65 6d 62 65 |tlit....|..$membe|
|000004d0| 72 31 ff ff ff fe 01 0a | 24 63 6c 6f 73 65 74 61 |r1......|$closeta|
|000004e0| 69 6c a3 01 00 00 00 1e | a4 01 00 00 00 26 a4 01 |il......|.....&..|
|000004f0| 00 00 00 38 a4 01 00 00 | 00 58 a5 01 00 00 00 7a |...8....|.X.....z|
|00000500| 04 01 00 00 00 00 eb 00 | 06 01 00 00 00 01 0a 02 |........|........|
|00000510| 0a 02 0a 01 ec 00 00 00 | 00 02 e9 00 06 01 00 00 |........|........|
|00000520| 00 03 0a 01 0a 02 08 02 | e8 03 00 00 00 02 e0 00 |........|........|
|00000530| 02 01 ea 00 ec 00 00 00 | 00 02 e9 00 06 01 00 00 |........|........|
|00000540| 00 04 0a 02 0a 02 0a 01 | 08 02 e8 03 00 00 00 02 |........|........|
|00000550| e0 00 02 01 ea 00 ec 00 | 00 00 00 02 e9 00 06 01 |........|........|
|00000560| 00 00 00 05 0a 03 0a 03 | 08 02 14 01 00 00 00 06 |........|........|
|00000570| 11 00 02 02 e8 03 00 00 | 00 07 e0 00 02 01 ea 00 |........|........|
|00000580| ec 00 00 00 00 08 ff 00 | 00 00 00 00 11 12 13 03 |........|........|
|00000590| 00 00 00 94 00 00 00 8e | 00 00 00 00 ff ff ff fe |........|........|
|000005a0| 02 02 73 74 ff ff ff fe | 02 08 24 6d 65 6d 62 65 |..st....|..$membe|
|000005b0| 72 31 ff ff ff fe 03 0b | 24 67 65 74 6e 75 6d 6c |r1......|$getnuml|
|000005c0| 69 74 73 ff ff ff fe 01 | 07 24 67 65 6e 6e 75 6d |its.....|.$gennum|
|000005d0| ff ff ff fe 02 01 2c ff | ff ff fe 01 05 6c 61 62 |......,.|.....lab|
|000005e0| 65 6c ff ff ff fe 03 0d | 24 70 72 6f 63 5f 63 6c |el......|$proc_cl|
|000005f0| 61 75 73 65 31 ff ff ff | fe 01 0a 24 63 6c 6f 73 |ause1...|...$clos|
|00000600| 65 74 61 69 6c 00 00 00 | 00 04 0c 24 70 72 6f 63 |etail...|...$proc|
|00000610| 5f 63 6c 61 75 73 65 00 | 00 00 02 05 13 24 70 72 |_clause.|.....$pr|
|00000620| 6f 63 5f 63 6c 61 75 73 | 65 5f 23 31 38 35 33 30 |oc_claus|e_#18530|
|00000630| a7 05 e9 00 00 00 02 01 | 00 00 03 02 00 00 04 03 |........|........|
|00000640| 00 00 05 04 00 00 06 05 | 16 01 00 00 00 00 18 07 |........|........|
|00000650| 1a 03 11 00 04 02 e8 0a | 00 00 00 01 11 00 07 01 |........|........|
|00000660| 0f 02 00 00 00 00 10 00 | 08 03 e8 0a 00 00 00 02 |........|........|
|00000670| 10 00 09 01 e8 0a 00 00 | 00 03 16 03 00 00 00 04 |........|........|
|00000680| 19 02 1a 04 49 04 09 03 | 09 09 16 01 00 00 00 05 |....I...|........|
|00000690| 1b 03 11 00 04 02 e8 0a | 00 00 00 01 11 00 04 01 |........|........|
|000006a0| 11 00 08 02 11 00 05 03 | e8 0a 00 00 00 06 11 00 |........|........|
|000006b0| 04 01 e8 0a 00 00 00 07 | a8 06 ea 00 eb 00 ff 00 |........|........|
|000006c0| 00 00 00 00 11 12 13 03 | 00 00 00 8e 00 00 00 f0 |........|........|
|000006d0| 00 00 00 00 ff ff ff fe | 02 02 73 74 ff ff ff fe |........|..st....|
|000006e0| 02 08 24 6d 65 6d 62 65 | 72 31 ff ff ff fe 03 01 |..$membe|r1......|
|000006f0| 63 ff ff ff fe 01 15 24 | 70 72 6f 63 6f 63 63 5f |c......$|prococc_|
|00000700| 61 6c 6c 6f 63 5f 63 6c | 61 75 73 65 ff ff ff fe |alloc_cl|ause....|
|00000710| 02 0c 24 6d 61 72 6b 5f | 61 72 73 69 7a 65 ff ff |..$mark_|arsize..|
|00000720| ff fe 01 03 61 6c 6c ff | ff ff fe 00 01 79 ff ff |....all.|.....y..|
|00000730| ff fe 00 01 6e 00 00 00 | 00 03 0d 24 70 72 6f 63 |....n...|...$proc|
|00000740| 5f 63 6c 61 75 73 65 31 | 00 00 00 02 04 14 24 70 |_clause1|......$p|
|00000750| 72 6f 63 5f 63 6c 61 75 | 73 65 31 5f 23 31 38 35 |roc_clau|se1_#185|
|00000760| 38 33 a7 04 a3 04 00 00 | 00 0e a5 04 00 00 00 d6 |83......|........|
|00000770| e9 00 00 00 02 01 00 00 | 03 02 00 00 04 03 00 00 |........|........|
|00000780| 05 04 16 01 00 00 00 00 | 18 06 1a 03 11 00 02 02 |........|........|
|00000790| e8 09 00 00 00 01 16 01 | 00 00 00 02 1a 03 1a 03 |........|........|
|000007a0| 18 07 11 00 06 02 e8 09 | 00 00 00 01 ef 09 00 00 |........|........|
|000007b0| 00 50 a0 00 00 00 00 70 | e0 00 03 01 0f 02 00 00 |.P.....p|........|
|000007c0| 00 02 d8 00 02 01 f3 01 | ff ff ff ff f0 00 00 00 |........|........|
|000007d0| 00 9c a1 00 00 00 00 90 | e0 00 04 01 0f 02 00 00 |........|........|
|000007e0| 00 02 d8 00 02 01 f4 01 | ff ff ff ff f0 00 00 00 |........|........|
|000007f0| 00 9c a2 00 11 00 07 01 | e8 09 00 00 00 03 a8 05 |........|........|
|00000800| e0 00 04 01 0f 02 00 00 | 00 01 d7 00 02 01 00 00 |........|........|
|00000810| 08 01 11 00 06 01 11 00 | 08 02 e8 09 00 00 00 04 |........|........|
|00000820| 16 01 00 00 00 05 1c 00 | 00 00 00 06 e0 00 02 02 |........|........|
|00000830| ea 00 ec 00 00 00 00 01 | d1 00 01 05 16 01 00 00 |........|........|
|00000840| 00 05 1c 00 00 00 00 07 | d1 00 05 02 ec 00 00 00 |........|........|
|00000850| 00 01 ff 00 00 00 00 00 | 11 12 13 03 00 00 00 2f |........|......./|
|00000860| 00 00 00 6a 00 00 00 00 | ff ff ff fe 03 01 63 ff |...j....|......c.|
|00000870| ff ff fe 01 02 6e 76 ff | ff ff fe 02 08 24 6d 65 |.....nv.|.....$me|
|00000880| 6d 62 65 72 31 00 00 00 | 00 02 0c 24 6d 61 72 6b |mber1...|...$mark|
|00000890| 5f 61 72 73 69 7a 65 b4 | 01 00 00 00 18 00 00 00 |_arsize.|........|
|000008a0| 24 a3 02 00 00 00 16 a5 | 02 00 00 00 1a 05 01 eb |$.......|........|
|000008b0| 00 e9 00 07 01 f0 00 00 | 00 00 28 e9 00 46 01 0a |........|..(..F..|
|000008c0| 03 08 02 00 00 03 02 06 | 03 00 00 00 00 0a 04 0a |........|........|
|000008d0| 05 0a 02 16 01 00 00 00 | 01 19 03 e8 04 00 00 00 |........|........|
|000008e0| 02 e0 00 02 01 e0 00 03 | 02 ea 00 b4 01 00 00 00 |........|........|
|000008f0| 18 00 00 00 24 a3 02 00 | 00 00 16 a5 02 00 00 00 |....$...|........|
|00000900| 1a ff 00 00 00 00 00    |                         |....... |        |
+--------+-------------------------+-------------------------+--------+--------+