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

< prev

next >

view JSON data

view as text

open on a Mac

open on a PC

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 11 12 13 03 00 00 00 4f | 00 00 00 5c 00 00 00 00 |.......O|...\....|
|00000010| ff ff ff fe 02 01 2f ff | ff ff fe 00 0b 24 67 65 |....../.|.....$ge|
|00000020| 74 63 6c 61 75 73 65 73 | ff ff ff fe 00 07 24 61 |tclauses|......$a|
|00000030| 74 74 61 63 68 ff ff ff | fe 00 0c 24 65 78 70 61 |ttach...|...$expa|
|00000040| 6e 64 5f 74 65 72 6d 00 | 00 00 00 01 12 24 67 65 |nd_term.|.....$ge|
|00000050| 74 63 6c 61 75 73 65 73 | 5f 65 78 70 6f 72 74 48 |tclauses|_exportH|
|00000060| 01 01 02 06 01 00 00 00 | 00 0c 00 00 00 00 01 1e |........|........|
|00000070| 00 00 00 00 02 48 02 03 | 04 06 03 00 00 00 00 0c |.....H..|........|
|00000080| 00 00 00 00 01 1e 00 00 | 00 00 03 48 04 05 06 06 |........|...H....|
|00000090| 05 00 00 00 00 0c 00 00 | 00 00 02 1e 00 00 00 00 |........|........|
|000000a0| 02 07 06 0a 07 0d 00 06 | 07 00 00 00 00 0c 00 00 |........|........|
|000000b0| 00 00 03 1e 00 00 00 00 | 02 eb 00 ff 00 00 00 00 |........|........|
|000000c0| 00 11 12 13 03 00 00 01 | 40 00 00 02 1a 00 00 00 |........|@.......|
|000000d0| 00 ff ff ff fe 00 04 24 | 62 69 6f ff ff ff fe 02 |.......$|bio.....|
|000000e0| 01 2f ff ff ff fe 00 04 | 24 73 65 65 ff ff ff fe |./......|$see....|
|000000f0| 00 07 24 73 65 65 69 6e | 67 ff ff ff fe 00 05 24 |..$seein|g......$|
|00000100| 73 65 65 6e ff ff ff fe | 00 0a 24 6c 69 73 74 75 |seen....|..$listu|
|00000110| 74 69 6c 31 ff ff ff fe | 00 08 24 72 65 76 65 72 |til1....|..$rever|
|00000120| 73 65 ff ff ff fe 00 06 | 24 6d 65 72 67 65 ff ff |se......|$merge..|
|00000130| ff fe 00 0a 24 61 62 73 | 6d 65 6d 62 65 72 ff ff |....$abs|member..|
|00000140| ff fe 00 09 24 61 62 73 | 6d 65 72 67 65 ff ff ff |....$abs|merge...|
|00000150| fe 00 0a 24 6e 74 68 6d | 65 6d 62 65 72 ff ff ff |...$nthm|ember...|
|00000160| fe 00 0b 24 6e 74 68 6d | 65 6d 62 65 72 31 ff ff |...$nthm|ember1..|
|00000170| ff fe 00 08 24 6d 65 6d | 62 65 72 32 ff ff ff fe |....$mem|ber2....|
|00000180| 00 0a 24 63 6c 6f 73 65 | 74 61 69 6c ff ff ff fe |..$close|tail....|
|00000190| 00 06 24 62 6c 69 73 74 | ff ff ff fe 00 07 24 61 |..$blist|......$a|
|000001a0| 70 70 65 6e 64 ff ff ff | fe 00 07 24 6d 65 6d 62 |ppend...|...$memb|
|000001b0| 65 72 ff ff ff fe 00 08 | 24 6d 65 6d 62 65 72 31 |er......|$member1|
|000001c0| ff ff ff fe 00 05 24 6d | 65 74 61 ff ff ff fe 00 |......$m|eta.....|
|000001d0| 08 24 66 75 6e 63 74 6f | 72 ff ff ff fe 00 05 24 |.$functo|r......$|
|000001e0| 75 6e 69 76 ff ff ff fe | 00 07 24 6c 65 6e 67 74 |univ....|..$lengt|
|000001f0| 68 ff ff ff fe 00 05 24 | 72 65 61 64 00 00 00 00 |h......$|read....|
|00000200| 02 0f 24 67 65 74 63 6c | 61 75 73 65 73 5f 75 73 |..$getcl|auses_us|
|00000210| 65 a3 02 00 00 00 1e a4 | 02 00 00 00 92 a4 02 00 |e.......|........|
|00000220| 00 01 4c a4 02 00 00 01 | 98 a5 02 00 00 01 e4 04 |..L.....|........|
|00000230| 01 00 00 00 00 48 02 01 | 01 48 01 02 03 48 03 04 |.....H..|.H...H..|
|00000240| 05 48 05 06 07 48 07 08 | 09 48 09 0a 0b 48 0b 0c |.H...H..|.H...H..|
|00000250| 0d 48 0d 0e 0f 48 0f 10 | 11 48 11 12 13 48 13 14 |.H...H..|.H...H..|
|00000260| 15 06 14 00 00 00 01 0c | 00 00 00 00 02 1e 00 00 |........|........|
|00000270| 00 00 01 48 15 16 17 06 | 16 00 00 00 01 0c 00 00 |...H....|........|
|00000280| 00 00 03 1e 00 00 00 00 | 01 07 17 0a 18 0d 00 06 |........|........|
|00000290| 18 00 00 00 01 0c 00 00 | 00 00 04 1e 00 00 00 00 |........|........|
|000002a0| 00 eb 00 04 01 00 00 00 | 05 48 02 01 02 06 01 00 |........|.H......|
|000002b0| 00 00 01 0c 00 00 00 00 | 06 1e 00 00 00 00 02 48 |........|.......H|
|000002c0| 02 03 04 06 03 00 00 00 | 01 0c 00 00 00 00 07 1e |........|........|
|000002d0| 00 00 00 00 03 48 04 05 | 06 06 05 00 00 00 01 0c |.....H..|........|
|000002e0| 00 00 00 00 08 1e 00 00 | 00 00 02 48 06 07 08 06 |........|...H....|
|000002f0| 07 00 00 00 01 0c 00 00 | 00 00 09 1e 00 00 00 00 |........|........|
|00000300| 03 48 08 09 0a 06 09 00 | 00 00 01 0c 00 00 00 00 |.H......|........|
|00000310| 0a 1e 00 00 00 00 03 48 | 0a 0b 0c 06 0b 00 00 00 |.......H|........|
|00000320| 01 0c 00 00 00 00 0b 1e | 00 00 00 00 03 48 0c 0d |........|.....H..|
|00000330| 0e 06 0d 00 00 00 01 0c | 00 00 00 00 0c 1e 00 00 |........|........|
|00000340| 00 00 02 07 0e 0a 0f 0d | 00 06 0f 00 00 00 01 0c |........|........|
|00000350| 00 00 00 00 0d 1e 00 00 | 00 00 01 eb 00 04 01 00 |........|........|
|00000360| 00 00 0e 48 02 01 02 06 | 01 00 00 00 01 0c 00 00 |...H....|........|
|00000370| 00 00 0f 1e 00 00 00 00 | 03 48 02 03 04 06 03 00 |........|.H......|
|00000380| 00 00 01 0c 00 00 00 00 | 10 1e 00 00 00 00 02 07 |........|........|
|00000390| 04 0a 05 0d 00 06 05 00 | 00 00 01 0c 00 00 00 00 |........|........|
|000003a0| 11 1e 00 00 00 00 02 eb | 00 04 01 00 00 00 12 48 |........|.......H|
|000003b0| 02 01 02 06 01 00 00 00 | 01 0c 00 00 00 00 13 1e |........|........|
|000003c0| 00 00 00 00 03 48 02 03 | 04 06 03 00 00 00 01 0c |.....H..|........|
|000003d0| 00 00 00 00 14 1e 00 00 | 00 00 02 07 04 0a 05 0d |........|........|
|000003e0| 00 06 05 00 00 00 01 0c | 00 00 00 00 15 1e 00 00 |........|........|
|000003f0| 00 00 02 eb 00 04 01 00 | 00 00 16 48 02 01 02 06 |........|...H....|
|00000400| 01 00 00 00 01 0c 00 00 | 00 00 16 1e 00 00 00 00 |........|........|
|00000410| 01 07 02 0a 03 0d 00 06 | 03 00 00 00 01 0c 00 00 |........|........|
|00000420| 00 00 16 1e 00 00 00 00 | 02 eb 00 ff 00 00 00 00 |........|........|
|00000430| 00 11 12 13 03 00 00 00 | 22 00 00 00 0a 00 00 00 |........|".......|
|00000440| 00 ff ff ff fe 03 0b 24 | 67 65 74 63 6c 61 75 73 |.......$|getclaus|
|00000450| 65 73 00 00 00 00 02 0b | 24 67 65 74 63 6c 61 75 |es......|$getclau|
|00000460| 73 65 73 12 00 03 03 ec | 00 00 00 00 00 ff 00 00 |ses.....|........|
|00000470| 00 00 00 11 12 13 03 00 | 00 00 58 00 00 00 54 00 |........|..X...T.|
|00000480| 00 00 00 ff ff ff fe 01 | 04 24 73 65 65 ff ff ff |........|.$see...|
|00000490| fe 03 0c 24 67 65 74 63 | 6c 61 75 73 65 73 31 ff |...$getc|lauses1.|
|000004a0| ff ff fe 02 0e 24 67 65 | 74 63 6c 5f 63 6f 6c 6c |.....$ge|tcl_coll|
|000004b0| 65 63 74 ff ff ff fe 01 | 11 24 67 65 74 63 6c 5f |ect.....|.$getcl_|
|000004c0| 63 6c 6f 73 65 74 61 69 | 6c 73 00 00 00 00 03 0b |closetai|ls......|
|000004d0| 24 67 65 74 63 6c 61 75 | 73 65 73 e9 00 00 00 02 |$getclau|ses.....|
|000004e0| 01 00 00 03 02 00 00 04 | 03 10 00 05 01 fb 1f 11 |........|........|
|000004f0| 00 02 01 e8 07 00 00 00 | 00 10 00 06 01 15 02 11 |........|........|
|00000500| 00 04 03 e8 07 00 00 00 | 01 fb 20 11 00 05 01 e8 |........|.. .....|
|00000510| 07 00 00 00 00 11 00 06 | 01 11 00 03 02 e8 07 00 |........|........|
|00000520| 00 00 02 e0 00 03 01 ea | 00 ec 00 00 00 00 03 ff |........|........|
|00000530| 00 00 00 00 00 11 12 13 | 03 00 00 00 8c 00 00 00 |........|........|
|00000540| dc 00 00 00 00 ff ff ff | fe 01 05 24 72 65 61 64 |........|...$read|
|00000550| ff ff ff fe 02 0c 24 65 | 78 70 61 6e 64 5f 74 65 |......$e|xpand_te|
|00000560| 72 6d ff ff ff fe 00 0b | 65 6e 64 5f 6f 66 5f 66 |rm......|end_of_f|
|00000570| 69 6c 65 ff ff ff fe 01 | 0a 24 63 6c 6f 73 65 74 |ile.....|.$closet|
|00000580| 61 69 6c ff ff ff fe 01 | 02 3a 2d ff ff ff fe 02 |ail.....|.:-.....|
|00000590| 08 5f 24 69 6e 74 65 72 | 70 00 00 00 00 03 0c 24 |._$inter|p......$|
|000005a0| 67 65 74 63 6c 61 75 73 | 65 73 31 ff ff ff fe 03 |getclaus|es1.....|
|000005b0| 0b 24 67 65 74 63 6c 5f | 70 72 65 64 ff ff ff fe |.$getcl_|pred....|
|000005c0| 02 01 2f ff ff ff fe 02 | 08 24 6d 65 6d 62 65 72 |../.....|.$member|
|000005d0| 31 e9 00 00 00 02 01 00 | 00 03 02 00 00 04 03 10 |1.......|........|
|000005e0| 00 05 01 e8 0c 00 00 00 | 00 11 00 05 01 10 00 06 |........|........|
|000005f0| 02 e8 0c 00 00 00 01 a6 | 07 ef 0c 00 00 00 2e a0 |........|........|
|00000600| 00 00 00 00 58 11 00 06 | 01 04 01 00 00 00 02 a8 |....X...|........|
|00000610| 07 11 00 03 01 01 00 02 | 01 11 00 04 01 e8 0c 00 |........|........|
|00000620| 00 00 03 a8 07 ea 00 eb | 00 a2 00 a6 08 ef 0c 00 |........|........|
|00000630| 00 00 62 a0 00 00 00 00 | 96 02 06 00 00 00 04 0a |..b.....|........|
|00000640| 04 a8 08 a6 09 d1 00 04 | 01 11 00 09 02 e8 0c 00 |........|........|
|00000650| 00 00 05 e0 00 02 01 e0 | 00 03 02 e0 00 04 03 ea |........|........|
|00000660| 00 ec 00 00 00 00 06 a2 | 00 11 00 02 01 07 01 09 |........|........|
|00000670| 06 08 09 11 00 06 01 10 | 00 0a 02 10 00 0b 03 e8 |........|........|
|00000680| 0c 00 00 00 07 16 01 00 | 00 00 08 19 0a 19 0b 11 |........|........|
|00000690| 00 04 02 e8 0c 00 00 00 | 09 e0 00 09 01 e0 00 03 |........|........|
|000006a0| 02 e0 00 04 03 ea 00 ec | 00 00 00 00 06 ff 00 00 |........|........|
|000006b0| 00 00 00 11 12 13 03 00 | 00 00 8e 00 00 00 f8 00 |........|........|
|000006c0| 00 00 00 ff ff ff fe 01 | 0a 24 63 6c 6f 73 65 74 |........|.$closet|
|000006d0| 61 69 6c ff ff ff fe 02 | 02 3a 2d ff ff ff fe 03 |ail.....|.:-.....|
|000006e0| 08 24 66 75 6e 63 74 6f | 72 ff ff ff fe 05 04 70 |.$functo|r......p|
|000006f0| 72 65 64 ff ff ff fe 02 | 08 24 6d 65 6d 62 65 72 |red.....|.$member|
|00000700| 31 ff ff ff fe 04 04 72 | 75 6c 65 ff ff ff fe 02 |1......r|ule.....|
|00000710| 07 24 61 74 74 61 63 68 | 00 00 00 00 02 0e 24 67 |.$attach|......$g|
|00000720| 65 74 63 6c 5f 63 6f 6c | 6c 65 63 74 ff ff ff fe |etcl_col|lect....|
|00000730| 02 04 66 61 63 74 00 00 | 00 02 03 15 24 67 65 74 |..fact..|....$get|
|00000740| 63 6c 5f 63 6f 6c 6c 65 | 63 74 5f 23 31 30 37 32 |cl_colle|ct_#1072|
|00000750| 36 a7 03 a3 03 00 00 00 | 14 a4 03 00 00 00 2c a5 |6.......|......,.|
|00000760| 03 00 00 00 9c e9 00 05 | 01 00 00 02 03 d1 00 02 |........|........|
|00000770| 01 e8 03 00 00 00 00 a8 | 02 ea 00 eb 00 e9 00 07 |........|........|
|00000780| 01 0a 04 08 02 00 00 03 | 02 d1 00 03 05 06 04 00 |........|........|
|00000790| 00 00 01 08 04 08 05 a9 | 05 11 00 04 01 10 00 06 |........|........|
|000007a0| 02 10 00 07 03 e8 09 00 | 00 00 02 16 01 00 00 00 |........|........|
|000007b0| 03 19 06 19 07 1a 03 1a | 03 18 08 11 00 03 02 e8 |........|........|
|000007c0| 09 00 00 00 04 16 01 00 | 00 00 05 19 04 19 05 1a |........|........|
|000007d0| 03 1a 03 11 00 08 02 e8 | 09 00 00 00 06 e0 00 02 |........|........|
|000007e0| 01 e0 00 03 02 ea 00 ec | 00 00 00 00 07 e9 00 07 |........|........|
|000007f0| 01 08 02 08 03 00 00 04 | 02 11 00 02 01 10 00 05 |........|........|
|00000800| 02 10 00 06 03 e8 08 00 | 00 00 02 16 01 00 00 00 |........|........|
|00000810| 03 19 05 19 06 1a 03 1a | 03 18 07 11 00 04 02 e8 |........|........|
|00000820| 08 00 00 00 04 16 01 00 | 00 00 08 19 02 1a 03 11 |........|........|
|00000830| 00 07 02 e8 08 00 00 00 | 06 e0 00 03 01 e0 00 04 |........|........|
|00000840| 02 ea 00 ec 00 00 00 00 | 07 ff 00 00 00 00 00 11 |........|........|
|00000850| 12 13 03 00 00 00 0d 00 | 00 00 20 00 00 00 00 00 |........|.. .....|
|00000860| 00 00 00 02 07 24 61 74 | 74 61 63 68 d1 00 02 03 |.....$at|tach....|
|00000870| b0 03 00 00 00 16 00 00 | 00 16 07 03 0b 01 0a 04 |........|........|
|00000880| eb 00 48 03 05 02 ec 00 | 00 00 00 00 ff 00 00 00 |..H.....|........|
|00000890| 00 00 11 12 13 03 00 00 | 00 3f 00 00 00 26 00 00 |........|.?...&..|
|000008a0| 00 00 ff ff ff fe 02 02 | 3a 2d ff ff ff fe 03 08 |........|:-......|
|000008b0| 24 66 75 6e 63 74 6f 72 | 00 00 00 00 03 0b 24 67 |$functor|......$g|
|000008c0| 65 74 63 6c 5f 70 72 65 | 64 00 00 00 02 04 12 24 |etcl_pre|d......$|
|000008d0| 67 65 74 63 6c 5f 70 72 | 65 64 5f 23 31 30 38 33 |getcl_pr|ed_#1083|
|000008e0| 32 a7 04 a3 04 00 00 00 | 0e a5 04 00 00 00 20 06 |2.......|...... .|
|000008f0| 01 00 00 00 00 0a 01 0a | 05 a9 04 ec 00 00 00 00 |........|........|
|00000900| 01 ec 00 00 00 00 01 ff | 00 00 00 00 00 11 12 13 |........|........|
|00000910| 03 00 00 00 4d 00 00 00 | 46 00 00 00 00 ff ff ff |....M...|F.......|
|00000920| fe 01 12 24 67 65 74 63 | 6c 5f 63 6c 6f 73 65 74 |...$getc|l_closet|
|00000930| 61 69 6c 73 31 00 00 00 | 00 01 11 24 67 65 74 63 |ails1...|...$getc|
|00000940| 6c 5f 63 6c 6f 73 65 74 | 61 69 6c 73 00 00 00 02 |l_closet|ails....|
|00000950| 02 18 24 67 65 74 63 6c | 5f 63 6c 6f 73 65 74 61 |..$getcl|_closeta|
|00000960| 69 6c 73 5f 23 31 30 38 | 37 35 a7 02 b4 01 00 00 |ils_#108|75......|
|00000970| 00 1a 00 00 00 26 a3 02 | 00 00 00 18 a5 02 00 00 |.....&..|........|
|00000980| 00 1c 05 01 eb 00 e9 00 | 07 01 f0 00 00 00 00 2a |........|.......*|
|00000990| e9 00 46 01 0a 01 08 02 | 00 00 03 02 e8 04 00 00 |..F.....|........|
|000009a0| 00 00 a8 03 e0 00 02 01 | ea 00 ec 00 00 00 00 01 |........|........|
|000009b0| ff 00 00 00 00 00 11 12 | 13 03 00 00 00 32 00 00 |........|.....2..|
|000009c0| 00 16 00 00 00 00 ff ff | ff fe 05 04 70 72 65 64 |........|....pred|
|000009d0| ff ff ff fe 01 0a 24 63 | 6c 6f 73 65 74 61 69 6c |......$c|losetail|
|000009e0| 00 00 00 00 01 12 24 67 | 65 74 63 6c 5f 63 6c 6f |......$g|etcl_clo|
|000009f0| 73 65 74 61 69 6c 73 31 | 06 01 00 00 00 00 0a 02 |setails1|........|
|00000a00| 0a 02 0a 02 0a 02 0a 01 | ec 00 00 00 00 01 ff 00 |........|........|
|00000a10| 00 00 00 00 11 12 13 03 | 00 00 00 5f 00 00 00 5e |........|..._...^|
|00000a20| 00 00 00 00 ff ff ff fe | 02 0e 74 65 72 6d 5f 65 |........|..term_e|
|00000a30| 78 70 61 6e 73 69 6f 6e | ff ff ff fe 00 03 2d 2d |xpansion|......--|
|00000a40| 3e ff ff ff fe 03 07 66 | 75 6e 63 74 6f 72 ff ff |>......f|unctor..|
|00000a50| ff fe 02 04 24 64 63 67 | 00 00 00 00 02 0c 24 65 |....$dcg|......$e|
|00000a60| 78 70 61 6e 64 5f 74 65 | 72 6d 00 00 00 02 03 13 |xpand_te|rm......|
|00000a70| 24 65 78 70 61 6e 64 5f | 74 65 72 6d 5f 23 31 30 |$expand_|term_#10|
|00000a80| 39 31 32 a7 03 a3 03 00 | 00 00 14 a4 03 00 00 00 |912.....|........|
|00000a90| 26 a5 03 00 00 00 58 e9 | 00 00 00 02 03 e8 03 00 |&.....X.|........|
|00000aa0| 00 00 00 a8 02 ea 00 eb | 00 e9 00 00 00 02 01 00 |........|........|
|00000ab0| 00 03 02 00 00 04 03 14 | 02 00 00 00 01 0f 03 00 |........|........|
|00000ac0| 00 00 02 e8 05 00 00 00 | 02 a8 04 e0 00 02 01 e0 |........|........|
|00000ad0| 00 03 02 ea 00 ec 00 00 | 00 00 03 03 00 01 02 eb |........|........|
|00000ae0| 00 ff 00 00 00 00 00    |                         |....... |        |
+--------+-------------------------+-------------------------+--------+--------+