| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | {"name":"yap","origin":"lang/yap","version":"6.2.2_1","comment":"High-performance·Prolog·compiler","maintainer":"danilo@FreeBSD.org","www":"http://www.dcc.fc.up.pt/~vsc/Yap/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":16662929,"licenselogic":"single","desc":"YAP·is·a·high-performance·Prolog·compiler·developed·at\nLIACC/Universidade·do·Porto·and·at·COPPE·Sistemas/UFRJ.·Its·Prolog\nengine·is·based·in·the·WAM·(Warren·Abstract·Machine),·with·several\noptimizations·for·better·performance.·YAP·follows·the·Edinburgh\ntradition,·and·is·largely·compatible·with·the·ISO-Prolog·standard·and\nwith·Quintus·and·SICStus·Prolog.\n\nWWW:·http://www.dcc.fc.up.pt/~vsc/Yap/","deps":{"readline":{"origin":"devel/readline","version":"6.3.8"},"gcc":{"origin":"lang/gcc","version":"4.8.5_2"}},"categories":["lang"],"shlibs_required":["libgmp.so.10","libreadline.so.6","libstdc++.so.6","libgcc_s.so.1"],"options":{"DOCS":"on"},"files":{"/usr/local/bin/yap":"1$d | 1 | {"name":"yap","origin":"lang/yap","version":"6.2.2_1","comment":"High-performance·Prolog·compiler","maintainer":"danilo@FreeBSD.org","www":"http://www.dcc.fc.up.pt/~vsc/Yap/","abi":"FreeBSD:11:amd64","arch":"freebsd:11:x86:64","prefix":"/usr/local","flatsize":16662929,"licenselogic":"single","desc":"YAP·is·a·high-performance·Prolog·compiler·developed·at\nLIACC/Universidade·do·Porto·and·at·COPPE·Sistemas/UFRJ.·Its·Prolog\nengine·is·based·in·the·WAM·(Warren·Abstract·Machine),·with·several\noptimizations·for·better·performance.·YAP·follows·the·Edinburgh\ntradition,·and·is·largely·compatible·with·the·ISO-Prolog·standard·and\nwith·Quintus·and·SICStus·Prolog.\n\nWWW:·http://www.dcc.fc.up.pt/~vsc/Yap/","deps":{"readline":{"origin":"devel/readline","version":"6.3.8"},"gcc":{"origin":"lang/gcc","version":"4.8.5_2"}},"categories":["lang"],"shlibs_required":["libgmp.so.10","libreadline.so.6","libstdc++.so.6","libgcc_s.so.1"],"options":{"DOCS":"on"},"files":{"/usr/local/bin/yap":"1$6dfde07f429b41d669af4edcc57be5d52b5abbb·✂ |
| Offset 3182, 16 lines modified | Offset 3182, 16 lines modified | ||
| 3182 | ··0x00509610·696c655f·666f756e·645f6265·666f7265·ile_found_before | 3182 | ··0x00509610·696c655f·666f756e·645f6265·666f7265·ile_found_before |
| 3183 | ··0x00509620·5f656e64·5f6f665f·7465726d·00000000·_end_of_term.... | 3183 | ··0x00509620·5f656e64·5f6f665f·7465726d·00000000·_end_of_term.... |
| 3184 | ··0x00509630·616c6c6f·63617469·6e672069·6e697469·allocating·initi | 3184 | ··0x00509630·616c6c6f·63617469·6e672069·6e697469·allocating·initi |
| 3185 | ··0x00509640·616c2070·72656469·63617465·20686173·al·predicate·has | 3185 | ··0x00509640·616c2070·72656469·63617465·20686173·al·predicate·has |
| 3186 | ··0x00509650·68207461·626c6500·616c6c6f·775f7661·h·table.allow_va | 3186 | ··0x00509650·68207461·626c6500·616c6c6f·775f7661·h·table.allow_va |
| 3187 | ··0x00509660·72696162·6c655f6e·616d655f·61735f66·riable_name_as_f | 3187 | ··0x00509660·72696162·6c655f6e·616d655f·61735f66·riable_name_as_f |
| 3188 | ··0x00509670·756e6374·6f720000·59415020·362e322e·unctor..YAP·6.2. | 3188 | ··0x00509670·756e6374·6f720000·59415020·362e322e·unctor..YAP·6.2. |
| 3189 | ··0x00509680·32202861·6d643634·293a20 | 3189 | ··0x00509680·32202861·6d643634·293a2053·756e204a·2·(amd64):·Sun·J |
| 3190 | ··0x00509690·756e2031·3 | 3190 | ··0x00509690·756e2031·32203036·3a31363a·32342055·un·12·06:16:24·U |
| 3191 | ··0x005096a0·54432032·30313600·00000000·00000000·TC·2016......... | 3191 | ··0x005096a0·54432032·30313600·00000000·00000000·TC·2016......... |
| 3192 | ··0x005096b0·00000000·00000000·00000000·00000000·................ | 3192 | ··0x005096b0·00000000·00000000·00000000·00000000·................ |
| 3193 | ··0x005096c0·207d5000·00000000·0100b004·00000000··}P............. | 3193 | ··0x005096c0·207d5000·00000000·0100b004·00000000··}P............. |
| 3194 | ··0x005096d0·c78c5000·00000000·0100b004·00000000·..P............. | 3194 | ··0x005096d0·c78c5000·00000000·0100b004·00000000·..P............. |
| 3195 | ··0x005096e0·d3d94f00·00000000·0600b004·00000000·..O............. | 3195 | ··0x005096e0·d3d94f00·00000000·0600b004·00000000·..O............. |
| 3196 | ··0x005096f0·207d5000·00000000·0600b004·00000000··}P............. | 3196 | ··0x005096f0·207d5000·00000000·0600b004·00000000··}P............. |
| 3197 | ··0x00509700·b7ee4f00·00000000·06007e04·00000000·..O.......~..... | 3197 | ··0x00509700·b7ee4f00·00000000·06007e04·00000000·..O.......~..... |
| Offset 9, 9 lines modified | Offset 9, 9 lines modified | ||
| 9 | #define·YAP_ARCH» ····"amd64" | 9 | #define·YAP_ARCH» ····"amd64" |
| 10 | #define·YAP_LIBS» ····"-lgmp·-lcrypt·-lstdc++·-lxnet·-lm··-lreadline·-lncurses·-lz" | 10 | #define·YAP_LIBS» ····"-lgmp·-lcrypt·-lstdc++·-lxnet·-lm··-lreadline·-lncurses·-lz" |
| 11 | #define·YAP_YAPLIB» ····"libYap.a" | 11 | #define·YAP_YAPLIB» ····"libYap.a" |
| 12 | #define·YAP_CC» ····"gcc48" | 12 | #define·YAP_CC» ····"gcc48" |
| 13 | #define·YAP_CFLAGS» ····"-O3·-fomit-frame-pointer·-Wall·-Wstrict-prototypes·-Wmissing-prototypes·-O2·-pipe··-fstack-protector·-Wl,-rpath=/usr/local/lib/gcc48·-fno-strict-aliasing·-DCUT_C=1··-DCOROUTINING=1·-DRATIONAL_TREES=1·-DDEPTH_LIMIT=1·-DHAVE_CONFIG_H·-D_YAP_NOT_INSTALLED_=1·-I/usr/local/include··-I.·-I./H·-I./OPTYap·-I./BEAM·-I./MYDDAS" | 13 | #define·YAP_CFLAGS» ····"-O3·-fomit-frame-pointer·-Wall·-Wstrict-prototypes·-Wmissing-prototypes·-O2·-pipe··-fstack-protector·-Wl,-rpath=/usr/local/lib/gcc48·-fno-strict-aliasing·-DCUT_C=1··-DCOROUTINING=1·-DRATIONAL_TREES=1·-DDEPTH_LIMIT=1·-DHAVE_CONFIG_H·-D_YAP_NOT_INSTALLED_=1·-I/usr/local/include··-I.·-I./H·-I./OPTYap·-I./BEAM·-I./MYDDAS" |
| 14 | #define·YAP_LDFLAGS····"-Wl,--export-dynamic··-L/usr/local/lib·-fstack-protector·-Wl,-rpath=/usr/local/lib/gcc48·-L/usr/local/lib/gcc48·-L/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2·-Wl,-R,/usr/local/lib" | 14 | #define·YAP_LDFLAGS····"-Wl,--export-dynamic··-L/usr/local/lib·-fstack-protector·-Wl,-rpath=/usr/local/lib/gcc48·-L/usr/local/lib/gcc48·-L/wrkdirs/usr/ports/lang/yap/work/yap-6.2.2·-Wl,-R,/usr/local/lib" |
| 15 | #define·YAP_SHLIB_SUFFIX····"."·"so" | 15 | #define·YAP_SHLIB_SUFFIX····"."·"so" |
| 16 | #define·YAP_TIMESTAMP·"1465 | 16 | #define·YAP_TIMESTAMP·"1465712184" |
| 17 | #define·YAP_SVERSION···"YAP·6.2.2·(amd64):· | 17 | #define·YAP_SVERSION···"YAP·6.2.2·(amd64):·Sun·Jun·12·06:16:24·UTC·2016" |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | 00000000:·2321·2f62·696e·2f73·680a·6578·6563·5f64··#!/bin/sh.exec_d | 1 | 00000000:·2321·2f62·696e·2f73·680a·6578·6563·5f64··#!/bin/sh.exec_d |
| 2 | 00000010:·6972·3d24·7b59·4150·4249·4e44·4952·3a2d··ir=${YAPBINDIR:- | 2 | 00000010:·6972·3d24·7b59·4150·4249·4e44·4952·3a2d··ir=${YAPBINDIR:- |
| 3 | 00000020:·2f75·7372·2f6c·6f63·616c·2f62·696e·7d0a··/usr/local/bin}. | 3 | 00000020:·2f75·7372·2f6c·6f63·616c·2f62·696e·7d0a··/usr/local/bin}. |
| 4 | 00000030:·6578·6563·2024·6578·6563·5f64·6972·2f79··exec·$exec_dir/y | 4 | 00000030:·6578·6563·2024·6578·6563·5f64·6972·2f79··exec·$exec_dir/y |
| 5 | 00000040:·6170·2024·3020·2224·4022·0a01·5941·502d··ap·$0·"$@"..YAP- | 5 | 00000040:·6170·2024·3020·2224·4022·0a01·5941·502d··ap·$0·"$@"..YAP- |
| 6 | 00000050:·5941·5020·362e·322e·3220·2861·6d64·3634··YAP·6.2.2·(amd64 | 6 | 00000050:·5941·5020·362e·322e·3220·2861·6d64·3634··YAP·6.2.2·(amd64 |
| 7 | 00000060:·293a·20 | 7 | 00000060:·293a·2053·756e·204a·756e·2031·3220·3036··):·Sun·Jun·12·06 |
| 8 | 00000070:·3a3 | 8 | 00000070:·3a31·363a·3234·2055·5443·2032·3031·3600··:16:24·UTC·2016. |
| 9 | 00000080:·0100·0000·0000·0000·0200·0000·0000·0000··................ | 9 | 00000080:·0100·0000·0000·0000·0200·0000·0000·0000··................ |
| 10 | 00000090:·0000·7d00·0000·0000·00c0·2500·0000·0000··..}.......%..... | 10 | 00000090:·0000·7d00·0000·0000·00c0·2500·0000·0000··..}.......%..... |
| 11 | 000000a0:·f8ff·0500·0000·0000·d0c9·2500·0000·0000··..........%..... | 11 | 000000a0:·f8ff·0500·0000·0000·d0c9·2500·0000·0000··..........%..... |
| 12 | 000000b0:·7803·0000·0000·0000·1842·1000·0000·0000··x........B...... | 12 | 000000b0:·7803·0000·0000·0000·1842·1000·0000·0000··x........B...... |
| 13 | 000000c0:·3000·0000·0000·0000·0000·0000·0000·0000··0............... | 13 | 000000c0:·3000·0000·0000·0000·0000·0000·0000·0000··0............... |
| 14 | 000000d0:·21dc·0110·0000·0000·704b·7300·0000·0000··!.......pKs..... | 14 | 000000d0:·21dc·0110·0000·0000·704b·7300·0000·0000··!.......pKs..... |
| 15 | 000000e0:·0000·0000·0000·0000·0000·0010·0000·0000··................ | 15 | 000000e0:·0000·0000·0000·0000·0000·0010·0000·0000··................ |
| Offset 6164, 15 lines modified | Offset 6164, 15 lines modified | ||
| 6164 | 00018130:·f0d5·0110·0000·0000·0000·0000·0000·0000··................ | 6164 | 00018130:·f0d5·0110·0000·0000·0000·0000·0000·0000··................ |
| 6165 | 00018140:·b0a9·1310·0000·0000·0000·0000·0000·0000··................ | 6165 | 00018140:·b0a9·1310·0000·0000·0000·0000·0000·0000··................ |
| 6166 | 00018150:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 6166 | 00018150:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 6167 | 00018160:·9029·0e10·0000·0000·0000·0000·0000·0000··.).............. | 6167 | 00018160:·9029·0e10·0000·0000·0000·0000·0000·0000··.).............. |
| 6168 | 00018170:·00bb·0110·0000·0000·8040·1110·0000·0000··.........@...... | 6168 | 00018170:·00bb·0110·0000·0000·8040·1110·0000·0000··.........@...... |
| 6169 | 00018180:·1057·0210·0000·0000·b0e7·0710·0000·0000··.W.............. | 6169 | 00018180:·1057·0210·0000·0000·b0e7·0710·0000·0000··.W.............. |
| 6170 | 00018190:·10aa·1010·0000·0000·6075·2410·0000·0000··........`u$..... | 6170 | 00018190:·10aa·1010·0000·0000·6075·2410·0000·0000··........`u$..... |
| 6171 | 000181a0:· | 6171 | 000181a0:·30a2·0210·0000·0000·208a·0f10·0000·0000··0.......·....... |
| 6172 | 000181b0:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 6172 | 000181b0:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 6173 | 000181c0:·303d·1c10·0000·0000·0000·0000·0000·0000··0=.............. | 6173 | 000181c0:·303d·1c10·0000·0000·0000·0000·0000·0000··0=.............. |
| 6174 | 000181d0:·0000·0000·0000·0000·0070·2210·0000·0000··.........p"..... | 6174 | 000181d0:·0000·0000·0000·0000·0070·2210·0000·0000··.........p"..... |
| 6175 | 000181e0:·30d0·0110·0000·0000·0000·0000·0000·0000··0............... | 6175 | 000181e0:·30d0·0110·0000·0000·0000·0000·0000·0000··0............... |
| 6176 | 000181f0:·0000·0000·0000·0000·e0fc·2010·0000·0000··..........·..... | 6176 | 000181f0:·0000·0000·0000·0000·e0fc·2010·0000·0000··..........·..... |
| 6177 | 00018200:·6043·0210·0000·0000·f044·2210·0000·0000··`C.......D"..... | 6177 | 00018200:·6043·0210·0000·0000·f044·2210·0000·0000··`C.......D"..... |
| 6178 | 00018210:·70ea·1c10·0000·0000·10d6·0110·0000·0000··p............... | 6178 | 00018210:·70ea·1c10·0000·0000·10d6·0110·0000·0000··p............... |
| Offset 6722, 15 lines modified | Offset 6722, 15 lines modified | ||
| 6722 | 0001a410:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 6722 | 0001a410:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 6723 | 0001a420:·1024·1110·0000·0000·0000·0000·0000·0000··.$.............. | 6723 | 0001a420:·1024·1110·0000·0000·0000·0000·0000·0000··.$.............. |
| 6724 | 0001a430:·d015·0510·0000·0000·e0e9·2210·0000·0000··.........."..... | 6724 | 0001a430:·d015·0510·0000·0000·e0e9·2210·0000·0000··.........."..... |
| 6725 | 0001a440:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 6725 | 0001a440:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 6726 | 0001a450:·90dc·0910·0000·0000·0000·0000·0000·0000··................ | 6726 | 0001a450:·90dc·0910·0000·0000·0000·0000·0000·0000··................ |
| 6727 | 0001a460:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 6727 | 0001a460:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 6728 | 0001a470:·0000·0000·0000·0000·e0fb·1910·0000·0000··................ | 6728 | 0001a470:·0000·0000·0000·0000·e0fb·1910·0000·0000··................ |
| 6729 | 0001a480:· | 6729 | 0001a480:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 6730 | 0001a490:·705e·2310·0000·0000·e066·0b10·0000·0000··p^#......f...... | 6730 | 0001a490:·705e·2310·0000·0000·e066·0b10·0000·0000··p^#......f...... |
| 6731 | 0001a4a0:·0000·0000·0000·0000·e0e9·1b10·0000·0000··................ | 6731 | 0001a4a0:·0000·0000·0000·0000·e0e9·1b10·0000·0000··................ |
| 6732 | 0001a4b0:·0000·0000·0000·0000·8021·2410·0000·0000··.........!$..... | 6732 | 0001a4b0:·0000·0000·0000·0000·8021·2410·0000·0000··.........!$..... |
| 6733 | 0001a4c0:·0000·0000·0000·0000·c042·1010·0000·0000··.........B...... | 6733 | 0001a4c0:·0000·0000·0000·0000·c042·1010·0000·0000··.........B...... |
| 6734 | 0001a4d0:·8048·0510·0000·0000·8094·0210·0000·0000··.H.............. | 6734 | 0001a4d0:·8048·0510·0000·0000·8094·0210·0000·0000··.H.............. |
| 6735 | 0001a4e0:·0000·0000·0000·0000·805d·0210·0000·0000··.........]...... | 6735 | 0001a4e0:·0000·0000·0000·0000·805d·0210·0000·0000··.........]...... |
| 6736 | 0001a4f0:·8010·1b10·0000·0000·405d·2410·0000·0000··........@]$..... | 6736 | 0001a4f0:·8010·1b10·0000·0000·405d·2410·0000·0000··........@]$..... |
| Offset 10973, 16 lines modified | Offset 10973, 16 lines modified | ||
| 10973 | 0002adc0:·ffff·0000·0000·0000·a042·0210·0000·0000··.........B...... | 10973 | 0002adc0:·ffff·0000·0000·0000·a042·0210·0000·0000··.........B...... |
| 10974 | 0002add0:·0000·0000·0000·0000·90a1·0210·0000·0000··................ | 10974 | 0002add0:·0000·0000·0000·0000·90a1·0210·0000·0000··................ |
| 10975 | 0002ade0:·0000·0000·c810·0000·0000·0000·0000·0000··................ | 10975 | 0002ade0:·0000·0000·c810·0000·0000·0000·0000·0000··................ |
| 10976 | 0002adf0:·2100·0000·0000·0000·0000·0000·0000·0000··!............... | 10976 | 0002adf0:·2100·0000·0000·0000·0000·0000·0000·0000··!............... |
| 10977 | 0002ae00:·fcff·0000·0000·0000·7900·0000·0000·0040··........y......@ | 10977 | 0002ae00:·fcff·0000·0000·0000·7900·0000·0000·0040··........y......@ |
| 10978 | 0002ae10:·5100·0000·0000·0000·0000·0000·0000·0000··Q............... | 10978 | 0002ae10:·5100·0000·0000·0000·0000·0000·0000·0000··Q............... |
| 10979 | 0002ae20:·0000·0000·0000·0000·5941·5020·362e·322e··........YAP·6.2. | 10979 | 0002ae20:·0000·0000·0000·0000·5941·5020·362e·322e··........YAP·6.2. |
| 10980 | 0002ae30:·3220·2861·6d64·3634·293a·20 | 10980 | 0002ae30:·3220·2861·6d64·3634·293a·2053·756e·204a··2·(amd64):·Sun·J |
| 10981 | 0002ae40:·756e·2031·3 | 10981 | 0002ae40:·756e·2031·3220·3036·3a31·363a·3234·2055··un·12·06:16:24·U |
| 10982 | 0002ae50:·5443·2032·3031·3600·0000·0000·0000·0000··TC·2016......... | 10982 | 0002ae50:·5443·2032·3031·3600·0000·0000·0000·0000··TC·2016......... |
| 10983 | 0002ae60:·2100·0000·0000·0000·0000·0000·0000·0000··!............... | 10983 | 0002ae60:·2100·0000·0000·0000·0000·0000·0000·0000··!............... |
| 10984 | 0002ae70:·fcff·0000·0000·0000·31a2·0210·0000·0000··........1....... | 10984 | 0002ae70:·fcff·0000·0000·0000·31a2·0210·0000·0000··........1....... |
| 10985 | 0002ae80:·3100·0000·0000·0000·e0ae·0110·0000·0000··1............... | 10985 | 0002ae80:·3100·0000·0000·0000·e0ae·0110·0000·0000··1............... |
| 10986 | 0002ae90:·0000·0000·0000·0000·2f75·7372·2f6c·6f63··......../usr/loc | 10986 | 0002ae90:·0000·0000·0000·0000·2f75·7372·2f6c·6f63··......../usr/loc |
| 10987 | 0002aea0:·616c·2f73·6861·7265·2f59·6170·0000·0000··al/share/Yap.... | 10987 | 0002aea0:·616c·2f73·6861·7265·2f59·6170·0000·0000··al/share/Yap.... |
| 10988 | 0002aeb0:·2100·0000·0000·0000·0000·0000·0000·0000··!............... | 10988 | 0002aeb0:·2100·0000·0000·0000·0000·0000·0000·0000··!............... |
| Offset 18782, 15 lines modified | Offset 18782, 15 lines modified | ||
| 18782 | 000495d0:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 18782 | 000495d0:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 18783 | 000495e0:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 18783 | 000495e0:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 18784 | 000495f0:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 18784 | 000495f0:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 18785 | 00049600:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 18785 | 00049600:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 18786 | 00049610:·0000·0000·0000·0000·40dc·0110·0000·0000··........@....... | 18786 | 00049610:·0000·0000·0000·0000·40dc·0110·0000·0000··........@....... |
| 18787 | 00049620:·41dc·0110·0000·0000·0047·4901·0800·0000··A........GI..... | 18787 | 00049620:·41dc·0110·0000·0000·0047·4901·0800·0000··A........GI..... |
| 18788 | 00049630:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 18788 | 00049630:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 18789 | 00049640:·e | 18789 | 00049640:·e81a·0000·0000·0000·5800·0000·0000·0000··........X....... |
| 18790 | 00049650:·0000·0000·0000·0000·0220·4000·0000·0000··.........·@..... | 18790 | 00049650:·0000·0000·0000·0000·0220·4000·0000·0000··.........·@..... |
| 18791 | 00049660:·0000·0000·0000·0000·b04b·4a00·0000·0000··.........KJ..... | 18791 | 00049660:·0000·0000·0000·0000·b04b·4a00·0000·0000··.........KJ..... |
| 18792 | 00049670:·6028·4a00·0000·0000·a02a·4a00·0000·0000··`(J......*J..... | 18792 | 00049670:·6028·4a00·0000·0000·a02a·4a00·0000·0000··`(J......*J..... |
| 18793 | 00049680:·a0ff·4900·0000·0000·a0ff·4900·0000·0000··..I.......I..... | 18793 | 00049680:·a0ff·4900·0000·0000·a0ff·4900·0000·0000··..I.......I..... |
| 18794 | 00049690:·8008·4a00·0000·0000·0100·0000·0000·0000··..J............. | 18794 | 00049690:·8008·4a00·0000·0000·0100·0000·0000·0000··..J............. |
| 18795 | 000496a0:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 18795 | 000496a0:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| 18796 | 000496b0:·0000·0000·0000·0000·0000·0000·0000·0000··................ | 18796 | 000496b0:·0000·0000·0000·0000·0000·0000·0000·0000··................ |
| Offset 22373, 16 lines modified | Offset 22373, 16 lines modified | ||
| 22373 | 00057640:·0000·0000·0000·0000·1f90·4100·0000·0000··..........A..... | 22373 | 00057640:·0000·0000·0000·0000·1f90·4100·0000·0000··..........A..... |
| 22374 | 00057650:·e8ad·4100·0000·0000·e0ff·ffff·ffff·ffff··..A............. | 22374 | 00057650:·e8ad·4100·0000·0000·e0ff·ffff·ffff·ffff··..A............. |
| 22375 | 00057660:·0000·0000·0000·0000·9069·0510·0000·0000··.........i...... | 22375 | 00057660:·0000·0000·0000·0000·9069·0510·0000·0000··.........i...... |
| 22376 | 00057670:·9069·0510·0000·0000·7a8f·4100·0000·0000··.i......z.A..... | 22376 | 00057670:·9069·0510·0000·0000·7a8f·4100·0000·0000··.i......z.A..... |
| 22377 | 00057680:·9069·0510·0000·0000·338e·4100·0000·0000··.i......3.A..... | 22377 | 00057680:·9069·0510·0000·0000·338e·4100·0000·0000··.i......3.A..... |
| 22378 | 00057690:·9069·0510·0000·0000·a21b·4200·0000·0000··.i........B..... | 22378 | 00057690:·9069·0510·0000·0000·a21b·4200·0000·0000··.i........B..... |
| 22379 | 000576a0:·606a·0510·0000·0000·0000·0000·0000·0000··`j.............. | 22379 | 000576a0:·606a·0510·0000·0000·0000·0000·0000·0000··`j.............. |
| 22380 | 000576b0:·2100·0000·0000·0000· | 22380 | 000576b0:·2100·0000·0000·0000·dcfe·5c57·0000·0000··!.........\W.... |
| 22381 | 000576c0:· | 22381 | 000576c0:·a3ed·0200·0000·0000·0000·0000·0000·0000··................ |
| 22382 | 000576d0:·2100·0000·0000·0000·0000·0000·0000·0000··!............... | 22382 | 000576d0:·2100·0000·0000·0000·0000·0000·0000·0000··!............... |
| 22383 | 000576e0:·106b·0510·0000·0000·7372·616e·646f·6d00··.k......srandom. | 22383 | 000576e0:·106b·0510·0000·0000·7372·616e·646f·6d00··.k......srandom. |
| 22384 | 000576f0:·3100·0000·0000·0000·0000·0000·0000·0000··1............... | 22384 | 000576f0:·3100·0000·0000·0000·0000·0000·0000·0000··1............... |
| 22385 | 00057700:·00bb·0000·0000·0000·0100·0000·0000·0000··................ | 22385 | 00057700:·00bb·0000·0000·0000·0100·0000·0000·0000··................ |
| 22386 | 00057710:·f06a·0510·0000·0000·406b·0510·0000·0000··.j......@k...... | 22386 | 00057710:·f06a·0510·0000·0000·406b·0510·0000·0000··.j......@k...... |
| 22387 | 00057720:·b100·0000·0000·0000·0000·0000·0000·0000··................ | 22387 | 00057720:·b100·0000·0000·0000·0000·0000·0000·0000··................ |
| 22388 | 00057730:·0000·0000·0000·0000·106c·0510·0000·0000··.........l...... | 22388 | 00057730:·0000·0000·0000·0000·106c·0510·0000·0000··.........l...... |
| Offset 99993, 8 lines modified | Offset 99993, 8 lines modified | ||
| 99993 | 00186980:·105e·1810·0000·0000·f0cb·4100·0000·0000··.^........A..... | 99993 | 00186980:·105e·1810·0000·0000·f0cb·4100·0000·0000··.^........A..... |
| 99994 | 00186990:·784b·7300·0000·0000·51c1·0110·0000·0000··xKs.....Q....... | 99994 | 00186990:·784b·7300·0000·0000·51c1·0110·0000·0000··xKs.....Q....... |
| 99995 | 001869a0:·7acc·4100·0000·0000·804b·7300·0000·0000··z.A......Ks..... | 99995 | 001869a0:·7acc·4100·0000·0000·804b·7300·0000·0000··z.A......Ks..... |
| 99996 | 001869b0:·305c·1810·0000·0000·0100·0000·0000·0000··0\.............. | 99996 | 001869b0:·305c·1810·0000·0000·0100·0000·0000·0000··0\.............. |
| 99997 | 001869c0:·03b7·4100·0000·0000·884b·7300·0000·0000··..A......Ks..... | 99997 | 001869c0:·03b7·4100·0000·0000·884b·7300·0000·0000··..A......Ks..... |
| 99998 | 001869d0:·7d8a·4100·0000·0000·20d2·0710·0000·0000··}.A.....·....... | 99998 | 001869d0:·7d8a·4100·0000·0000·20d2·0710·0000·0000··}.A.....·....... |
| 99999 | 001869e0:·605c·1810·0000·0000·a21b·4200·0000·0000··`\........B..... | 99999 | 001869e0:·605c·1810·0000·0000·a21b·4200·0000·0000··`\........B..... |
| 100000 | [·Too·much·input·for·diff·(SHA1:· | 100000 | [·Too·much·input·for·diff·(SHA1:·f6e56a87cbb21d195f914d207a6c23a6094fcbe0)·] |
| Offset 259, 15 lines modified | Offset 259, 15 lines modified | ||
| 259 | String·dump·of·section·'.rodata.str1.8': | 259 | String·dump·of·section·'.rodata.str1.8': |
| 260 | ··[·····0]··initiating·a·C·Pred·with·backtracking | 260 | ··[·····0]··initiating·a·C·Pred·with·backtracking |
| 261 | ··[····28]··No·Heap·Space·in·InitCPredBack | 261 | ··[····28]··No·Heap·Space·in·InitCPredBack |
| 262 | ··[····48]··end_of_file_found_before_end_of_term | 262 | ··[····48]··end_of_file_found_before_end_of_term |
| 263 | ··[····70]··allocating·initial·predicate·hash·table | 263 | ··[····70]··allocating·initial·predicate·hash·table |
| 264 | ··[····98]··allow_variable_name_as_functor | 264 | ··[····98]··allow_variable_name_as_functor |
| 265 | ··[····b8]··YAP·6.2.2·(amd64):· | 265 | ··[····b8]··YAP·6.2.2·(amd64):·Sun·Jun·12·06:16:24·UTC·2016 |
| 266 | File:·lib.a(inlines.o) | 266 | File:·lib.a(inlines.o) |
| 267 | File:·lib.a(iopreds.o) | 267 | File:·lib.a(iopreds.o) |
| 268 | String·dump·of·section·'.rodata.str1.8': | 268 | String·dump·of·section·'.rodata.str1.8': |
| Offset 324, 15 lines modified | Offset 324, 15 lines modified | ||
| 324 | File:·lib.a(readutil.o) | 324 | File:·lib.a(readutil.o) |
| 325 | File:·lib.a(save.o) | 325 | File:·lib.a(save.o) |
| 326 | String·dump·of·section·'.rodata.str1.8': | 326 | String·dump·of·section·'.rodata.str1.8': |
| 327 | ··[·····0]··failed·to·read·saved·state·header | 327 | ··[·····0]··failed·to·read·saved·state·header |
| 328 | ··[····28]··failed·to·scan·first·line·from·saved·state | 328 | ··[····28]··failed·to·scan·first·line·from·saved·state |
| 329 | ··[····58]··YAP·6.2.2·(amd64):· | 329 | ··[····58]··YAP·6.2.2·(amd64):·Sun·Jun·12·06:16:24·UTC·2016 |
| 330 | ··[····88]··failed·to·scan·version·info·from·saved·state | 330 | ··[····88]··failed·to·scan·version·info·from·saved·state |
| 331 | ··[····b8]··could·not·allocate·enough·trail·space | 331 | ··[····b8]··could·not·allocate·enough·trail·space |
| 332 | ··[····e0]··not·enough·space·to·restore·hash·tables·for·indexing | 332 | ··[····e0]··not·enough·space·to·restore·hash·tables·for·indexing |
| 333 | ··[···118]··#!/bin/sh | 333 | ··[···118]··#!/bin/sh |
| 334 | ··[···122]··exec_dir=${YAPBINDIR:-%s} | 334 | ··[···122]··exec_dir=${YAPBINDIR:-%s} |
| 335 | ··[···13c]··exec·$exec_dir/yap·$0·"$@" | 335 | ··[···13c]··exec·$exec_dir/yap·$0·"$@" |
| 336 | ··[···157]··%cYAP-%s | 336 | ··[···157]··%cYAP-%s |
| Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
| 1 | <!DOCTYPE·html·PUBLIC·"-//W3C//DTD·HTML·4.01·Transitional//EN"·"http://www.w3.org/TR/html4/loose.dtd"> | 1 | <!DOCTYPE·html·PUBLIC·"-//W3C//DTD·HTML·4.01·Transitional//EN"·"http://www.w3.org/TR/html4/loose.dtd"> |
| 2 | <html> | 2 | <html> |
| 3 | <!--·Created·on·June·1 | 3 | <!--·Created·on·June·12,·2016·by·texi2html·5.0 |
| 4 | texi2html·was·written·by:· | 4 | texi2html·was·written·by:· |
| 5 | ············Lionel·Cons·<Lionel.Cons@cern.ch>·(original·author) | 5 | ············Lionel·Cons·<Lionel.Cons@cern.ch>·(original·author) |
| 6 | ············Karl·Berry··<karl@freefriends.org> | 6 | ············Karl·Berry··<karl@freefriends.org> |
| 7 | ············Olaf·Bachmann·<obachman@mathematik.uni-kl.de> | 7 | ············Olaf·Bachmann·<obachman@mathematik.uni-kl.de> |
| 8 | ············and·many·others. | 8 | ············and·many·others. |
| 9 | Maintained·by:·Many·creative·people. | 9 | Maintained·by:·Many·creative·people. |
| 10 | Send·bugs·and·suggestions·to·<texi2html-bug@nongnu.org> | 10 | Send·bugs·and·suggestions·to·<texi2html-bug@nongnu.org> |
| Offset 141, 16 lines modified | Offset 141, 16 lines modified | ||
| 141 | ····<li><a·name="toc-Predicates-on-terms"·href="#Testing-Terms">6.4·Predicates·on·terms</a></li> | 141 | ····<li><a·name="toc-Predicates-on-terms"·href="#Testing-Terms">6.4·Predicates·on·terms</a></li> |
| 142 | ····<li><a·name="toc-Predicates-on-Atoms-1"·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></li> | 142 | ····<li><a·name="toc-Predicates-on-Atoms-1"·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></li> |
| 143 | ····<li><a·name="toc-Predicates-on-Characters-1"·href="#Predicates-on-Characters">6.6·Predicates·on·Characters</a></li> | 143 | ····<li><a·name="toc-Predicates-on-Characters-1"·href="#Predicates-on-Characters">6.6·Predicates·on·Characters</a></li> |
| 144 | ····<li><a·name="toc-Comparing-Terms-1"·href="#Comparing-Terms">6.7·Comparing·Terms</a></li> | 144 | ····<li><a·name="toc-Comparing-Terms-1"·href="#Comparing-Terms">6.7·Comparing·Terms</a></li> |
| 145 | ····<li><a·name="toc-Arithmetic-1"·href="#Arithmetic">6.8·Arithmetic</a></li> | 145 | ····<li><a·name="toc-Arithmetic-1"·href="#Arithmetic">6.8·Arithmetic</a></li> |
| 146 | ····<li><a·name="toc-I_002fO-Predicates"·href="#I_002fO">6.9·I/O·Predicates</a> | 146 | ····<li><a·name="toc-I_002fO-Predicates"·href="#I_002fO">6.9·I/O·Predicates</a> |
| 147 | ····<ul·class="no-bullet"> | 147 | ····<ul·class="no-bullet"> |
| 148 | ······<li><a·name="toc-Handling-Streams-and-Files"·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></li> | 148 | ······<li><a·name="toc-Handling-Streams-and-Files-1"·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></li> |
| 149 | ······<li><a·name="toc-Handling-Streams-and-Files | 149 | ······<li><a·name="toc-Handling-Streams-and-Files"·href="#C_002dProlog-File-Handling">6.9.2·Handling·Streams·and·Files</a></li> |
| 150 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Terms"·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></li> | 150 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Terms"·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></li> |
| 151 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Characters"·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></li> | 151 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Characters"·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></li> |
| 152 | ······<li><a·name="toc-Input_002fOutput-Predicates-applied-to-Streams"·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></li> | 152 | ······<li><a·name="toc-Input_002fOutput-Predicates-applied-to-Streams"·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></li> |
| 153 | ······<li><a·name="toc-Compatible-C_002dProlog-predicates-for-Terminal-I_002fO"·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></li> | 153 | ······<li><a·name="toc-Compatible-C_002dProlog-predicates-for-Terminal-I_002fO"·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></li> |
| 154 | ······<li><a·name="toc-Controlling-Input_002fOutput"·href="#I_002fO-Control">6.9.7·Controlling·Input/Output</a></li> | 154 | ······<li><a·name="toc-Controlling-Input_002fOutput"·href="#I_002fO-Control">6.9.7·Controlling·Input/Output</a></li> |
| 155 | ······<li><a·name="toc-Using-Sockets-From-YAP"·href="#Sockets">6.9.8·Using·Sockets·From·YAP</a></li> | 155 | ······<li><a·name="toc-Using-Sockets-From-YAP"·href="#Sockets">6.9.8·Using·Sockets·From·YAP</a></li> |
| 156 | ····</ul></li> | 156 | ····</ul></li> |
| Offset 265, 15 lines modified | Offset 265, 15 lines modified | ||
| 265 | ····</ul></li> | 265 | ····</ul></li> |
| 266 | ····<li><a·name="toc-CHR-in-YAP-Programs-1"·href="#CHR-in-YAP-Programs">13.3·CHR·in·YAP·Programs</a> | 266 | ····<li><a·name="toc-CHR-in-YAP-Programs-1"·href="#CHR-in-YAP-Programs">13.3·CHR·in·YAP·Programs</a> |
| 267 | ····<ul·class="no-bullet"> | 267 | ····<ul·class="no-bullet"> |
| 268 | ······<li><a·name="toc-Embedding-in-Prolog-Programs"·href="#Embedding-in-Prolog-Programs">13.3.1·Embedding·in·Prolog·Programs</a></li> | 268 | ······<li><a·name="toc-Embedding-in-Prolog-Programs"·href="#Embedding-in-Prolog-Programs">13.3.1·Embedding·in·Prolog·Programs</a></li> |
| 269 | ······<li><a·name="toc-Constraint-declaration"·href="#Constraint-declaration">13.3.2·Constraint·declaration</a></li> | 269 | ······<li><a·name="toc-Constraint-declaration"·href="#Constraint-declaration">13.3.2·Constraint·declaration</a></li> |
| 270 | ······<li><a·name="toc-Compilation"·href="#Compilation">13.3.3·Compilation</a></li> | 270 | ······<li><a·name="toc-Compilation"·href="#Compilation">13.3.3·Compilation</a></li> |
| 271 | ····</ul></li> | 271 | ····</ul></li> |
| 272 | ····<li><a·name="toc-Debugging- | 272 | ····<li><a·name="toc-Debugging-1"·href="#CHR-Debugging">13.4·Debugging</a> |
| 273 | ····<ul·class="no-bullet"> | 273 | ····<ul·class="no-bullet"> |
| 274 | ······<li><a·name="toc-Ports"·href="#Ports">13.4.1·Ports</a></li> | 274 | ······<li><a·name="toc-Ports"·href="#Ports">13.4.1·Ports</a></li> |
| 275 | ······<li><a·name="toc-Tracing"·href="#Tracing">13.4.2·Tracing</a></li> | 275 | ······<li><a·name="toc-Tracing"·href="#Tracing">13.4.2·Tracing</a></li> |
| 276 | ······<li><a·name="toc-CHR-Debugging-Predicates"·href="#CHR-Debugging-Predicates">13.4.3·CHR·Debugging·Predicates</a></li> | 276 | ······<li><a·name="toc-CHR-Debugging-Predicates"·href="#CHR-Debugging-Predicates">13.4.3·CHR·Debugging·Predicates</a></li> |
| 277 | ····</ul></li> | 277 | ····</ul></li> |
| 278 | ····<li><a·name="toc-Examples"·href="#CHR-Examples">13.5·Examples</a></li> | 278 | ····<li><a·name="toc-Examples"·href="#CHR-Examples">13.5·Examples</a></li> |
| 279 | ····<li><a·name="toc-Compatibility-with-SICStus-CHR"·href="#CHR-Compatibility">13.6·Compatibility·with·SICStus·CHR</a></li> | 279 | ····<li><a·name="toc-Compatibility-with-SICStus-CHR"·href="#CHR-Compatibility">13.6·Compatibility·with·SICStus·CHR</a></li> |
| Offset 309, 15 lines modified | Offset 309, 15 lines modified | ||
| 309 | ····</ul></li> | 309 | ····</ul></li> |
| 310 | ····<li><a·name="toc-Thread-Synchronisation-1"·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></li> | 310 | ····<li><a·name="toc-Thread-Synchronisation-1"·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></li> |
| 311 | ··</ul></li> | 311 | ··</ul></li> |
| 312 | ··<li><a·name="toc-Parallelism-1"·href="#Parallelism">17·Parallelism</a></li> | 312 | ··<li><a·name="toc-Parallelism-1"·href="#Parallelism">17·Parallelism</a></li> |
| 313 | ··<li><a·name="toc-Tabling-1"·href="#Tabling">18·Tabling</a></li> | 313 | ··<li><a·name="toc-Tabling-1"·href="#Tabling">18·Tabling</a></li> |
| 314 | ··<li><a·name="toc-Tracing-at-Low-Level"·href="#Low-Level-Tracing">19·Tracing·at·Low·Level</a></li> | 314 | ··<li><a·name="toc-Tracing-at-Low-Level"·href="#Low-Level-Tracing">19·Tracing·at·Low·Level</a></li> |
| 315 | ··<li><a·name="toc-Profiling-the-Abstract-Machine"·href="#Low-Level-Profiling">20·Profiling·the·Abstract·Machine</a></li> | 315 | ··<li><a·name="toc-Profiling-the-Abstract-Machine"·href="#Low-Level-Profiling">20·Profiling·the·Abstract·Machine</a></li> |
| 316 | ··<li><a·name="toc-Debugging- | 316 | ··<li><a·name="toc-Debugging-2"·href="#Debugging">21·Debugging</a> |
| 317 | ··<ul·class="no-bullet"> | 317 | ··<ul·class="no-bullet"> |
| 318 | ····<li><a·name="toc-Debugging-Predicates"·href="#Deb-Preds">21.1·Debugging·Predicates</a></li> | 318 | ····<li><a·name="toc-Debugging-Predicates"·href="#Deb-Preds">21.1·Debugging·Predicates</a></li> |
| 319 | ····<li><a·name="toc-Interacting-with-the-debugger"·href="#Deb-Interaction">21.2·Interacting·with·the·debugger</a></li> | 319 | ····<li><a·name="toc-Interacting-with-the-debugger"·href="#Deb-Interaction">21.2·Interacting·with·the·debugger</a></li> |
| 320 | ··</ul></li> | 320 | ··</ul></li> |
| 321 | ··<li><a·name="toc-Efficiency-Considerations"·href="#Efficiency">22·Efficiency·Considerations</a> | 321 | ··<li><a·name="toc-Efficiency-Considerations"·href="#Efficiency">22·Efficiency·Considerations</a> |
| 322 | ··<ul·class="no-bullet"> | 322 | ··<ul·class="no-bullet"> |
| 323 | ····<li><a·name="toc-Deterministic-Programs"·href="#Deterministic-Programs">22.1·Deterministic·Programs</a></li> | 323 | ····<li><a·name="toc-Deterministic-Programs"·href="#Deterministic-Programs">22.1·Deterministic·Programs</a></li> |
| Offset 5838, 15 lines modified | Offset 5838, 15 lines modified | ||
| 5838 | <td·valign="middle"·align="left">· ·</td> | 5838 | <td·valign="middle"·align="left">· ·</td> |
| 5839 | <td·valign="middle"·align="left">· ·</td> | 5839 | <td·valign="middle"·align="left">· ·</td> |
| 5840 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 5840 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
| 5841 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 5841 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
| 5842 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 5842 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
| 5843 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 5843 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 5844 | </tr></table> | 5844 | </tr></table> |
| 5845 | <a·name="Handling-Streams-and-Files"></a> | 5845 | <a·name="Handling-Streams-and-Files-1"></a> |
| 5846 | <h3·class="subsection">6.9.1·Handling·Streams·and·Files</h3> | 5846 | <h3·class="subsection">6.9.1·Handling·Streams·and·Files</h3> |
| 5847 | <dl·compact="compact"> | 5847 | <dl·compact="compact"> |
| 5848 | <dt><code>open(+<var>F</var>,+<var>M</var>,-<var>S</var>)·[ISO]</code></dt> | 5848 | <dt><code>open(+<var>F</var>,+<var>M</var>,-<var>S</var>)·[ISO]</code></dt> |
| 5849 | <dd><a·name="index-open_002f3"></a> | 5849 | <dd><a·name="index-open_002f3"></a> |
| 5850 | <a·name="index-open_002f3-1"></a> | 5850 | <a·name="index-open_002f3-1"></a> |
| 5851 | <a·name="index-open_002f3-2"></a> | 5851 | <a·name="index-open_002f3-2"></a> |
| Offset 6320, 15 lines modified | Offset 6320, 15 lines modified | ||
| 6320 | <td·valign="middle"·align="left">· ·</td> | 6320 | <td·valign="middle"·align="left">· ·</td> |
| 6321 | <td·valign="middle"·align="left">· ·</td> | 6321 | <td·valign="middle"·align="left">· ·</td> |
| 6322 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 6322 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
| 6323 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 6323 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
| 6324 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 6324 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
| 6325 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 6325 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 6326 | </tr></table> | 6326 | </tr></table> |
| 6327 | <a·name="Handling-Streams-and-Files | 6327 | <a·name="Handling-Streams-and-Files"></a> |
| 6328 | <h3·class="subsection">6.9.2·Handling·Streams·and·Files</h3> | 6328 | <h3·class="subsection">6.9.2·Handling·Streams·and·Files</h3> |
| 6329 | <dl·compact="compact"> | 6329 | <dl·compact="compact"> |
| 6330 | <dt><code>tell(+<var>S</var>)</code></dt> | 6330 | <dt><code>tell(+<var>S</var>)</code></dt> |
| 6331 | <dd><a·name="index-tell_002f1"></a> | 6331 | <dd><a·name="index-tell_002f1"></a> |
| 6332 | <a·name="index-tell_002f1-1"></a> | 6332 | <a·name="index-tell_002f1-1"></a> |
| 6333 | <a·name="index-tell_002f1-2"></a> | 6333 | <a·name="index-tell_002f1-2"></a> |
| Offset 18614, 15 lines modified | Offset 18614, 15 lines modified | ||
| 18614 | <td·valign="middle"·align="left">· ·</td> | 18614 | <td·valign="middle"·align="left">· ·</td> |
| 18615 | <td·valign="middle"·align="left">· ·</td> | 18615 | <td·valign="middle"·align="left">· ·</td> |
| 18616 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 18616 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
| 18617 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 18617 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
| 18618 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 18618 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
| 18619 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 18619 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 18620 | </tr></table> | 18620 | </tr></table> |
| 18621 | <a·name="Debugging- | 18621 | <a·name="Debugging-1"></a> |
| 18622 | <h2·class="section">13.4·Debugging</h2> | 18622 | <h2·class="section">13.4·Debugging</h2> |
| 18623 | <p>The·CHR·debugging·facilities·are·currently·rather·limited.·Only·tracing | 18623 | <p>The·CHR·debugging·facilities·are·currently·rather·limited.·Only·tracing |
| 18624 | is·currently·available.·To·use·the·CHR·debugging·facilities·for·a·CHR | 18624 | is·currently·available.·To·use·the·CHR·debugging·facilities·for·a·CHR |
| 18625 | file·it·must·be·compiled·for·debugging.·Generating·debug·info·is | 18625 | file·it·must·be·compiled·for·debugging.·Generating·debug·info·is |
| 18626 | controlled·by·the·CHR·option·<code>debug</code>,·whose·default·is·derived | 18626 | controlled·by·the·CHR·option·<code>debug</code>,·whose·default·is·derived |
| 18627 | from·the·SWI-Prolog·flag·<code>generate_debug_info</code>.··Therefore·debug | 18627 | from·the·SWI-Prolog·flag·<code>generate_debug_info</code>.··Therefore·debug |
| Offset 21283, 15 lines modified | Offset 21283, 15 lines modified | ||
| 21283 | <td·valign="middle"·align="left">· ·</td> | 21283 | <td·valign="middle"·align="left">· ·</td> |
| 21284 | <td·valign="middle"·align="left">· ·</td> | 21284 | <td·valign="middle"·align="left">· ·</td> |
| 21285 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 21285 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
| 21286 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 21286 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
| 21287 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 21287 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
| 21288 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 21288 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 21289 | </tr></table> | 21289 | </tr></table> |
| 21290 | <a·name="Debugging- | 21290 | <a·name="Debugging-2"></a> |
| 21291 | <h1·class="chapter">21·Debugging</h1> | 21291 | <h1·class="chapter">21·Debugging</h1> |
| 21292 | <table·class="menu"·border="0"·cellspacing="0"> | 21292 | <table·class="menu"·border="0"·cellspacing="0"> |
| 21293 | <tr><td·align="left"·valign="top"><a·href="#Deb-Preds">21.1·Debugging·Predicates</a></td><td> </td><td·align="left"·valign="top"></td></tr> | 21293 | <tr><td·align="left"·valign="top"><a·href="#Deb-Preds">21.1·Debugging·Predicates</a></td><td> </td><td·align="left"·valign="top"></td></tr> |
| 21294 | <tr><td·align="left"·valign="top"><a·href="#Deb-Interaction">21.2·Interacting·with·the·debugger</a></td><td> </td><td·align="left"·valign="top"></td></tr> | 21294 | <tr><td·align="left"·valign="top"><a·href="#Deb-Interaction">21.2·Interacting·with·the·debugger</a></td><td> </td><td·align="left"·valign="top"></td></tr> |
| 21295 | </table> | 21295 | </table> |
| Offset 28619, 15 lines modified | Offset 28619, 15 lines modified | ||
| 28619 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 28619 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
| 28620 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 28620 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
| 28621 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 28621 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 28622 | </tr></table> | 28622 | </tr></table> |
| 28623 | <h1>About·This·Document</h1> | 28623 | <h1>About·This·Document</h1> |
| 28624 | <p> | 28624 | <p> |
| 28625 | ··This·document·was·generated·on·<i>June·1 | 28625 | ··This·document·was·generated·on·<i>June·12,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·5.0</i></a>. |
| 28626 | </p> | 28626 | </p> |
| 28627 | <p> | 28627 | <p> |
| 28628 | ··The·buttons·in·the·navigation·panels·have·the·following·meaning: | 28628 | ··The·buttons·in·the·navigation·panels·have·the·following·meaning: |
| 28629 | </p> | 28629 | </p> |
| 28630 | <table·border="1"> | 28630 | <table·border="1"> |
| 28631 | ··<tr> | 28631 | ··<tr> |
| 28632 | ····<th>·Button·</th> | 28632 | ····<th>·Button·</th> |
| Offset 28721, 14 lines modified | Offset 28721, 14 lines modified | ||
| 28721 | ····</ul> | 28721 | ····</ul> |
| 28722 | ··</li> | 28722 | ··</li> |
| 28723 | </ul> | 28723 | </ul> |
| 28724 | <hr> | 28724 | <hr> |
| 28725 | <p> | 28725 | <p> |
| 28726 | ·<font·size="-1"> | 28726 | ·<font·size="-1"> |
| 28727 | ··This·document·was·generated·on·<i>June·1 | 28727 | ··This·document·was·generated·on·<i>June·12,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·5.0</i></a>. |
| 28728 | ·</font> | 28728 | ·</font> |
| 28729 | ·<br> | 28729 | ·<br> |
| 28730 | </p> | 28730 | </p> |
| 28731 | </body> | 28731 | </body> |
| 28732 | </html> | 28732 | </html> |
| Offset 44457, 17 lines modified | Offset 44457, 17 lines modified | ||
| 44457 | 000ada80:·d7e0·bea8·db6b·0e57·7d9c·0966·b848·6cff··.....k.W}..f.Hl. | 44457 | 000ada80:·d7e0·bea8·db6b·0e57·7d9c·0966·b848·6cff··.....k.W}..f.Hl. |
| 44458 | 000ada90:·0f13·c371·720a·656e·6473·7472·6561·6d0a··...qr.endstream. | 44458 | 000ada90:·0f13·c371·720a·656e·6473·7472·6561·6d0a··...qr.endstream. |
| 44459 | 000adaa0:·656e·646f·626a·0a31·3437·3020·3020·6f62··endobj.1470·0·ob | 44459 | 000adaa0:·656e·646f·626a·0a31·3437·3020·3020·6f62··endobj.1470·0·ob |
| 44460 | 000adab0:·6a0a·3c3c·0a2f·5072·6f64·7563·6572·2028··j.<<./Producer·( | 44460 | 000adab0:·6a0a·3c3c·0a2f·5072·6f64·7563·6572·2028··j.<<./Producer·( |
| 44461 | 000adac0:·7064·6654·6558·2d31·2e34·302e·3136·290a··pdfTeX-1.40.16). | 44461 | 000adac0:·7064·6654·6558·2d31·2e34·302e·3136·290a··pdfTeX-1.40.16). |
| 44462 | 000adad0:·2f43·7265·6174·6f72·2028·5465·5829·0a2f··/Creator·(TeX)./ | 44462 | 000adad0:·2f43·7265·6174·6f72·2028·5465·5829·0a2f··/Creator·(TeX)./ |
| 44463 | 000adae0:·4372·6561·7469·6f6e·4461·7465·2028·443a··CreationDate·(D: | 44463 | 000adae0:·4372·6561·7469·6f6e·4461·7465·2028·443a··CreationDate·(D: |
| 44464 | 000adaf0:·3230·3136·3036·313 | 44464 | 000adaf0:·3230·3136·3036·3132·3036·3230·3533·5a29··20160612062053Z) |
| 44465 | 000adb00:·0a2f·4d6f·6444·6174·6520·2844·3a32·3031··./ModDate·(D:201 | 44465 | 000adb00:·0a2f·4d6f·6444·6174·6520·2844·3a32·3031··./ModDate·(D:201 |
| 44466 | 000adb10:·3630·3631·3 | 44466 | 000adb10:·3630·3631·3230·3632·3035·335a·290a·2f54··60612062053Z)./T |
| 44467 | 000adb20:·7261·7070·6564·202f·4661·6c73·650a·2f50··rapped·/False./P | 44467 | 000adb20:·7261·7070·6564·202f·4661·6c73·650a·2f50··rapped·/False./P |
| 44468 | 000adb30:·5445·582e·4675·6c6c·6261·6e6e·6572·2028··TEX.Fullbanner·( | 44468 | 000adb30:·5445·582e·4675·6c6c·6261·6e6e·6572·2028··TEX.Fullbanner·( |
| 44469 | 000adb40:·5468·6973·2069·7320·7064·6654·6558·2c20··This·is·pdfTeX,· | 44469 | 000adb40:·5468·6973·2069·7320·7064·6654·6558·2c20··This·is·pdfTeX,· |
| 44470 | 000adb50:·5665·7273·696f·6e20·332e·3134·3135·3932··Version·3.141592 | 44470 | 000adb50:·5665·7273·696f·6e20·332e·3134·3135·3932··Version·3.141592 |
| 44471 | 000adb60:·3635·2d32·2e36·2d31·2e34·302e·3136·2028··65-2.6-1.40.16·( | 44471 | 000adb60:·3635·2d32·2e36·2d31·2e34·302e·3136·2028··65-2.6-1.40.16·( |
| 44472 | 000adb70:·5765·6232·4320·3230·3135·2920·6b70·6174··Web2C·2015)·kpat | 44472 | 000adb70:·5765·6232·4320·3230·3135·2920·6b70·6174··Web2C·2015)·kpat |
| 44473 | 000adb80:·6873·6561·2076·6572·7369·6f6e·2036·2e32··hsea·version·6.2 | 44473 | 000adb80:·6873·6561·2076·6572·7369·6f6e·2036·2e32··hsea·version·6.2 |
| Offset 44759, 19 lines modified | Offset 44759, 19 lines modified | ||
| 44759 | 000aed60:·878a·640a·656e·6473·7472·6561·6d0a·656e··..d.endstream.en | 44759 | 000aed60:·878a·640a·656e·6473·7472·6561·6d0a·656e··..d.endstream.en |
| 44760 | 000aed70:·646f·626a·0a31·3437·3120·3020·6f62·6a0a··dobj.1471·0·obj. | 44760 | 000aed70:·646f·626a·0a31·3437·3120·3020·6f62·6a0a··dobj.1471·0·obj. |
| 44761 | 000aed80:·3c3c·0a2f·5479·7065·202f·5852·6566·0a2f··<<./Type·/XRef./ | 44761 | 000aed80:·3c3c·0a2f·5479·7065·202f·5852·6566·0a2f··<<./Type·/XRef./ |
| 44762 | 000aed90:·496e·6465·7820·5b30·2031·3437·325d·0a2f··Index·[0·1472]./ | 44762 | 000aed90:·496e·6465·7820·5b30·2031·3437·325d·0a2f··Index·[0·1472]./ |
| 44763 | 000aeda0:·5369·7a65·2031·3437·320a·2f57·205b·3120··Size·1472./W·[1· | 44763 | 000aeda0:·5369·7a65·2031·3437·320a·2f57·205b·3120··Size·1472./W·[1· |
| 44764 | 000aedb0:·3320·315d·0a2f·526f·6f74·2031·3436·3920··3·1]./Root·1469· | 44764 | 000aedb0:·3320·315d·0a2f·526f·6f74·2031·3436·3920··3·1]./Root·1469· |
| 44765 | 000aedc0:·3020·520a·2f49·6e66·6f20·3134·3730·2030··0·R./Info·1470·0 | 44765 | 000aedc0:·3020·520a·2f49·6e66·6f20·3134·3730·2030··0·R./Info·1470·0 |
| 44766 | 000aedd0:·2052·0a2f·4944·205b·3c | 44766 | 000aedd0:·2052·0a2f·4944·205b·3c41·4244·4237·4434···R./ID·[<ABDB7D4 |
| 44767 | 000aede0:· | 44767 | 000aede0:·3031·3431·3936·3533·4231·3832·3237·4337··01419653B18227C7 |
| 44768 | 000aedf0:·4 | 44768 | 000aedf0:·4132·3730·3133·4133·383e·203c·4142·4442··A27013A38>·<ABDB |
| 44769 | 000aee00:· | 44769 | 000aee00:·3744·3430·3134·3139·3635·3342·3138·3232··7D401419653B1822 |
| 44770 | 000aee10:·3 | 44770 | 000aee10:·3743·3741·3237·3031·3341·3338·3e5d·0a2f··7C7A27013A38>]./ |
| 44771 | 000aee20:·4c65·6e67·7468·2033·3538·3920·2020·2020··Length·3589····· | 44771 | 000aee20:·4c65·6e67·7468·2033·3538·3920·2020·2020··Length·3589····· |
| 44772 | 000aee30:·200a·2f46·696c·7465·7220·2f46·6c61·7465···./Filter·/Flate | 44772 | 000aee30:·200a·2f46·696c·7465·7220·2f46·6c61·7465···./Filter·/Flate |
| 44773 | 000aee40:·4465·636f·6465·0a3e·3e0a·7374·7265·616d··Decode.>>.stream | 44773 | 000aee40:·4465·636f·6465·0a3e·3e0a·7374·7265·616d··Decode.>>.stream |
| 44774 | 000aee50:·0a78·da25·d979·705d·e759·c7f1·f39c·5592··.x.%.yp].Y....U. | 44774 | 000aee50:·0a78·da25·d979·705d·e759·c7f1·f39c·5592··.x.%.yp].Y....U. |
| 44775 | 000aee60:·254b·d66e·59f2·265b·f222·5bb2·2c5b·f226··%K.nY.&[."[.,[.& | 44775 | 000aee60:·254b·d66e·59f2·265b·f222·5bb2·2c5b·f226··%K.nY.&[."[.,[.& |
| 44776 | 000aee70:·cbb6·6459·b6e5·45b2·bcc9·966d·6986·93c6··..dY..E....mi... | 44776 | 000aee70:·cbb6·6459·b6e5·45b2·bcc9·966d·6986·93c6··..dY..E....mi... |
| 44777 | 000aee80:·0517·ba0c·2925·c9d0·e042·cb34·ed71·c201··....)%...B.4.q.. | 44777 | 000aee80:·0517·ba0c·2925·c9d0·e042·cb34·ed71·c201··....)%...B.4.q.. |
| Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
| 1 | /*··Generated·by·CHR·bootstrap·compiler | 1 | /*··Generated·by·CHR·bootstrap·compiler |
| 2 | ····From:·chr_translate.chr | 2 | ····From:·chr_translate.chr |
| 3 | ····Date:·[ | 3 | ····Date:·[83,117,110,32,74,117,110,32,49,50,32,48,54,58,50,48,58,53,48,32,50,48,49,54,10] |
| 4 | ····DO·NOT·EDIT.··EDIT·THE·CHR·FILE·INSTEAD | 4 | ····DO·NOT·EDIT.··EDIT·THE·CHR·FILE·INSTEAD |
| 5 | */ | 5 | */ |
| 6 | :-module(chr_translate,[chr_translate/2,chr_translate_line_info/3]). | 6 | :-module(chr_translate,[chr_translate/2,chr_translate_line_info/3]). |
| 7 | :-use_module(chr_runtime). | 7 | :-use_module(chr_runtime). |
| 8 | :-style_check(-(discontiguous)). | 8 | :-style_check(-(discontiguous)). |
| Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
| 1 | /*··Generated·by·CHR·bootstrap·compiler | 1 | /*··Generated·by·CHR·bootstrap·compiler |
| 2 | ····From:·guard_entailment.chr | 2 | ····From:·guard_entailment.chr |
| 3 | ····Date:·[ | 3 | ····Date:·[83,117,110,32,74,117,110,32,49,50,32,48,54,58,50,48,58,52,52,32,50,48,49,54,10] |
| 4 | ····DO·NOT·EDIT.··EDIT·THE·CHR·FILE·INSTEAD | 4 | ····DO·NOT·EDIT.··EDIT·THE·CHR·FILE·INSTEAD |
| 5 | */ | 5 | */ |
| 6 | :-module(guard_entailment,[entails_guard/2,simplify_guards/5]). | 6 | :-module(guard_entailment,[entails_guard/2,simplify_guards/5]). |
| 7 | :-use_module(chr_runtime). | 7 | :-use_module(chr_runtime). |
| 8 | :-style_check(-(discontiguous)). | 8 | :-style_check(-(discontiguous)). |