(FILECREATED "17-Mar-87 16:42:07" ("compiled on " {DSK}H.BETA>HENV.;7) "12-Nov-85 14:59:23" tcompl'd in "INTERLISP-D 7-Feb-86 ..." dated " 7-Feb-86 11:23:50") (FILECREATED "17-Mar-87 16:39:13" {DSK}H.BETA>HENV.;7 23674 changes to: (FNS H.NullW H.PrintInfo H.BUTTONFN HMenuFunction) (VARS HENVCOMS HMIDDLEMENU HMENUITEMS) previous date: "25-Feb-87 15:27:15" {DSK}H.BETA>HENV.;5) H D1 (P 6 H.FROM.WINDOW P 5 LISPXUSERFN P 4 HKBMenu P 3 HMenu P 0 HWINDOW F 7 H.RELEASE.NUMBER F 10Q HMenuItems) hoWo li !`dkdodWdgdi dg dgjdndhdI `dkdodhdi dg dgjdndhdJ !i]KHgg LHgg Hg Hgg Hg Hgl Hg Hg Hgi Hg H H ghg H (413Q CLOSEW 407Q USEREXEC 375Q TTYDISPLAYSTREAM 371Q OPENW 365Q PUTWINDOWPROP 356Q PUTWINDOWPROP 346Q PUTWINDOWPROP 337Q PUTWINDOWPROP 330Q PUTWINDOWPROP 317Q PUTWINDOWPROP 310Q PUTWINDOWPROP 276Q PUTWINDOWPROP 267Q ATTACHWINDOW 254Q ATTACHWINDOW 233Q MENUWINDOW 133Q MENUWINDOW 23Q CREATEW 15Q CONCAT) (404Q HReadProvePrint 400Q ?-- 362Q *variables* 352Q *shortform* 343Q *predicates* 334Q *match-trace* 323Q *limit* 314Q *l-trace* 305Q first 302Q *int-mode* 273Q *functions* 264Q TOP 261Q LEFT 251Q TOP 246Q RIGHT 204Q DEFAULTMENUHELDFN 175Q CLRPROMPT 141Q MENUTYPE# 104Q DEFAULTMENUHELDFN 75Q CLRPROMPT 61Q HMenuFunction 31Q MENUTYPE#) ( 154Q "KB loaded:" 44Q "H control window" 12Q " -- Horn Clauses Programming Environment " 4 "H ") H.BUTTONFN D1 (P 4 FILENAME P 3 FILE P 2 PW I 0 W F 5 HMIDDLEMENU F 6 HMENUITEMS F 7 COM) `dljikjU0`dVdg dgjdndhHdI c cg@ !J ohdJ \J L-@g J @g o J @g gg [dJ oL J J L o J @gK h(331Q PUTWINDOWPROP 321Q PRIN1 315Q CONCAT 306Q FULLNAME 302Q CLEARW 275Q PRIN1 271Q CONCAT 266Q FULLNAME 256Q CLEARW 246Q OPENSTREAM 234Q PUTWINDOWPROP 225Q PRIN1 221Q CONCAT 212Q FULLNAME 207Q GETWINDOWPROP 200Q CLEARW 174Q CLOSEF 171Q GETWINDOWPROP 157Q CLEARW 153Q FOO 147Q MKATOM 144Q PROMPTFORWORD 132Q CLEARW 123Q GETPROMPTWINDOW 107Q MENU) (325Q TYPESCRIPTFILE 243Q NEW 240Q OUTPUT 231Q TYPESCRIPTFILE 204Q TYPESCRIPTFILE 166Q TYPESCRIPTFILE 114Q Dribble 52Q DEFAULTMENUHELDFN 43Q CLRPROMPT 31Q MENUTYPE# 2 LASTMOUSEBUTTONS) ( 312Q " opened" 262Q "Could not open" 216Q " closed" 136Q "Typescript to file (cr to close): ") H.NullW D1 (I 0 type F 0 *PMWindow* F 1 *TraceWindow* F 2 *ShowWindow*) v@dg$Pho cgP Pgg hg!Qho cgQ Qgg @g Rho cgR Rgg (163Q PUTWINDOWPROP 151Q DSPSCROLL 140Q CREATEW 115Q PUTWINDOWPROP 103Q DSPSCROLL 72Q CREATEW 46Q PUTWINDOWPROP 34Q DSPSCROLL 23Q CREATEW) (160Q H.BUTTONFN 155Q BUTTONEVENTFN 145Q ON 122Q SH 112Q H.BUTTONFN 107Q BUTTONEVENTFN 77Q ON 54Q TR 43Q H.BUTTONFN 40Q BUTTONEVENTFN 30Q ON 4 PM) ( 135Q "Show window" 67Q "Tracing window" 20Q "Pattern matching window") H.PrintInfo D1 (P 1 FILE P 0 W I 1 args I 0 win-type F 2 *PMWindow* F 3 *TraceWindow* F 4 *ShowWindow*) =@ @dgRgS@gTAH H Hg IAI (72Q SHOWPRINT 57Q GETWINDOWPROP 50Q TERPRI 44Q SHOWPRINT 3 H.NullW) (54Q TYPESCRIPTFILE 30Q SH 20Q TR 10Q PM) () H.delete D1 (I 1 ax-list I 0 delendo) Ah@AAA@A (24Q H.delete) NIL () H.editAxiom D1 (P 5 *dummy-axiom* P 4 name P 0 preds I 0 W) ` ` @g 1`H l kعdIdggHdJdkdi dg dgjdndhdK ghhhLSH Lgo LgM M@ .o o LgM M@ @gLH ghhh(310Q PUTWINDOWPROP 275Q MkVars 267Q PUTPROP 256Q DV 246Q MKATOM 243Q PROMPTFORWORD 232Q MkVars 224Q PUTPROP 213Q DV 174Q MEMBER 146Q MENU 35Q LENGTH 22Q GETWINDOWPROP 13Q TTYDISPLAYSTREAM 5 CLEARW) (314Q predicate 302Q *predicates* 263Q axiom 220Q axiom 202Q axiom 154Q predicate 117Q DEFAULTMENUHELDFN 110Q CLRPROMPT 62Q --New-- 54Q Predicates 30Q MENUTYPE# 17Q *predicates* 10Q PROMPTWINDOW 2 PROMPTWINDOW) ( 253Q (*dummy-axiom*) 240Q "Name of new axiom: " 210Q (*dummy-axiom*)) H.editSA D1 (P 5 *dummy-SA* P 4 name P 0 SAs I 0 W) ` @g 1`H l kعdIdggHdJdkdi dg dgjdndhdK ggghghLdhH +Lg]o LgM ggghgho \o LgM @gLH ggghgh(316Q PUTWINDOWPROP 304Q PUTPROP 274Q DV 264Q MKATOM 261Q PROMPTFORWORD 226Q PUTPROP 216Q DV 177Q MEMBER 140Q MENU 27Q LENGTH 14Q GETWINDOWPROP 5 CLEARW) (335Q BODY 327Q ... 324Q ARGS 321Q LAMBDA 310Q *functions* 300Q funct 245Q BODY 237Q ... 234Q ARGS 231Q LAMBDA 222Q funct 205Q funct 162Q BODY 154Q ... 151Q ARGS 146Q LAMBDA 111Q DEFAULTMENUHELDFN 102Q CLRPROMPT 54Q --New-- 46Q Functions 22Q MENUTYPE# 11Q *functions* 2 PROMPTWINDOW) ( 271Q (*dummy-SA*) 256Q "Name of new SA: " 213Q (*dummy-SA*)) H.erase D1 (F 0 *variables* F 1 *variables1* F 2 *predicates* F 3 *functions1* F 4 *predicates1* F 5 *functions*) hddddccccc chNIL NIL () H.load D1 (P 7 Q P 6 I P 5 H P 1 numPred P 0 numFoo I 0 kb F 10Q *predicates1* F 11Q *functions1* F 12Q *variables* F 13Q *variables1* F 14Q *predicates* F 15Q *functions* F 16Q *temp-foo* F 17Q *temp-pred*)  @ o W YW XdWWk$LKIWWk$L#'_MJOgN LKMkԽKW1_MJOgN LKMkԽdOgi WW cWW cWW ci(270Q \APPEND2 257Q \APPEND2 246Q \APPEND2 232Q PUTPROP 177Q PUTPROP 125Q PUTPROP 36Q LENGTH 30Q LENGTH 23Q LOAD 20Q PACK 15Q \APPEND2 6 UNPACK) (226Q variable 173Q axiom 121Q funct) ( 12Q (%. H K B)) H.save D1 (P 1 file P 0 var I 0 kb F 5 *functions* F 6 *predicates* F 7 *temp-foo* F 10Q *functions1* F 11Q *temp-pred* F 12Q *variables* F 13Q *variables1* F 14Q *predicates1*) @ o @ o 0UdgKJh\J&Lc0VdgKJh\J&LcUVWcccggggghhXIgH I (214Q MAKEFILE 210Q PUTDEF 31Q PACK 26Q \APPEND2 17Q UNPACK 13Q PACK 3 UNPACK) (204Q FILES 167Q *temp-pred* 164Q *temp-foo* 161Q *variables1* 156Q *predicates1* 153Q *functions1* 107Q axiom 47Q funct) ( 23Q (%. H K B) 7 (C O M S)) HMenuFunction D1 (P 27Q I P 26Q I P 25Q ans P 24Q ans P 23Q ans P 22Q mm P 21Q ans P 20Q mm P 17Q KBMenu P 16Q mainw P 0 newitem I 2 button I 1 menu I 0 item F 30Q *temp-pred* F 31Q *temp-foo* F 32Q *functions1* F 33Q *TraceWindow* F 34Q *ShowWindow* F 35Q *PMTraceWindow* F 36Q *variables1* F 37Q *predicates1*) @ A O HdgO o O ho Ogg HdgOgg g`Og l kعdIdgOg dJdkdi dg dgjdndhdK Og iO _"gO"g Hdg`Og l kؼdLdgOg dMdkdi dg dgjdndhdN Og sO$ _&dgO&g g`Og l k_dOdgOg _dOdkdi dg dgjdndh_dO _(OgO(Og O(g uHdg`Og l k_dOdgOg _dOdkdi dg dgjdndh_dO _*BOgO*Og O*g ugOgi HdgO gO Ho Ogi HdgOg gOgi HdgOg gOgo HdgOg dO,g Og dO.g Og Og Og hc0c2dddddc6c8c:cc4O O `dkdodhdi dg dgjdndh_dO Ogg gOgi HdgOg gO HdgO g` g` k` Og ` l` g` Og ` ` g` k` Og ` l` g` k` Og ` ` (2311Q TERPRI 2303Q PRIN1 2275Q GETWINDOWPROP 2265Q SPACES 2256Q PRIN1 2245Q SPACES 2235Q PRIN1 2227Q GETWINDOWPROP 2217Q SPACES 2210Q PRIN1 2177Q TERPRI 2171Q PRIN1 2163Q GETWINDOWPROP 2153Q PRIN1 2142Q SPACES 2132Q PRIN1 2124Q GETWINDOWPROP 2114Q SPACES 2105Q PRIN1 2074Q CLEARW 2053Q SaveHKB 2035Q LoadHKB 2022Q PUTWINDOWPROP 2001Q PUTWINDOWPROP 1762Q ATTACHMENU 1652Q CLOSEW 1645Q DETACHWINDOW 1606Q PUTWINDOWPROP 1576Q PUTWINDOWPROP 1566Q PUTWINDOWPROP 1551Q PUTPROP 1533Q GETWINDOWPROP 1516Q PUTPROP 1500Q GETWINDOWPROP 1454Q PUTWINDOWPROP 1451Q RNUMBER 1427Q PUTWINDOWPROP 1406Q PUTWINDOWPROP 1367Q PUTWINDOWPROP 1346Q PUTWINDOWPROP 1334Q MEMBER 1323Q H.editSA 1310Q H.editAxiom 1272Q PUTWINDOWPROP 1250Q PUTPROP 1237Q PUTWINDOWPROP 1234Q DREMOVE 1231Q GETWINDOWPROP 1202Q MENU 1112Q GETWINDOWPROP 1055Q LENGTH 1052Q GETWINDOWPROP 1014Q PUTPROP 1003Q PUTWINDOWPROP 1000Q DREMOVE 775Q GETWINDOWPROP 746Q MENU 656Q GETWINDOWPROP 621Q LENGTH 616Q GETWINDOWPROP 564Q H.PrintInfo 540Q MENU 527Q GETWINDOWPROP 435Q GETWINDOWPROP 403Q LENGTH 400Q GETWINDOWPROP 346Q H.PrintInfo 322Q MENU 312Q GETWINDOWPROP 220Q GETWINDOWPROP 166Q LENGTH 163Q GETWINDOWPROP 136Q PUTWINDOWPROP 112Q PUTWINDOWPROP 76Q MEMBER 65Q CLOSEW 60Q BKSYSBUF 51Q GIVE.TTY.PROCESS 26Q ATTACHEDWINDOWS 16Q MAINWINDOW 13Q WFROMMENU) (2306Q PROMPTWINDOW 2300Q PROMPTWINDOW 2272Q *match-trace* 2262Q PROMPTWINDOW 2253Q PROMPTWINDOW 2250Q PMTracing: 2242Q PROMPTWINDOW 2232Q PROMPTWINDOW 2224Q *l-trace* 2214Q PROMPTWINDOW 2205Q PROMPTWINDOW 2202Q Tracing: 2174Q PROMPTWINDOW 2166Q PROMPTWINDOW 2160Q *limit* 2150Q PROMPTWINDOW 2145Q Limit: 2137Q PROMPTWINDOW 2127Q PROMPTWINDOW 2121Q *int-mode* 2111Q PROMPTWINDOW 2102Q PROMPTWINDOW 2077Q Mode: 2071Q PROMPTWINDOW 2057Q SHOWPROFILE 2043Q SAVE 2026Q LOAD 2017Q *match-trace* 2007Q NOTRACEPM 1775Q *match-trace* 1766Q TRACEPM 1757Q TOP 1754Q LEFT 1720Q DEFAULTMENUHELDFN 1711Q CLRPROMPT 1655Q MENUTYPE# 1603Q *variables* 1573Q *predicates* 1563Q *functions* 1546Q funct 1530Q *functions* 1513Q axiom 1475Q *predicates* 1462Q ERASE 1442Q *limit* 1433Q SETLIMIT 1424Q *l-trace* 1414Q NOTRACE 1402Q *l-trace* 1373Q TRACE 1364Q *shortform* 1354Q NO 1342Q *shortform* 1314Q EDITSA 1300Q EDITAXIOM 1266Q *int-mode* 1257Q INTERACTIVE 1245Q funct 1226Q *functions* 1217Q *functions* 1150Q DEFAULTMENUHELDFN 1141Q CLRPROMPT 1107Q *functions* 1077Q Functions 1047Q *functions* 1041Q MENUTYPE# 1025Q DELETESA 1011Q axiom 772Q *predicates* 763Q *predicates* 714Q DEFAULTMENUHELDFN 705Q CLRPROMPT 653Q *predicates* 643Q Predicates 613Q *predicates* 605Q MENUTYPE# 572Q DELETEAXIOM 560Q funct 553Q SH 524Q *functions* 470Q DEFAULTMENUHELDFN 461Q CLRPROMPT 432Q *functions* 422Q Functions 375Q *functions* 367Q MENUTYPE# 356Q SHOWSA 342Q axiom 335Q SH 307Q *predicates* 253Q DEFAULTMENUHELDFN 244Q CLRPROMPT 215Q *predicates* 205Q Predicates 160Q *predicates* 152Q MENUTYPE# 142Q SHOWAXIOM 133Q first 130Q *int-mode* 120Q FIRST 107Q all 104Q *int-mode* 40Q Exit) ( 1670Q "KB loaded:" 1446Q "Set new limit:" 1331Q (SHORTFORM YES) 73Q (ALL MODE) 55Q (OK)) HReadProvePrint D1 (P 0 SYSPRETTYFLG I 1 line I 0 x) i@h i(11Q H.?!) NIL () LoadHKB D1 (P 14Q Q P 13Q I P 12Q H P 3 numPred P 2 numFoo P 1 att-w P 0 ans I 0 W F 15Q *predicates1* F 16Q *functions1* F 17Q *variables1* F 20Q *temp-foo* F 21Q *temp-pred*)  ` ` o @ RH o I I `dkdoIg Ig Hh \LdMdi dg dgjdndhdN @gg W [W ZdWW k$ O_OKWW"k$ O/6_OOOgO O_O_Ok__OW=_OOOgO O_O_Ok_d Ogi @g @g@g W @gW @g @g@g W @gW @g @g@g W @gW (671Q PUTWINDOWPROP 657Q PUTWINDOWPROP 654Q \APPEND2 647Q GETWINDOWPROP 632Q GETWINDOWPROP 622Q PUTWINDOWPROP 610Q \APPEND2 603Q GETWINDOWPROP 566Q GETWINDOWPROP 556Q PUTWINDOWPROP 544Q \APPEND2 537Q GETWINDOWPROP 522Q GETWINDOWPROP 506Q PUTPROP 442Q PUTPROP 351Q PUTPROP 252Q LENGTH 244Q LENGTH 237Q ATTACHMENU 146Q \APPEND2 132Q GETWINDOWPROP 117Q GETWINDOWPROP 67Q CLOSEW 63Q DETACHWINDOW 57Q LOAD 54Q PACK 51Q \APPEND2 42Q UNPACK 31Q ATTACHEDWINDOWS 25Q MKATOM 22Q PROMPTFORWORD 13Q TTYDISPLAYSTREAM 5 CLEARW) (664Q *variables* 644Q *variables* 640Q *variables* 627Q *variables* 615Q *functions* 600Q *functions* 574Q *functions* 563Q *functions* 551Q *predicates* 534Q *predicates* 530Q *predicates* 517Q *predicates* 502Q variable 435Q axiom 344Q funct 234Q TOP 231Q LEFT 201Q DEFAULTMENUHELDFN 172Q CLRPROMPT 136Q MENU 127Q MENU 123Q MENU 114Q MENU 72Q MENUTYPE# 10Q PROMPTWINDOW 2 PROMPTWINDOW) ( 105Q "KB loaded:" 46Q (%. H K B) 17Q "Name of KB:") SaveHKB D1 (P 2 file P 1 var P 0 ans I 0 W F 11Q *temp-foo* F 12Q *temp-pred* F 13Q *functions1* F 14Q *variables1* F 15Q *predicates1*) ` ` o H o H o 0@g dgLKh]K&Mc0@g dgONh_N&_Oc@g @g @g cccggggghhYJgI J (312Q MAKEFILE 306Q PUTDEF 236Q GETWINDOWPROP 227Q GETWINDOWPROP 220Q GETWINDOWPROP 150Q GETWINDOWPROP 102Q GETWINDOWPROP 65Q PACK 62Q \APPEND2 53Q UNPACK 44Q PACK 34Q UNPACK 25Q MKATOM 22Q PROMPTFORWORD 13Q TTYDISPLAYSTREAM 5 CLEARW) (302Q FILES 265Q *temp-pred* 262Q *temp-foo* 257Q *variables1* 254Q *predicates1* 251Q *functions1* 233Q *variables* 224Q *predicates* 215Q *functions* 157Q axiom 145Q *predicates* 111Q funct 77Q *functions* 10Q PROMPTWINDOW 2 PROMPTWINDOW) ( 57Q (%. H K B) 40Q (C O M S) 17Q "Name of KB:") \DummyFoo D1 NIL o (6 BLOCK) NIL ( 3 2223700Q) \SEE.AT D1 (I 0 ARG F 0 H.FROM.WINDOW F 1 HWINDOW) PQ@ @ (13Q EVAL 6 GETWINDOWPROP) NIL () (PRETTYCOMPRINT HENVCOMS) (RPAQQ HENVCOMS ((VARS *temp-vars* HMENUITEMS HMIDDLEMENU HMenuItems) (FNS H H.BUTTONFN H.NullW H.PrintInfo H.delete H.editAxiom H.editSA H.erase H.load H.save HMenuFunction HReadProvePrint LoadHKB SaveHKB \DummyFoo \SEE.AT) (ADDVARS (BackgroundMenuCommands (H ( QUOTE (ADD.PROCESS (QUOTE (H)))) "Open window on logic programming environment"))) (VARS ( BackgroundMenu NIL)) (ADVICE LOAD) (DECLARE: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY COMPILERVARS (ADDVARS (NLAMA) (NLAML \SEE.AT) (LAMA))))) (RPAQQ *temp-vars* NIL) (RPAQQ HMENUITEMS ((Dribble (QUOTE Dribble) "Dribble on file"))) (RPAQQ HMIDDLEMENU NIL) (RPAQQ HMenuItems (("Show Profile" (QUOTE SHOWPROFILE) "Show the profile of environment") ( "Show(Axiom)" (QUOTE SHOWAXIOM) "Pretty-print axioms" (SUBITEMS ("Show SA" (QUOTE SHOWSA) "Pretty-print semantic attachment") ("Show Axiom" (QUOTE SHOWAXIOM) "Pretty-print axiom"))) ("Delete(Axiom)" (QUOTE DELETEAXIOM) "Erases axiom from database" (SUBITEMS ("Delete SA" ( QUOTE DELETESA) "Erases semantic attachments from database") ("DeleteAxiom" (QUOTE DELETEAXIOM) "Erases axiom from database"))) ("Edit(Axiom)" (QUOTE EDITAXIOM) "Edit axioms" (SUBITEMS ("Edit SA" (QUOTE EDITSA) "Edit semantic attachment") ("EditAxiom" (QUOTE EDITAXIOM) "Edit axioms"))) (SetLimit (QUOTE SETLIMIT) "Set limit of depth-search tree") ( Mode (QUOTE MODE) "Set mode of demonstration" (SUBITEMS (All (QUOTE ALL) "Search for all goals") (First (QUOTE FIRST) "Stop at first goal reached") (Interactive ( QUOTE INTERACTIVE) "Ask user to go on"))) (Shortform (QUOTE SHORTFORM) "Perform the control of occurrence" (SUBITEMS (Yes (QUOTE YES)) (No (QUOTE NO)))) (Trace ( QUOTE TRACE) "Trace demonstration" (SUBITEMS (Trace (QUOTE TRACE)) (NoTrace (QUOTE NOTRACE) ))) ("Trace PM" (QUOTE TRACEPM) "Trace pattern matching" (SUBITEMS (Trace (QUOTE TRACEPM)) (NoTrace (QUOTE NOTRACEPM)))) (LoadHKB (QUOTE LOAD) "Load H knowledge base") (SaveHKB ( QUOTE SAVE) "Save H knowledge base") ("EraseEnv" (QUOTE ERASE) "Erase entire environment") (Exit (QUOTE Exit) "Exit from logic environment"))) (ADDTOVAR BackgroundMenuCommands (H (QUOTE (ADD.PROCESS (QUOTE (H)))) "Open window on logic programming environment")) (RPAQQ BackgroundMenu NIL) (PUTPROPS LOAD READVICE (NIL (AROUND NIL (PROG1 (PROG ((UpdateClassBrowsers? NIL)) (RETURN *)) (UpdateClassBrowsers))))) NIL