PK \q2META-INF/MANIFEST.MFManifest-Version: 1.0 PK \q2ǭ)GKKmProlog/ChoicePoint.class.S, - . / 01 2 03 4 5 6 78 49 : ;< => ?@AalternativePtrIalternativeListLjava/util/Vector; cloneVector&(Ljava/util/Vector;)Ljava/util/Vector;CodeLineNumberTableLocalVariableTablethisLmProlog/ChoicePoint;srcnewVecenVecLjava/util/Enumeration;(ILjava/util/Vector;)VtoString()Ljava/lang/String; SourceFilePrologQuery.javajava/util/Vector BC &D EFG HI JK LM &N   java/lang/StringBuffer ()mProlog/ChoicePointjava/lang/Objectsize()I(I)Velements()Ljava/util/Enumeration;java/util/Enumeration nextElement()Ljava/lang/Object; addElement(Ljava/lang/Object;)VhasMoreElements()Z()Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(I)Ljava/lang/StringBuffer;,(Ljava/lang/Object;)Ljava/lang/StringBuffer; )Y+M+N ,--,) *+,+'.*) !)" #$%&'e** *, *,  78 9;  !()R( Y * * > ( !*+PK \q28Y^mProlog/Parser.class. 3 2 2 2 2 2 2 2 2 2 2         2 2  2 2 2 / % 2  2 2 2 / %bufferLjava/lang/StringBuffer;bufferPointerPositionIcurrentCtypestreamLjava/io/InputStream;pointerPosition UNASSIGNED ConstantValueUNKNOWNIDNUMBERSTRING()VCodeLineNumberTableLocalVariableTablethisLmProlog/Parser;(Ljava/io/InputStream;)V([B)V[B(Ljava/lang/String;)VstringLjava/lang/String;init(LmProlog/Parser;)VothergetInputStream()Ljava/io/InputStream;closeexLjava/lang/Exception;pushBack(C)Vchadvance()CceLjava/io/IOException;spacegetPos()IgetTo(C)Ljava/lang/String;delimlinecutZskipTogetLine()Ljava/lang/String;remain isSpaceChar(C)Z isLowerCase isUpperCaseisLetter getNumbernumber ExceptionsgetIdid getStringpreviousWasEscapehasNext()Znext()Ljava/lang/Object;Ljava/lang/Error; SourceFile Parser.java HI 45 67 :7 =7 UO UP `a HP ;< 89java/io/ByteArrayInputStream ZIjava/lang/Exceptionjava/lang/StringBuffer g gjava/io/IOException I rs ~ p hi us ts sjava/lang/Error/getNumber(): number has to start with a digit: HR vs +getId(): id must start with '_' or letter: zpgetString(): unlimited string: wp |pjava/lang/Character H^mProlog/Parserjava/lang/Objectjava/lang/StringgetBytes()[Bjava/io/InputStreamappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(C)Ljava/lang/StringBuffer;charAt(I)ClengthreadprintStackTracetoStringendsWith(Ljava/lang/String;)Z substring(II)Ljava/lang/String;isDigit setLength(I)V!23 456789:7;<=7>9?@A7?@B7?CD7?EF7?GHIJW*****K:$ %)-:L MNHOJj******+K@$ %)-ABLMN;<HPJs#******+*WK"H$ %)-IJ"KL#MN#;QHRJA *+ K RSL MN STUOJb*+ * ***K]^ _`abLMN;<UPJE * Y+K i jL MN ;QUVJM*+ *+ KqrsLMNWNXYJ/* KzL MNZIJi* * *LK LMN[\]^J>* K LMN_9]RJE*7*Y*+W** W** * *+WK"'3;DLEMNEST`aJc*,**YZ`<****"* <*Y` M,<* * 0BEK6 (08BEFJLO^L cMNIb7F cdeIJI*W* KL MNfgJ/*KL MNhiJCYM,* W*W*Y> * , ,,K" *.>L*CMNCj9;k5$lmn^JX*W* * KLMNj9opJt,* L+++ d!L*  *W+K%*L,MN%kTqpJ0*KL MN rsJH    KL _9 tsJ<a zKL _9 usJ<A ZK'L _9 vsJ>" #K0L _9wpJqYL* $ * -6+* W*W+* W*W*.* $!%YY&* '+K* >AB$C)D,E5F:DNJlNLqMNix5y%zpJ* ( * _nYL+* W*W+* W*W* (* $* .* _++d. ++d)+%YY** 'K2 Y[\$])^,b5c:``fogyi~mLMNc{5y%|pJYM* '* "*+* <*W>*  ~* t"c'm\Yn;rEtO, W2, W(, W,\W,"W ,'W* \ ,* W* \ >*W*D*  *W,%YY,* 'K {~$)+.:=AL*MN$j9S5+}my%~J7 * KL  MNJ"* *W* $ **-* _ * ( **+* " * ' **.* <**W /Y0L+1 y% <y%=Xy%Yxy%KJ  38=OTY^chyz~L MN^49zc:gJ/*KL MNPK \q2o;;$;$mProlog/PrologEngine.class.                    !"# $% & '() * +, -. E/ 0 1 2 3 4 56 7 58 59: t; P< => t? @  A  B tC DEFG * H IJ KL KM N OPQR S ET UVWX IY Z[\]^ u_`a {bcd { {ef {g *h  ijkl mnoVERSIONLjava/lang/String;kdbLjava/util/Hashtable;listInternalRulesLjava/util/Vector;totalNumberFormulaeItotalNumberQueriestotalNumberUnificationstotalExecutionTimedebugZONCE ConstantValue()VCodeLineNumberTableLocalVariableTablethisLmProlog/PrologEngine;enableVariableDebugging(Z)Vsize()IresetenLjava/util/Enumeration;keyvector newVectorenVectermLmProlog/PrologTerm;load addInternal(LmProlog/PrologTerm;)Vruleaddlist(Ljava/lang/String;)VruleStr ExceptionspdeleteindexgetTotalNumberQueriesgetTotalNumberUnificationsgetExecutionTime createQuery+(LmProlog/PrologTerm;)LmProlog/PrologQuery; queryTerm)(Ljava/lang/String;)LmProlog/PrologQuery;queryStr>(Ljava/lang/String;[LmProlog/PrologTerm;)LmProlog/PrologQuery;subst[LmProlog/PrologTerm;_print-(Ljava/io/OutputStream;LmProlog/PrologTerm;)VstreamLjava/io/OutputStream;objLjava/lang/Object;currentbuiltin=(LmProlog/PrologTerm;Ljava/util/Stack;LmProlog/PrologQuery;)ZgoalstackLjava/util/Stack;queryLmProlog/PrologQuery;functorarity argumentsv1v2v3resultminmaxex1!Ljava/lang/NumberFormatException;limitnewGoalptrexLjava/io/IOException; tempStacktopStacktoString()Ljava/lang/String;bufferLjava/lang/StringBuffer; SourceFilePrologEngine.java prologstartingq rsjava/util/Hashtable java/util/Vector reseting knowledge base tuv wxjava/lang/String yz {umProlog/PrologTerm |} ~java/lang/StringBufferremoving element:      eq(X,X)  and(X,Y) :- __call(X), __call(Y)or(X,Y) :- __call(X)or(X,Y) :- __call(Y)call(X,Y) :- __call(Y)assert(X) :- __assert(X)retract(X) :- __retract(X)chance(MAX) :- __chance(MAX)"random(MAX, X) :- __random(MAX, X),random(MIN, MAX, X) :- __random(MIN, MAX, X)write(X) :- __write(X) nl :- __nl&write(Stream, X) :- __write(Stream, X),if(X,Y,Z) :- _once(_test(X,R)), _case(R,Y,Z)_test(X,yes) :- __call(X). _test(X,no)._case(yes,X,Y) :- __call(X)._case(no,X,Y) :- __call(Y).+_once(X) :- __oncein, __call(X), __onceout.not(X) :- if(X,fail,true).loaded basic knowledge marked as internal=  added ()= }  deleted= mProlog/PrologQuery   x    java/io/InputStream   [B    (unknown)   inference builtin= __random      java/lang/NumberFormatException__chance__call   __assert __retract__nl  __writejava/io/OutputStreamjava/io/IOException __oncein#ONCE z __onceoutjava/util/Stack xmProlog/ChoicePoint builtin_UNKNONW=  .3.1.2 (Mar-2005) mProlog/PrologEnginejava/lang/Objectjava/lang/ErrormProlog/Tracertrace((Ljava/lang/String;ILjava/lang/String;)Vkeys()Ljava/util/Enumeration;java/util/Enumeration nextElement()Ljava/lang/Object;get&(Ljava/lang/Object;)Ljava/lang/Object;elementscontains(Ljava/lang/Object;)Z addElement(Ljava/lang/Object;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;,(Ljava/lang/Object;)Ljava/lang/StringBuffer;hasMoreElements()Zput8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;TRUEcreate((Ljava/lang/String;)LmProlog/PrologTerm;deref()LmProlog/PrologTerm;getKeyequalsremoveElementAt(I)V-(LmProlog/PrologEngine;LmProlog/PrologTerm;)VcreateSimplified?(LmProlog/PrologTerm;[LmProlog/PrologTerm;)LmProlog/PrologTerm; getFunctorisListmProlog/PrologTermList firstElement*(LmProlog/PrologTerm;)LmProlog/PrologTerm; tailOfListempty(LmProlog/PrologTerm;)ZwritereadisVariableNotBound([B)VgetAritygetBytes()[Bflush getArguments()[LmProlog/PrologTerm;hashCodejava/lang/SystemcurrentTimeMillis()Jjava/lang/IntegerparseInt(Ljava/lang/String;)I(I)Ljava/lang/String; createAtom((Ljava/lang/Object;)LmProlog/PrologTerm;unify((LmProlog/PrologTerm;Ljava/util/Stack;)Zhead queryGoalsinsertElementAt(Ljava/lang/Object;I)VoutLjava/io/PrintStream;java/io/PrintStreamprintlnprintStackTracepushpoplength!  x;****** Y * Y ** ;/ 012< =+>6?:@ ; 3 IJ 2* R 8* L|+M* , N Y :-:?:* Y !* ,"W+!BY[\]^)_2b8c;dGeSf]iwcn\pHo)c2Z8TG0F*#$*%&$*'&$*(&$*)&$**&$*+&$*,&$*-&$*.&$*/&$*0&$*1&$*2&$*3&$*4&$*5&$*6&$*7&$*8&$*9&$:^vwxy"z+{4|=}F~OXajs| g'*+;*+Y<+  &''T+=L+>M* , N- Y N* ,-"W-+Y?,@+ &  ",1S*TT J>Q +&M*,;  d+>M* , N-Q-:6;:+A#-BYC+ !:!-6<UVYcHdd_SHE-,Q +&M*,D  /* /* /* > EY*+F ;*+G i+&N, -,HN*-I *H,,=M,JN,K",:*+LMN:On-P +Q-PRY6M,S=,JT+,JTU.+,V,JWX ,YXU +ZXU+[N&' (+,."/)145;7>8D7U=\>f?tBHKL>Nu +J:+V6+\:]Y^+ _`2:2: 2: abic~6 JWd6 JWdJWd6    dp `6   ef,g ef,g: i`@:2:JWd6abic~6  dp6  j`!2=k:-lmn`*2=;o`*2=Dp` qrs`P*q2=M%2JY:t*t2=M :vw` ,xyWz`d_{Y|:,}:$~ yW,,}:xӧ ,}yW:]Y+ jhuu@X YZ\.b>cDdJeZgjjknost|}~  0<FHXceu!$,4ETWailn ztDJZ jo T 3  1$  < 'S!M uYL* MW, N-:::*"+ +W+YW+W!,!+ >#&2>ELV]gp>umeJ#D2+&  (5PK \q2$3ǚ77mProlog/PrologParser.class.+                  & &   & &  &  &  &    &   &  vardictLjava/util/Hashtable;()VCodeLineNumberTableLocalVariableTablethisLmProlog/PrologParser;(Ljava/lang/Object;)VstreamLjava/lang/Object;*(Ljava/lang/Object;Ljava/util/Hashtable;)VvarDictinitclosecurrent()Cadvance getRestTerm((Ljava/lang/Object;)LmProlog/PrologTerm;functorvectorLjava/util/Vector;sizeI arguments[LmProlog/PrologTerm;i ExceptionsgetList()LmProlog/PrologTerm;listLmProlog/PrologTerm;term getClausegetTermidLjava/lang/String;operator operatorIntgetListClauses*(LmProlog/PrologTerm;)LmProlog/PrologTerm;firsttermsgetRulehead getFormula<(LmProlog/PrologTerm;Ljava/lang/String;)LmProlog/PrologTerm;secondparse SourceFilePrologParser.java java/util/Hashtable java/io/InputStream java/lang/String mProlog/Parser java/util/Vector java/lang/Errorjava/lang/StringBufferGETRESTTERM: expecting ')':    mProlog/PrologTerm       GETLIST: expecting ']': $GETCLAUSE: expecting '-' after ':':    _       ! " # $ % GETTERM: not recognized: & '( GETRULE: sequence must be !- :GETFORMULA: unknown operator '' )* !PARSE: unnecessary continuation: mProlog/PrologParser(Ljava/io/InputStream;)VgetBytes()[B([B)V(LmProlog/Parser;)VclearCspace addElementappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;(Ljava/lang/String;)V()I elementAt(I)Ljava/lang/Object; createClause;(Ljava/lang/Object;[Ljava/lang/Object;)LmProlog/PrologTerm; createAtommProlog/PrologTermListcreate)(LmProlog/PrologTerm;Ljava/lang/Object;)V((LmProlog/PrologTerm;)Ljava/lang/String; createRule+([LmProlog/PrologTerm;)LmProlog/PrologTerm;CUTjava/lang/Character isLowerCase(C)ZgetIdequals(Ljava/lang/Object;)ZWILDCARD isUpperCaseget&(Ljava/lang/Object;)Ljava/lang/Object;createVariable:(Ljava/lang/String;Ljava/lang/Object;)LmProlog/PrologTerm;put8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;isDigit getNumber getString createString(C)Ljava/lang/StringBuffer; findOperator(Ljava/lang/String;)I createFormulaP(Ljava/lang/String;LmProlog/PrologTerm;LmProlog/PrologTerm;)LmProlog/PrologTerm;! B**Y+,- ^**Y*+*W56789b**,*+*WBC DEF 7+*+'+ *+ + *+ NOQR'T.U6W77G***]^ _` /*h /*q M+**(YM*W*)S,***W,***,*)!YY !,"!#$W*W,%>&:&&:6,'&S+(+)n}~ "+37:?GKT]{>4.}*L*W*+*,]c*YM+,-*.*W*YM+,-*/*0,*1]!YY2!+3!#$W*W+N !&*-2;=BFOXv{ }yaL+**4*5:m*W*6-!YY7!+"!#$*W*YM+,*8*W*YM+,*9*:,M+%>+'&M.&:6+`'&S;M,~ %CHQSX\_dmotx  >N~D%"OgL*<*=!*W>L*?@ *A_ *BM,CD E*,FL*GHA*IM*J*K(&*,L&L+,ML*,+NW *,FLm*OP *Q-*R)LO*S' *T"*UVL2*W[ *XL!YYY!*Z[#$*\Y]!*^[#M,_>:*W*`= *a>Y,!*b[#M*W,_> *+,c+$".#3$K(U)Z*^-g.s/w0}16;<@AEFKOPQR"S'T9UOVTXY[^\e_>ge3Z6OJeYM,E+,+*d*W*N,-*e*f,,%&N6-,'&S--;Bjklmpqr$t)u.v2q;zC{I|V{`>ee]) C"F^YM+*L,+*g*h:`*W*i-4*W*N,-*W*N,-*j*k,!YYl!*m[#$,%&N6-,'&S--;^ #(16;@CHMRVb>;$"+*L*nY]!*o[#M*W*p= *q>Y,!*r[#M*W,_>#YYs!,!t!#$*u*N,+-v:  $);QV[`4[%W*L*w*x, *+y*z: *+{*| *}.+YY~!*[#$&  !'79WRPK \q2BR!R!mProlog/PrologQuery.class.              M      i     + + i   3 3  3   i      i      M  M i  U  + ! U " # $% 3&'( ) i*+,-. / 30 312 3 i4 i56789:;<=>?@ iA B C DE FG HI JKLengineLmProlog/PrologEngine; unifyStackLjava/util/Stack; queryGoalsLjava/util/Vector;firstRunZlastQuerySuceeded variables[LmProlog/PrologTerm; cachedResultsnumberUnificationsI executionTime-(LmProlog/PrologEngine;LmProlog/PrologTerm;)VCodeLineNumberTableLocalVariableTablethisLmProlog/PrologQuery;goalLmProlog/PrologTerm; argumentsiclose()VgetNumberUnifications()IgetRunningTimepossibleMoreSolutions()Z lastSolution()[LmProlog/PrologTerm; findInStack((LmProlog/PrologTerm;)Ljava/lang/Object;variableobjLjava/lang/Object;varsolutionresult startTimeJresultV termInStackjellapsedcuttopStackalternativesPtr backtrackresolvecurrentAlternativealternativesListalternativesCountfunctor resultTerm restulStrLjava/lang/String;vex!Ljava/lang/NumberFormatException;currentAlternativePtrvarDictLjava/util/Hashtable;copyCurrentHeadargsnumberSubGoalssubGoalstoString()Ljava/lang/String;bufferLjava/lang/StringBuffer;main([Ljava/lang/String;)V[Ljava/lang/String;query SourceFilePrologQuery.java java/util/Stack java/util/Vector M N O P QRjava/lang/Errorcan not query for a Rule S T U VWmProlog/PrologTerm X Y Z[ \]^ _` ab c de f gmProlog/ChoicePoint h i j k lmprologjava/lang/StringBufferquery= no p qr se t resolving cut uvresolving fail w x y] z {| }~java/lang/NumberFormatException  query= FALSE for query= TRUE for java/lang/String__      java/util/Hashtable ]   (alternative n of )  query= FALSE for built-in query= TRUE for built-in  inference INVALID= e n n#stack=mProlog/PrologEngineavo(A,B) :- mae(A,C), mae(C,B). Smae(luiza, marilu)mae(luiza, marilza)mae(marilu,daniela)mae(marilu,djanira)mae(marilza,marcelo)mae(marilza,gisele)mae(marilza,fernanda)mae(guilhermina, ignez)mae(ignez,fernando)mae(ignez,andrea)avo(X,Y)    S #unifications= #milisseconds= mProlog/PrologQueryjava/lang/Object getVariablesisRule getArguments isWildcard addElement(Ljava/lang/Object;)V(Ljava/lang/String;)Vsizeempty elementAt(I)Ljava/lang/Object; isVariablegetVariableNameequals(Ljava/lang/Object;)ZgetVariableValue()LmProlog/PrologTerm;java/lang/SystemcurrentTimeMillis()JcreateVariable:(Ljava/lang/String;Ljava/lang/Object;)LmProlog/PrologTerm;totalExecutionTimepop()Ljava/lang/Object;CUTunbindalternativeListalternativePtrtotalNumberQueriesFAILinsertElementAt(Ljava/lang/Object;I)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;mProlog/Tracertrace((Ljava/lang/String;ILjava/lang/String;)V getFunctortotalNumberUnificationsremoveElementAt(I)V isFormulatotalNumberFormulaeevaluateTRUEFALSEjava/lang/IntegerparseInt(Ljava/lang/String;)Ilengthenabled(Ljava/lang/String;I)Z startsWith(Ljava/lang/String;)ZkdbgetKeyget&(Ljava/lang/Object;)Ljava/lang/Object;push(ILjava/util/Vector;)Vheadcopy+(Ljava/util/Hashtable;)LmProlog/PrologTerm;unify((LmProlog/PrologTerm;Ljava/util/Stack;)Z(I)Ljava/lang/StringBuffer;getAritybuiltin=(LmProlog/PrologTerm;Ljava/util/Stack;LmProlog/PrologQuery;)Z firstElement,(Ljava/lang/Object;)Ljava/lang/StringBuffer;(C)Ljava/lang/StringBuffer;add createQuery)(Ljava/lang/String;)LmProlog/PrologQuery;outLjava/io/PrintStream;listSubstToString)([LmProlog/PrologTerm;)Ljava/lang/String;java/io/PrintStreamprintln! #*******+*Y * Y *,,<,N-2!6* -2- Y * ,N8( )+/09":-;8<@>G?L@UA[BfAsFJL4L1XX** * **RS TUVW /*_ /*h R(** * * q (/*| /* H=9* N-&-:+ * & #28F4HHF* L A***!** Y :6b* ":L:=6-*2#*τ* $L6+%S+ e6*Y`*Y&`&*+*j !*0;CJRXmf *-;QJBU7#-= * 'L++()* ܱ !", - +G=9* 'L+ +* ++*++, ++-= * .  %08;E G :E!6*Y.`.* */* 0123Y456+7689+::*Y`*Y;`;+()2<9*=* >y+0) 2?9* >*@Y6T+A*YB`B* >+C:6D) 6HE) 67:F:  G6  6:  I65*@Y6O2J23Y4K6+76892J23Y4L6+7689xMMNO*P+QR N--6%* (SW* +Y`* TSW 0M-d%M66UYV:,WX: +:  96 +  2A    2CS*YB`B    +* Y2J;23Y4L6 76Z6[\6-[]689* >,,^d6 ,:  6 *   2X1  a2JC23Y4K6 76Z6[\6--[]689* >*@Y6MMNOy* >*+* *_65*@Y6O2J23Y4`6+76892J23Y4a6+7689)b3Y4c6+7689* >* * * dYLHjZ!/ K!Q$[%h(r)z*~+/0145:;>ACDEGHKMNOPQ(R+V0W;XDY`\b`kakoptuv{| #(.9FS^kt6>INckz!.pbQ*   E9. #( +3 ' !  z\73Y4L+* eW+(fW+g6W+* h[W+)fW+8+27/ 0iYjL+kl+ml+nl+ol+pl+ql+rl+sl+tl+ul+vl+wxM y-z{,|YNy3Y4}6,~[8{y3Y46,[8{N &,28>DJ Q T^ g*QOd<PK \q23xi:i:mProlog/PrologTerm.class. I J K L M NO I P Q R S TU VW X YZ [ \ ] ^ _ ` a b c de I f 9g %h %i %j kl %I mn (I o (p (q r (s (t uvwx yz{| g} ~ g      T t     9 9       U UI Ui U  Ui % ( ( (  T t    T 9 9   LISTIDLjava/lang/String; ConstantValueRULEIDCUTID WILDCARDID TYPE_ATOMI TYPE_STRING TYPE_FORMULAE TYPE_RULE TYPE_VARIABLE OPERATORS[Ljava/lang/String;NUMBER_MATH_OPERATORSCUTLmProlog/PrologTerm;WILDCARDFAILFALSETRUEtypetNameLjava/lang/Object; tArguments[LmProlog/PrologTerm;vCountervIDvNamevValue()VCodeLineNumberTableLocalVariableTablethiscreateVariable:(Ljava/lang/String;Ljava/lang/Object;)LmProlog/PrologTerm;namevaluevariable finalValue createAtom((Ljava/lang/Object;)LmProlog/PrologTerm; atomValueatom createStringstrValue createList)([Ljava/lang/Object;)LmProlog/PrologTerm;elements[Ljava/lang/Object; createClause;(Ljava/lang/Object;[Ljava/lang/Object;)LmProlog/PrologTerm;functor argumentsclause createRule+([LmProlog/PrologTerm;)LmProlog/PrologTerm;clausescreateSequenceActionsactionsi createFormulaP(Ljava/lang/String;LmProlog/PrologTerm;LmProlog/PrologTerm;)LmProlog/PrologTerm;operatorleftrightformulaecreate((Ljava/lang/String;)LmProlog/PrologTerm; prologStrparserLmProlog/PrologParser; Exceptions=(Ljava/lang/String;Ljava/util/Hashtable;)LmProlog/PrologTerm;varDictLjava/util/Hashtable;createSimplifiedT(LmProlog/PrologTerm;[LmProlog/PrologTerm;Ljava/util/Hashtable;)LmProlog/PrologTerm;termsubstptr?(LmProlog/PrologTerm;[LmProlog/PrologTerm;)LmProlog/PrologTerm;subsVarvarvarName getFunctor()Ljava/lang/Object; getArguments()[LmProlog/PrologTerm; getArgument(I)LmProlog/PrologTerm;index setArgument(ILjava/lang/Object;)VobjectgetArity()IappendVariables(Ljava/util/Vector;)VlistLjava/util/Vector; getVariablesresultgetVariableName()Ljava/lang/String;getVariableValue()LmProlog/PrologTerm;head setFunctor(Ljava/lang/Object;)V functorValue setArguments([Ljava/lang/Object;)VvaluesgetKeykeyLjava/lang/StringBuffer;getTypeisAtom()ZisClauseisRule isFormula isVariableisVariableBoundisVariableNotBoundisCut isWildcardisListbind(LmProlog/PrologTerm;)Zotherunbindderefequals(Ljava/lang/Object;)Z otherTerm findOperator(Ljava/lang/String;)Ievaluate operatorIntleftIntrightInt resultInt resultBoolZex!Ljava/lang/NumberFormatException;leftStrrightStr compateValuedestroycopy+(Ljava/util/Hashtable;)LmProlog/PrologTerm;tmpunify((LmProlog/PrologTerm;Ljava/util/Stack;)ZstackLjava/util/Stack;thisTermmatch+(LmProlog/PrologTerm;)[LmProlog/PrologTerm;resultsappendListSubstA([LmProlog/PrologTerm;[LmProlog/PrologTerm;)[LmProlog/PrologTerm;list1list2vectorexistssizejlistSubstToString)([LmProlog/PrologTerm;)Ljava/lang/String;bufferlistSubstToHashtable,([LmProlog/PrologTerm;)Ljava/util/Hashtable;hashlistSubstToStringArray*([LmProlog/PrologTerm;)[Ljava/lang/String;toString composeString(Z)Ljava/lang/String;doDerefargsarity functorStr SourceFilePrologTerm.java mProlog/PrologTerm    __RULE mProlog/PrologParser    $%    java/util/Hashtable   5  java/util/Vector java/lang/StringBuffer    ? ATOMFORMULAVARIABLE CLAUSERULEUNKNOWNjava/lang/String __CUT __WILDCARDcons     +   ? java/lang/NumberFormatException       '( java/util/Stack   (fail)    []  @A  !_ {}[F] :- , ?   -*/%>>=<<=<>=== fail falsetruejava/lang/Objectjava/lang/ErrormProlog/PrologTermListparse*(Ljava/lang/Object;Ljava/util/Hashtable;)V elementAt(I)Ljava/lang/Object; addElementappend,(Ljava/lang/Object;)Ljava/lang/StringBuffer;(C)Ljava/lang/StringBuffer;(I)Ljava/lang/StringBuffer;)(LmProlog/PrologTerm;Ljava/lang/Object;)Vjava/lang/IntegerparseInt(I)Ljava/lang/String;concat&(Ljava/lang/String;)Ljava/lang/String; compareToget&(Ljava/lang/Object;)Ljava/lang/Object;put8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;pushpopcopyInto(Ljava/lang/String;)Vlength,(Ljava/lang/String;)Ljava/lang/StringBuffer;toStringCursive((LmProlog/PrologTerm;)Ljava/lang/String;mProlog/PrologEnginedebugreplace(CC)Ljava/lang/String;charAt(I)Cjava/lang/CharacterisDigit(C)Z!=;<7`******RA BGHIS >YM, Y` ,*,++ ++ N,- W,"]^_`a#b6d<f*>>66`YL+*+ ++pq rst`YL+*+ ++~ /*  ^YM,*,+,   ^YL++*++{)*`L+S=+`*2S*+$ )!*YN-*- - +S- ,S-- #(****" FY*L+    QY*+M,   *,:/  2+,S  2+,S+YN- ,6  2+,S 2 %8>QS[av>N9 }^&QYM*+,   3+0*M> +2+2, +2+  !!(1%*33 ( &B *L+ 23 B *L+  <= [*M, , 2 GH {'*N- - , ,, SRST&W*'''"N*L+ +  _`X*1=+!* +"+*#%* =* 2+$* . jl m!o"l-r5t<uAvKuWy*XX )>7%Y&L*+$+"M,>,+!S,,,&  *35*7/"/* /* <*' * 2* >*+ N*I* * + *+ =$* +2 +2 +2 S+ܱ!&DM NN#*8*' * 2*L(Y)M,+*+W,/,W,+-.W,/#*3 8&5*01*2*3*45*'67.  %(/2 5R*L++  ^&*L++ +8 &!V*L++8 t.*L+*M+-,,9,9:  .) $7 **  >**3  >**<  V*L++;8 EF V*L++<8 PQ _'*L++=8+  [\'" P* *+mn oq4* yz W*L+L++ }+w+M*B*,84*-,-R>* 2, 2>*-* ,?*@ ,?*?F !,1CEPRY`bpry{*}} o.$ d <*A2 A M i***L+*9M+BN-2:-2:? ?* : :C,D E,:6*FG6*FG6c6 R#-7AK`6 (d6 h6 l6 p6  H 6  '8IZk|6 U6 D6 36 "6 6  IJ:*F:*F:  L 6  M6  (7FUdx 6 M 6 > 6 / 6  6  6  IJ*|KKF #+;=ELT[clsv|  (69GJX[!i"l$z%}'+023678>?@BC EFH&I)K5L8NIOLQUTdVgXi[SN#F+>|]   !  " #4**** < * S* * & _` abcd"c.f3h4$%t+ YL* *8*M,-N6-, 2+S-,-N+*OYM*PM+*,QW,6 tu yz{'|-}<|FO_hr4ttU'(&*%'(p*N+:-R R-?s?k-8- -    f- .6- 2 2,S- -?- W,,-TW- W, ,TWV +_fl>)*+ i(,-LUYVM*+,S<,WN6%,X:-PSY,Z-. (<AHJ>LLD)*1..(/0S%Y&M*> ,*2#*+V>K6,"66!,!:+2 6 ,+2#+,"N,-[-N !%*-39DTchoxf 123'Q-B43<5696D78W*\*K(Y]^L=1+_ +,,W+*2`W+=,W+*2a+W*+/b6     ")4;F OT W>9<:;W**GYL=2*2aN*2C -c: -d:+*2QW*+Y6 $%' (*+.(/1275D*M7O:4W<<:%.=>E**8*9L=%*2aN-C +-cS +-dS*+92 FGI JKLM$N.Q5K>T@W*E/-?U(Y]^L+*e`W+/a bc 9@A*#*@*e***fg*Rh*a(Y]^Mi ,j`W*BN,-2d`W, ,W,**F`W, ,W,-2d`Wi ,k`W,/*'(Y]^M* >6^#* 2** 2>6,* 2e`W!,ldm]`W,/*C*n(Y]^M*FN- \oN- \oN,-`W* `*X-pqM,(,W* 76',m]`W,* 2e`W* ,),W,/0opq"t'y.z1~8;BLRY^ip|#*/9AJSYt{f BLT9^BCr9lDi99AE1Fw 9YDSYrSYsSYtSYuSYvSYwSYxSYySY zSY {SY |SA; }< ~  J I 4J:R;Z<b=j>rFGHPK \q2G G mProlog/PrologTermList.class. TUV W X Y Z [ \ ]! \^ _ ` a bc T de f g gh i j k l mno TERMINATORIDLjava/lang/String; ConstantValue TERMINATORLmProlog/PrologTerm;()VCodeLineNumberTableLocalVariableTablethisLmProlog/PrologTermList;create()LmProlog/PrologTerm;list((Ljava/lang/Object;)LmProlog/PrologTerm;elementLjava/lang/Object;)([Ljava/lang/Object;)LmProlog/PrologTerm;elements[Ljava/lang/Object;iI firstElement*(LmProlog/PrologTerm;)LmProlog/PrologTerm; arguments[LmProlog/PrologTerm; lastElementresultptr tailOfListtailempty(LmProlog/PrologTerm;)Z addElement)(LmProlog/PrologTerm;Ljava/lang/Object;)V newSubList appendList+(LmProlog/PrologTerm;LmProlog/PrologTerm;)VsubListlasttoString((LmProlog/PrologTerm;)Ljava/lang/String;firstZbufferLjava/lang/StringBuffer;toStringCursive SourceFilePrologTermList.java &'consjava/lang/Object $% pq -. CD rs tu vwmProlog/PrologTerm x0 -0 FG <9java/lang/StringBuffer yz, y{ J| &} 89 y~ ?9 ABnullmProlog/PrologTermList createClause;(Ljava/lang/Object;[Ljava/lang/Object;)LmProlog/PrologTerm; getArguments()[LmProlog/PrologTerm;equals(Ljava/lang/Object;)Z getFunctor()Ljava/lang/Object; createAtomappend(C)Ljava/lang/StringBuffer;,(Ljava/lang/String;)Ljava/lang/StringBuffer;()Ljava/lang/String;(Ljava/lang/String;)V,(Ljava/lang/Object;)Ljava/lang/StringBuffer;! !"#$% &'(3*) * +,-.(FYSYSK*) ),* /%-0(NY*SYSL+) 68*12/%-3(iL= +*2*+)BC DCF* 45/%6789(O* *L+2)PQ R T*/% :;<9(L*M,L,N-2M, +)"^_`a cd`f**/%=%>%:;?9(s%*"*L+2M,,  ,)pq r s#v* %/% :; @%AB(>* * )* /%CD(1*M,2,+ + +S +N*-)&+0**1/%112,:;+E%FG(c*M,N-+S) **/%H% I% :;JK(P<YM,[W*N' ,W-:,2W2N<- ,]W,): !'38:DK*4P/%NLM FNO=>%':;PK(x&YL*M+,W,M,+) !* &>% NO /%Q'(! ) RSPK \q2 mProlog/Tracer.class. #N "O "PQ R S T UV "W XYZ N[ \ ]^ "_ ` ab cd Xe Xfghi jk cl "mn N ]opq IDENTATIONLjava/lang/String; ConstantValuer SEPARATORsstartJctxTableLjava/util/Hashtable;outLjava/io/PrintStream;()VCodeLineNumberTableLocalVariableTablethisLmProlog/Tracer; setOutput(Ljava/io/PrintStream;)Vset(Ljava/lang/String;I)VctxlevelIenabled(Ljava/lang/String;I)Z levelForCtxLjava/lang/Integer;levelForCtxIntexLjava/lang/Exception;trace:(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Vthreadmsgmoment((Ljava/lang/String;ILjava/lang/String;)V SourceFile Tracer.java 01 ./ ,-java/lang/Integer 0t uv wx yzjava/lang/Exception >?{ |}java/lang/StringBuffer000000 ~ *+ ~ [ z ]   ~ => EFjava/util/Hashtable /mProlog/Tracerjava/lang/Object #(I)Vput8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;get&(Ljava/lang/Object;)Ljava/lang/Object;intValue()Ijava/lang/Stringreplace(CC)Ljava/lang/String;append,(Ljava/lang/String;)Ljava/lang/StringBuffer;java/lang/SystemcurrentTimeMillis()J(J)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/io/PrintStreamprint(Ljava/lang/String;)Vlength substring(I)Ljava/lang/String;(I)Ljava/lang/StringBuffer;printlnerr!"#$%&'(%&) *+ ,- ./0123*3 !}4 56 7823*3 -.4 ./ 9:2I*YW3 784;%<= >?2$*M,,>N 3B CEFH I"L44$;%$<= @A B= CD)EF25* - \ N- \ N Y e:d* Y , ,-3BZ \]`9aAbTc\fcgkhilmopr44;%<=G%H%9mI% EJ2J*,3 {|4 ;%<=H%K127Y !3$%&LMPK \q2META-INF/MANIFEST.MFPK \q2ǭ)GKKKmProlog/ChoicePoint.classPK \q28Y^mProlog/Parser.classPK \q2o;;$;$mProlog/PrologEngine.classPK \q2$3ǚ77gAmProlog/PrologParser.classPK \q2BR!R![mProlog/PrologQuery.classPK \q23xi:i:_}mProlog/PrologTerm.classPK \q2G G mProlog/PrologTermList.classPK \q2 mProlog/Tracer.classPK tr