Edit+Reconsult edit/1の呼び出しと同様に働きます。file selection ボックスから編集したいファイルを選んで下さい。
お好みのエディタをeditor/2で設定しておくと良いでしょう。また、そのエディタがttyをI/Oのために使用している場合、ファイルの編集はIF/Prologを開始した端末ウィンドウ上で正常に行なえます。このとき使用するウィンドウは、(端末エミュレータxtermが通常設定する)環境変数$WINDOWIDがエキスポートされていれば、IF/Prologによって自動的にトップレベルに表示させられます。'vi'と'emacs'以外のエディタを使用する場合は、いつウィンドウを表示させれば良いのかを知らせるために、xenv:xterm_editor(Editor)という形の事実をアサートしておかなければなりません。
GIF87a??? ?? , ?? ????韓?na???%p?jt??:慨?才????Q(|!?si??茣J??lw?z背2憇E?>凹?牌????=耶???h(??荐x?i?(?I?ΙS :JZZ??妻晁?+;KK? ?暇梛?勍+w??而?Ld?l-]-?戲?zK裟=?匳???L-僵??>t???歛瀟?&??? + d? <}sh?q??'?h??廿轄`F??;?9?8???~89?t-槎v??Wp$?1s?妲? ?t?(Ijyde*F兇?#??Kp|?t+曵g?????痛??s~沫j??懐?祐`i?at?? +??箪N?豬0??+_滯t?? ?0nGp?????Q祠?\?{g-wv諍嚶??u1?艷-床k緝俎>dW tv致??H??q>帷-?????O?????C%8?s???Ha??????V?遺WK??b???,?c????f?9遖c???)d? id?.??d??Ni??He?n?? f?rfX?f???j???qf?漿dh≡???G?j'?}Ih???>擂? i?礼 ?n蝓?9??bzエ?蜑bQ???x螽Vz薔髄7a???攤?瑚??66?9樊?}?└?????t?i??為^KVM????%A{?????懐?? ?$?%?,-笑y ??x???釜\ｾ?[0??影 `? ?志?rI???U霸???鰐.?睫3砦]楹??t??t??莞炮寒K5????u?閊久0S?Z?????n迥?四и ??X?%????ポ??~? ?L?x{??x? 閼???s??kY??級w?:絹?靡闇銹膤琶:5醂{鐓?!??|馥?8???? ?唯y健H?=? ??V崇?{?襁?6??黨t??橲?#?皈?k??>p?~*?E?1汾OX珎?@?Z$0?泯? ?^`嘶U??E,Z?PPFxe??Sa?? hyq{^?'@?Jtf?Jr?m` ??安?ik?iC??A?<о?[?E宇[???z ??q???j9#??? j???'~P? ?~?me?? ???q]"?? ??2?^??n?滋?WD?? ?會?_,?L^??X}?kZ?6(S?~|? ?匚? |_07'?X???1u斌????i?bs??7??襃?,'9????l -ｙ??P?g≫i郎A??>?????A#%?褥|?h???'?竝?-?fq嵶NΣ??J[ ?vD? )s?K!??)\D;Ze??L'wk栩綏?cm?[?諺%?H暈=w?!?糾A8%????]?僕?9??7??d4]?a'?C??ゆ??T??bjol?L??螢彭^h# ??ぺl70?簑??覊衣6,t#?_1^G?z4籬??夷??檻(K>#~?N???ZQ?xh'ruN簿F?{` ?????]2WRrZv???g?U??姪袰??V閥l?O?? ? 児?岷o??冢??%?DE?R?p???w? ???_仮%&?:煤"葡??j?^?t?鹿y???宦-QQ瀁淨?v咎3???/?e?k?聒勸9 ?!Vmr [暄T??g共?v?G襞67怏?l??/滌,?附`k??u桐 nv?nMmuD?Y??w??rs???颱???,x?|訴X?蒲???<継V??J$;坂U酉t癰????9?-??=?Y??_$?縦珍?衰???|掘?Y??麿??揉?C歇3?:?必?艪?;d ,糊訊??nv??W?k??|??QsZw?訟?\ ?????撞??;???浄?~???.y聡|??????g??譎盤>隲??E鏃 数*叙?燬|?港????w?^>?z?棊?<寞|溯???B?t???my???)?_u??韃e?x??{?~?|?~曦x2v???}(?W??Id|zwt巫}?~?y?6V?W|蒟| ?[7|?????h ?????qJ?6(???jw??Axw@8???&huB??????C?? ? ????x?G??2???????-?x???g??78??]s?X???d美??1??v???遉??}???????????幻?????纓?(??[E?(????Hi???????????(?????椈?h?????x??淅??t"??x???????@?????H?)???n????8?$?v????e?e???,Y?????????????*?z Yu盡+斎??H)??I??3?畝??>?U??^I??CY?)??g?m?Ey??7?9? ??授??g???w??|?誣??e9??4y?'?? ??E?9?? I?????^???Ч?x????)?????警?I?i??\)??`?9?Y??x?)?)??Py,?? ?I?????笙???9?Y?G?????x?迩??W?y??????U?????U???????9????iT ??⇔????'擒.z????*｀?犢<5?艀?x??%?U?喀??q?m???吟?犠?? Q寝 H?R?????\占 積[2?? ?Ls??忘\A曜遡觧+?粍??K????Z充kCL?Z=! 埴??2??Tx w#Ae湿,$H??)G`?AD?|,?sC?i???悚Dc&雪h=rE???tb?jnW槐??q??O?Zt??w緝I再苛譜JHq?wι??!??L?? ?w渡?$Gc?j?I夛"?惜?T,??|?v)??撞6K?掠?E?謁??B|?-?? ???侍貘??l?j今{????? ? ????楞??> ?賺茗?=uM卩 ?MA&???-A, 囮 ??5?鳩?羊?z ?-??4????/?檎?? ??S △l學?Y峻'盲Tm?}?-?? ????m??n]? ????C圻<{]? ???惷耻|?#??純L銅jq??B懋l?=l??曼??]r,??蜂T??` / 鰊??述?p?攬??暈借婀?扣2??K??] ??9@{?????/油攜?????峠親W?b \L?E????<沮B??淆膚???,t?楹}楪??FXか?PV択Qwm愼aq??百??'k?捩?ポな?渝?u?殪?數枸輜bg?u?`p迎勉?L?踊8~稷??扼?@???障B~簣=?气?粹?H?'?.'????短 ??^>緝#??{??B{R????? ????湟 n?>?>??渙z?-?志???kM]?m? ?=?]??=莱?^??笈?? ?衂?>??蟀鉅?螻~Qh覺???2皿觚鉉????詛??詁? ;
Correct correct/1コールと同様に働きます。使用するエディタに関する処理はEdit+Reconsultの項で述べた通りです。
Consult file selection ボックスを使用して選択されたファイルに対して、 Reconsult Consult/1、Reconsult/1、Load/1、Compiles/1を処理に応じて呼び出します。 Compiles+Load
Unload selection ボックスより選択されたモジュールに対してunload/1をコールします。
Listing predicate selectionボックスで全てのリストできる述語を表示し、この中で、任意の述語を選択してリスティングすることができます。各述語のリスティングは別々なウィンドウで行なわれ、この中から、指定した述語へのクィック・ジャップ機能も備えています。 Listing (p) (formatted) 整形リスティング・オプションにより、必要に応じて改行を入れて整形された複合項を表示します。
Prolog flags prolog_flag/3で設定できるフラグを簡単に設定する方法。
Save system save_system/1をコールし、IF/Prologのシステム状態に加えて、出力、エラーと履歴ウィンドウ上の内容をセーブします。IF/Prologを呼び出す時に通常と同じ保存状態ロード・オプション'-r'を使えば、全ての状態を回復することができます。
Abolish abolish/0を使って述語を除去します。この時、IF/Prolog Predicate Selection ウィンドウが現れ、全ての修正可能な述語が候補として表示されます。
Current predicate システムで定義されている全ての述語を表示するIF/Prolog Predicate Selection ウィンドウをポップアップします。'ok'を選ぶと、選択した述語をリストを出力ウィンドウに書き出します。このリストはCut&Pasteで入力ウィンドウにペーストすることも可能です。
Edit (no reconsult) 一つのファイルをリコンサルトしないで編集します。
Compiles(no load) Compiles (-debug) +Load Compiles (-debug) (no load) 指定されたオプションによりコンパイルを行ないます。