PK +2META-INF/MANIFEST.MFManifest-Version: 1.0 PK +2sKKmProlog/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 ,--,- ./0/'2*) !)" #$%&'e** *, *,  ;< =?  !()R( Y * * B ( !*+PK +2VjmProlog/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>( )-1>L MNHOJj******+KD( )-1EFLMN;<HPJs#******+*WK"L( )-1MN"OL#MN#;QHRJA *+ K VWL MN STUOJb*+ * ***Kab cdefLMN;<UPJE * Y+K m nL MN ;QUVJM*+ *+ KuvwLMNWNXYJ/* K~L 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 zK"L _9 usJ<A ZK+L _9 vsJ>" #K4L _9wpJqYL* $ * -6+* W*W+* W*W*.* $!%YY&* '+K* BEF$G)H,I5J:HNNlRLqMNix5y%zpJ* ( * _nYL+* W*W+* W*W* (* $* .* _++d. ++d)+%YY** 'K2 ]_`$a)b,f5g:d`jokym~qLMNc{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 +24_n;$;$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 ** ?3 456@ A+B6C:D ; 3 MN 2* V 8* L|+M* , N Y :-:?:* Y !* ,"W+!B]_`ab)c2f8g;hGiSj]mwgr`tHo)c2Z8TG0F*#$*%&$*'&$*(&$*)&$**&$*+&$*,&$*-&$*.&$*/&$*0&$*1&$*2&$*3&$*4&$*5&$*6&$*7&$*8&$*9&$:^z{|}"~+4=FOXajs| 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*+ ,/02"3)549;;><D;UA\BfCtFLOP>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@\ ]^`.f>gDhJiZkjnorswx  0<FHXceu!$,4ETWailn ztDJZ jo T 3  1$  < 'S!M uYL* MW, N-:::*"+ +W+YW+W!,!+ >#&2>ELV]gp>umeJ#D2+&  ,9PK +2k77mProlog/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/01 ^**Y*+*W9:;<=b**,*+*WFG HIJ 7+*+'+ *+ + *+ RSUV'X.Y6[77G***ab cd /*l /*u 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.^1g2s3w4}5:?@DEIJOSTUV"W'X9YOZT\Y_^`ec>ge3Z6OJeYM,E+,+*d*W*N,-*e*f,,%&N6-,'&S--;Bnopqtuv$x)y.z2u;~CIV`>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 +2HvR!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 * ,N<, -/34=">-?8@@BGCLDUE[FfEsJNP4L1XX** * **VW XYZ[ /*c /*l R(** * * u (/* /* 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.~/34589>?BEGHIKLOQRSTU(V+Z0[;\D]``bdkeostxyz #(.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 > D JQT^g*QOd<PK +2i: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`******UD EJKLV >YM, Y` ,*,++ ++ N,- W,"`abcd#e6g<i*>>66`YL+*+ ++st uvw`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+ 56 B *L+  ?@ [*M, , 2 JK {'*N- - , ,, SUVW&Z*'''"N*L+ +  bcX*1=+!* +"+*#%* =* 2+$* . mo p!r"o-u5w<xAyKxW|*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 *-  >**6  >**?  V*L++;8 HI V*L++<8 ST _'*L++=8+  ^_'" P* *+pq rt4* |} 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|   (69GJ!X"[$i%l'z(}*.3569:;ABCEF HIK&L)N5O8QIRLTUWdYg[i[SN#F+>|]   !  " #4**** < * S* * & bc defg"f.i3k4$%t+ YL* *8*M,-N6-, 2+S-,-N+*OYM*PM+*,QW,6 wx |}~'-<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;FOT W>9<:;W**GYL=2*2aN*2C -c: -d:+*2QW*+Y6 '(* +-.1(21578D-M:O=4W<<:%.=>E**8*9L=%*2aN-C +-cS +-dS*+92 IJL MNOP$Q.T5N>W@Z*E/-?U(Y]^L+*e`W+/d ef 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,/0rst"w'|.}18;BLRY^ip|#*/9AJSYt{f BLT9^BCr9lDi99AE1Fw 9YDSYrSYsSYtSYuSYvSYwSYxSYySY zSY {SY |SA; }< ~  J I 7J=R>Z?b@jArIGHPK +2n~G 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* /%-0(NY*SYSL+) :<*12/%-3(iL= +*2*+)FG HGJ* 45/%6789(O* *L+2)TU V X*/% :;<9(L*M,L,N-2M, +)"bcde ghdj**/%=%>%:;?9(s%*"*L+2M,,  ,)tu v w#z* %/% :; @%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 +2-A 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 124 ./ 9:2I*YW3 ;<4;%<= >?2$*M,,>N 3F GIJL M"P44$;%$<= @A B= CD)EF25* - \ N- \ N Y e:d* Y , ,-3B^ `ad9eAfTg\jckklmpqstv44;%<=G%H%9mI% EJ2J*,3 4 ;%<=H%K127Y !3()*LMPK +2sB99mTripleApl/Action.class. [ \ ] ^ _ `ab [ `c `de `f `g `h `i `j `k `l `m `nop [ `q r qsENDI ConstantValueANDORsignalZactionLmProlog/PrologTerm; operationNext()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/Action;(LmProlog/PrologTerm;)V(ZLmProlog/PrologTerm;I)V(Ljava/lang/String;)V actionStrLjava/lang/String;(ZLjava/lang/String;I)Vcopy*(Ljava/util/Hashtable;)LmTripleApl/Action;varDictLjava/util/Hashtable;newAcgetName()Ljava/lang/String;getNumberOfParameters()I getParameter(I)LmProlog/PrologTerm;indexptrgetParameterAsString(I)Ljava/lang/String; setParameter(ILjava/lang/Object;)VvalueLjava/lang/Object; getAction()LmProlog/PrologTerm;simplify?([LmProlog/PrologTerm;Ljava/util/Hashtable;)LmTripleApl/Action;subst[LmProlog/PrologTerm;match*(LmTripleApl/Action;)[LmProlog/PrologTerm;otherresolve*(LmTripleApl/Action;)Ljava/util/Hashtable;equals(Ljava/lang/Object;)ZotherActoStringLjava/lang/StringBuffer; SourceFile Action.java )* $% &' ( )5t uvmTripleApl/Action 6w xyjava/lang/String z> {@ |} ~F  O TU o'TRUEjava/lang/StringBuffer W< java/lang/ObjectmProlog/PrologTermcreate((Ljava/lang/String;)LmProlog/PrologTerm;+(Ljava/util/Hashtable;)LmProlog/PrologTerm; getFunctor()Ljava/lang/Object;getArity getArgument composeString(Z)Ljava/lang/String; setArgumentcreateSimplifiedT(LmProlog/PrologTerm;[LmProlog/PrologTerm;Ljava/util/Hashtable;)LmProlog/PrologTerm;+(LmProlog/PrologTerm;)[LmProlog/PrologTerm;listSubstToHashtable,([LmProlog/PrologTerm;)Ljava/util/Hashtable;append,(Ljava/lang/String;)Ljava/lang/StringBuffer;! !"#$%&'()*+/*,@- ./)0+X***+*,HI JKL-./&')1+l***,*,UV WXY-*./$%&'()2+@*+, bc-./34)5+o***,*,mn opq-*./$%34(67+t&YM,*,*,*+ ,,z{|}$~- &./&89:/;<+5 * ,-  ./=>+2* ,- ./?@+U* M,,,  - ./A B'CD+Y* M, ,,  - ./A B'EF+L *,,  -  ./ A GHIJ+/*,- ./KL+'YN-*-*-*+,-,%-*'./'MN'89:/OP+@ *+,- ./ Q/RS+S*+M,,  - ./Q/ MNTU+w-+'+M,*,*, +- -./-QH V/W<+m)*YL+*W+, $-)./3XYZPK +2]"mTripleApl/ActuatorInterface.class.   register(Ljava/lang/String;)Vreset()Vactuator(Ljava/util/Hashtable;)Z SourceFileActuatorInterface.javamTripleApl/ActuatorInterfacejava/lang/Object  PK +2˴;3KKmTripleApl/Agent.class.`                               %  ) ) ) )  % %     y  d  ) % y!" %# $% & ' U( U) *+ O O,-. /0 U123 X4 56 7 8 9 : ;<= a > ;? @A ;B ;C D EF GH IJK  L GM N OPQ sR GS sT U GVW yX YZ s[ \ ] ^_ ^` ab Gc Xd e f sg sh sijk lm sn G op sq rst u Gv Gw Gxyz {| {} {~     G G   G   s     a    a      a a   a            l Ul l O l l l               I  I  IVERSIONLjava/lang/String; ConstantValueGC_NONEI GC_AGGRESSIVE GC_MEDIUM GC_MODERATEDnamebbLmTripleApl/BeliefBase;gbLmTripleApl/GoalBase;prbLmTripleApl/PlanRuleBase;cbLmTripleApl/CapabilityBase;gcLevel isRunningZ stopRunning completeCyclecurrentPlanBaseLmTripleApl/PlanBase;currentSuperPlanLmTripleApl/Plan; currentGoalLmTripleApl/Goal;currentGoalHistoryLjava/util/Vector;fipaCommunication sersorTimerLjava/util/Timer; sensorTableLjava/util/Hashtable; actuatorTable messageBase runningTimenumberDeliberations(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/Agent;(Ljava/lang/String;Z)VsetCompleteCycle(Z)VenabledsetFipaCommunication setGCLevel(I)VlevelgetName()Ljava/lang/String; getBeliefBase()LmTripleApl/BeliefBase; getGoalBase()LmTripleApl/GoalBase;getPlanRuleBase()LmTripleApl/PlanRuleBase;getCapabilityBase()LmTripleApl/CapabilityBase;getCurrentGoal()LmTripleApl/Goal;getCurrentPlanBase()LmTripleApl/PlanBase;getCurrentGoalHistory()Ljava/util/Vector;getListOfSensors()Ljava/util/Enumeration;getListOfActuatorshasGoals()Z sendMessage\(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;msgIdto performativedatamessage!LmTripleApl/CommunicationMessage; replyMessageH(LmTripleApl/CommunicationMessage;Ljava/lang/String;Ljava/lang/String;)Vaction waitMessageH(Ljava/lang/String;Ljava/lang/String;I)LmTripleApl/CommunicationMessage;msgidsendertimeout startTimeJitLjava/util/Enumeration;ex Ljava/lang/InterruptedException;receiveMessage$(LmTripleApl/CommunicationMessage;)V addSensor*(Ljava/lang/String;LmTripleApl/Sensor;IZ)VidsensorLmTripleApl/Sensor;intervaladdGoalNotification readSensor&(Ljava/lang/String;)Ljava/lang/Object;Ljava/lang/Object; addActuator3(Ljava/lang/String;LmTripleApl/ActuatorInterface;)V actionStractuatorLmTripleApl/ActuatorInterface;capLmTripleApl/CapabilityExternal; addBelief beliefStr addProlog prologStr removeBelief addCapability capabilityStr capabilityLmTripleApl/Capability;addGoalgoalStrgoal addPlanRule planRuleStrplanRule consultProlog(Ljava/io/InputStream;)VstreamLjava/io/InputStream;consultexecuteCapability/(LmTripleApl/Capability;[LmProlog/PrologTerm;)Zsubst[LmProlog/PrologTerm;solutionenacLmTripleApl/Action;termLmProlog/PrologTerm;functornewAcqueryLmProlog/PrologQuery;executeExternalCapability7(LmTripleApl/CapabilityExternal;[LmProlog/PrologTerm;)Zparams(LmTripleApl/Action;)Z capExecuted actionNameactionNameUpper actionArityLjava/lang/Exception; sensorNameresultsystemParametermsgID destination msgIdTermnewMsgId msgidTerm senderTermmsgexecuteSubPlan(LmTripleApl/Plan;)ZplaninewGoaldeliberationReset()VdeliberationStep planRules[LmTripleApl/Plan; listOfGoals markReached goalToCheckbeforeAnalysisresultFromAnalysis toExecute deliberate lastResultrunreset actuatorssensorsstopdestroyexternalAnalysis(Ljava/util/Vector;)V nextGoals getStatistics()Ljava/util/Hashtable;hash totalMemory freeMemorytoStringbufferLjava/lang/StringBuffer;setTraceOutput(Ljava/io/PrintStream;)VoutputLjava/io/PrintStream;isTraceEnabled(Ljava/lang/String;I)ZctxsetTrace(Ljava/lang/String;I)VtraceOut:(Ljava/lang/String;Ljava/lang/String;ILjava/lang/String;)V agentName SourceFile Agent.java 0      #$java/util/Vector %& ' () -& . / mTripleApl/BeliefBase 01 mTripleApl/GoalBase mTripleApl/PlanRuleBase mTripleApl/CapabilityBase java/util/Hashtable *+ ,+  P mTripleApl/CommunicationMessage 0 Tknetjava/lang/StringBuffersent-message:   @  a reply-generated:  waiting-message:  from    waiting-message-received: S java/lang/InterruptedExceptionwaiting-message-timeout ( s): received-message: X @INFORM ^ }1REQUEST 1  1  java/util/Timer tapl sensor-add: mTripleApl/Sensor  sensor-read: mTripleApl/CapabilityExternal 0w actuator-add: 1  1 1 mTripleApl/Goal   )consulting prolog application from stream         :capability-execute:  with   PmTripleApl/Action ^    java/lang/String   0  !"# $ %S  capability-failed-precondition: &' yz y( )P ?@ * +,SKIPSTOP Assert -.java/lang/ExceptionRetract /0 1AddGoalSensor st 1. 23 45Systemmemused6 78  9 : timestampjava/util/Date ;<Send =S >S TUReceive ?@ AS _`mTripleApl/Capability ^ BC   !"executing plan: D E$ F G +H 0I === deliberation-step === goal-base contains: J& K LJ MS +Ncapability not executed: OPmTripleApl/PlanBase 0Q RS IGOAL DROPPED: analysis resulted in no plans to resolve this goal: before= S LT deliberating:  S'execution failed! deliberation aborted! RSdeliberation has been stopped! DELIBERATION-EXCEPTION: U@ mTripleApl/ActuatorInterface V destroyed deliberationsjava/lang/Integer 0= runningtimequeries W unifications X prologtime Ybeliefs capabilities planrulesgoalsCAPABILITIES:   RULEBASE:  BELIEFBASE:  GOALBASE: Z  [prolog\ ]9 ^_mTripleApl/Agentjava/lang/Objectjava/lang/Runnablev1.4.1 (Mar-2005)mTripleApl/Communicator registerLocal(LmTripleApl/Agent;)Velementssize()I](Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;,(Ljava/lang/Object;)Ljava/lang/StringBuffer;fromjava/lang/SystemcurrentTimeMillis()Jjava/util/Enumeration nextElement()Ljava/lang/Object;equals(Ljava/lang/Object;)Z removeElementhasMoreElementsjava/lang/Threadsleep(J)V(I)Ljava/lang/StringBuffer; toUpperCase addElement(Ljava/lang/Object;)Vregister attachToAgent((Ljava/lang/String;LmTripleApl/Agent;Z)Vput8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;schedule(Ljava/util/TimerTask;JJ)Vget&(Ljava/lang/Object;)Ljava/lang/Object; collectDataadd(LmTripleApl/Capability;)VgcremovemTripleApl/TAplCompilercompileCapability+(Ljava/lang/String;)LmTripleApl/Capability;(LmTripleApl/Goal;)V compilePlan%(Ljava/lang/String;)LmTripleApl/Plan;(LmTripleApl/Plan;)V loadProlog*(LmTripleApl/Agent;Ljava/io/InputStream;)Vload preconditionLmTripleApl/Wff;mTripleApl/WffC(LmTripleApl/BeliefBase;[LmProlog/PrologTerm;)[LmProlog/PrologTerm;mProlog/PrologTermappendListSubstA([LmProlog/PrologTerm;[LmProlog/PrologTerm;)[LmProlog/PrologTerm;mProlog/TracerlistSubstToString)([LmProlog/PrologTerm;)Ljava/lang/String; posconditionLmTripleApl/SequenceOfActions;mTripleApl/SequenceOfActionsgetEnumerationcreateSimplified?(LmProlog/PrologTerm;[LmProlog/PrologTerm;)LmProlog/PrologTerm;signal(LmProlog/PrologTerm;)V getFunctorcharAt(I)Cjava/lang/Character isUpperCase(C)Z createQuery+(LmProlog/PrologTerm;)LmProlog/PrologQuery;mProlog/PrologQuery()[LmProlog/PrologTerm;lastQuerySuceededlistSubstToHashtable,([LmProlog/PrologTerm;)Ljava/util/Hashtable;(Ljava/util/Hashtable;)Z getElementsgetNumberOfParameters getAction()LmProlog/PrologTerm; getParameter(I)LmProlog/PrologTerm;getParameterAsString(I)Ljava/lang/String; getArgument createAtom((Ljava/lang/Object;)LmProlog/PrologTerm;bind(LmProlog/PrologTerm;)Zjava/lang/Runtime getRuntime()Ljava/lang/Runtime;java/lang/Long(J)Ljava/lang/String; getProperty&(Ljava/lang/String;)Ljava/lang/String;isVariableNotBound isWildcardparseInt(Ljava/lang/String;)I isVariablematch*(LmTripleApl/Action;)[LmProlog/PrologTerm;mTripleApl/PlanMARK addInFrontgetNumberActions(I)LmTripleApl/Action;(LmTripleApl/Action;)VgoalList firstElementselect isCapability()LmTripleApl/Action;findPlansMatchGoal%(LmTripleApl/Goal;)[LmTripleApl/Plan;P(Ljava/lang/String;[LmTripleApl/Plan;LmTripleApl/Goal;LmTripleApl/BeliefBase;Z)VisMarkdrop()LmTripleApl/Plan; getMessagecancelgetNumberQueriesgetNumberUnificationsgetRunningTime setOutputsetmProlog/PrologEngineenableVariableDebuggingtrace:(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)V!          !"#$%&'()*+,+-&. / 30120********Y * * *Y ***+*Y**Y**Y**Y**Y*Y *!3ZtH KNRU["^-a2d7iBlGmLuQv`wox~y|}456072Q *+"*3 4  56  892>*3 456:;92>* 3 456:<=2G *3 4 56 > ?@2/*34 56AB2/*34 56CD2/*34 56EF2/*34 56GH2/*34 56IJ2/*34 56KL2/*34 56MN2/* 34 56OP22*#34 56QP22* #3 4 56RS2:*$34 56S2/*34 56TU2;%Y+*,-&:'(*)Y*+,-./03367584>;56;V;W;X;Y)Z[\]2;%Y+0*+1,-&:(*)Y*2,-./'3FJ5K:L44;56;Z[;X;^$\[_`237(*)Y*4,+,5,,,./* 6:b7%:+0+8,1,8 +2,.* 9W(*)Y*:,-./;<>:{3ehk(*)Y*@,AB,+,5,,,./?3FWX+[4\7]C^kaubc\ijklnqr4R56abc de4zfgCSZ[hijk2h(*)Y*C,+-./+DEM* 6,F8*+GH*,I8*+GJ* +K * +K3* {|%,5@IT_g4 h56hZ[%CXlm2b,*L,+*M*+,NW)* *OYP * ,hhQR*)Y*S,+,./3& %0Da44b56bnbopbq brst26*+TUM,',VNR*)Y*W,--./-3 244*6566n *opYuvw2:XY+,YN*-Z* +,NWR*)Y*[,+,./3 94*:56:x:yz 0{|}12H *+\]3 4 56 ~12H *+^]3 4 56 12A *+_3 4 56 ~12[+`M*,Z]3 4 56 12_aY+bM*,c]3 4 56 $12[+dM*,e]3   4 56 "2UR*f/*+g]3 4562E *+h]34 56 2 +i*,jN--,kNRl/R*)Y*m,+n,o,-p,./+qr:7s:t-u:v*wXx:y'yz{sY|:*}W%*~:W *;yR*)Y*,+n,./3^2 58; <LBUCXDdEoHwINQSTZ[^_Cdhi4f 56{ UgdtoiNu2\,N+-3 vw4*56{| +2*M>+:E:+6+:8 >8*>8*$+u:*H>: 8#+:*>: i8*$+u:*J>: 881++:*:   W>8e_+:8e: 8Y: :   W>8nh+:+: +: +: :   ":*   : W*   W>8 +:+: +6  :    : *   :  S 0W   1W+ DW+ GW>M,7:+:  %X*X W> * >,;px{3RT #27FMRbpvx{}&-7ISbin} /Jeqv~ !#$%-./0125,;4B 56^ g   #p~}h ~h h u -RI6 [T MX FY >   /c J|a eab qU[ 2{' 2[*++SR*)Y*,+,./*+d=aY+N*-3& FG I)M3P=QJRRPYU4*[56[": J$2L***Y 3\] ^_4 56!S2 3@>R*/R*)Y*,*-./*)* * ** *K***&*9**¶}> R*)Y*ö,*¶-./**:*Y****ƵY :*6:6"7a:6 K;* *6** *6 0 +R*)Y*ʶ,A./*˧*: * >*Y`*Y3e`3"ghjk5mWpbsmutx~yz{ ';AU_}4p 56de&g$;\ UB " !2RR*)Y*ζ,*-./***<Y*Y<R*Ѹ/**6)]*p]* p]* *Қ*R*Ӹ/** **3^#',136?KRps|45632|,*ԧ'LR*)Y*ն,+ֶ,./3(+4,56#h2R*** #L+7M,+;*#M+7UN-,;36   &/7:DHQ44R56?g yz7gDop24*3 4 562@** * * ****R*/3*   %,3?4 @56253,456&2fYL+Y*NW+Y*NW+Y*NW+Y*NW+Y*NW+Y*NW+Y*NW+Y*NW+Y*$NW]A7+Y eNW+3>:=>,@AAVBkEFGHKLMNQ4*56+ee@2u)Y*L+,W+*,W+,W+,W+*,W+,W+,W+*,W+,W+,W+*,W+,W+.3:Z\]^"`)a5b<dCeOfVh]iijpl4u56m23*3 {|4 2:*l34> =25R3 4 > 2X**8 34> 2`*l *+-34*> PK +2Nq q mTripleApl/BeliefBase.class. %S $T $U $VW S $X Y Z [ \ ]^_ S` a bc c de bf gh $] ij $k $lm n do l pq br cstengineLmProlog/PrologEngine;idLjava/lang/String; numberBeliefsIqueryLmProlog/PrologQuery;(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/BeliefBase;size()Ireset()VgetNumberQueriesgetNumberUnificationsgetRunningTimeadd(LmProlog/PrologTerm;)VtermLmProlog/PrologTerm; addProlog prologStr Exceptionsu beliefStrremove createQuery)(Ljava/lang/String;)LmProlog/PrologQuery;queryStr+(LmProlog/PrologTerm;)LmProlog/PrologQuery;solution)(Ljava/lang/String;)Ljava/util/Hashtable;[LmProlog/PrologTerm; nextSolution()Ljava/util/Hashtable;toString()Ljava/lang/String; SourceFileBeliefBase.java .8 *+ ,- ()mProlog/PrologEngine &' 78 v6 w6 x6 <=tapljava/lang/StringBuffer belief-add: yz{ OP| }~  =belief-add-prolog: =belief-delete: E= FI querying: y } J mTripleApl/BeliefBasejava/lang/Objectjava/lang/ErrorgetTotalNumberQueriesgetTotalNumberUnificationsgetExecutionTimeappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;mProlog/PrologTermmProlog/Tracertrace:(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Vcreate((Ljava/lang/String;)LmProlog/PrologTerm; addInternaldelete,(Ljava/lang/Object;)Ljava/lang/StringBuffer;((Ljava/lang/String;ILjava/lang/String;)VmProlog/PrologQuery()[LmProlog/PrologTerm;listSubstToHashtable,([LmProlog/PrologTerm;)Ljava/util/Hashtable;!$%&'()*+,-./0w!****+YM*,160 789 :2 !34!()&'560/*1B2 34780? **1IJ K2  349602* 1T2 34:602* 1^2 34;602* 1h2 34<=0{7+5*+ *Y` *Y+1qr st6v27347>?@/0@+>+M,5*,*Y` *Y,1 ?2 @34@A) 6>?BC</0Y+ +M*,1 2 34D) >?BCE=0{7+5*+*Yd *Y+1 627347>?E/0Y+ +M*,1 2 34D) >?BCFG0M +M*,1 2  34 H)>?BCFI0[#  Y+*+ 1 2#34#,?BCJK0r+M**, *!N-"12*34H)>?JLBCMN0V**!L+"1234JLOP02*#12 34QRPK +2_,,mTripleApl/Capability.class.F . / 0 12 . 3 456 78 9:;< =5 5>? preconditionLmTripleApl/Wff;actionLmTripleApl/Action; posconditionLmTripleApl/SequenceOfActions;()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/Capability;D(LmTripleApl/Wff;LmTripleApl/Action;LmTripleApl/SequenceOfActions;)V getAction()LmTripleApl/Action;getPreCondition()LmTripleApl/Wff;getPosCondition ()LmTripleApl/SequenceOfActions;toString()Ljava/lang/String;bufferLjava/lang/StringBuffer; SourceFileCapability.java    java/lang/StringBuffer @AB () @C} @D {mTripleApl/CapabilityExternalEXTERNALEmTripleApl/Capabilityjava/lang/Objectappend(C)Ljava/lang/StringBuffer;mTripleApl/Wff,(Ljava/lang/String;)Ljava/lang/StringBuffer;,(Ljava/lang/Object;)Ljava/lang/StringBuffer;mTripleApl/SequenceOfActions!/*1  !l**+*,*-;< =>?* "#/*G  $%/*P  &'/*Y  ()sYL+{W+* * W+ W+* W+ W* + W+* * W+}W+. bcd'e.f7g>hEiOlgonps k*+,-PK +2 mTripleApl/CapabilityBase.class.[ 6 78 6 9 : ;<= 6> ? @ @ AB C DEF GHI DJKLcapabilityListLjava/util/Vector;idLjava/lang/String;(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/CapabilityBase;size()Iadd(LmTripleApl/Capability;)V capabilityLmTripleApl/Capability; getElements()Ljava/util/Enumeration;reset()VtoString()Ljava/lang/String;bufferLjava/lang/StringBuffer;enLjava/util/Enumeration; SourceFileCapabilityBase.java - java/util/Vector  $% MNtapljava/lang/StringBuffercapability-add: OP ./Q RS T+U VWmTripleApl/Capability X% . YZmTripleApl/CapabilityBasejava/lang/Object addElement(Ljava/lang/Object;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;mProlog/Tracertrace:(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Velementsjava/util/Enumeration nextElement()Ljava/lang/Object;lengthhasMoreElements()Z!U**+*Y 45 67!"#$%2* ?! "#&'m-++*+* Y  +  HI J,L!-"#-()*+2* T! "#,-: *Y [ \!  "#./I Y L*M+,N+ + W+- W+ W,+ * dfghi$j+l4m;gDo!*I"#A01923()45PK +2sa?ZZ#mTripleApl/CapabilityExternal.class.    actuatorLmTripleApl/ActuatorInterface;3(Ljava/lang/String;LmTripleApl/ActuatorInterface;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/CapabilityExternal; actionStrLjava/lang/String; SourceFileCapabilityExternal.java mTripleApl/Action    mTripleApl/CapabilityExternalmTripleApl/Capability()V(Ljava/lang/String;)VactionLmTripleApl/Action;!   `**Y+*, 1234  PK +2%mTripleApl/CommunicationMessage.class.U 6 78 9 6 : ; < = > ? @A 6B C DEFGHIJ K LMN msgIdCounterI timestampJfromLjava/lang/String;tomsgid performativeaction()VCodeLineNumberTableLocalVariableTablethis!LmTripleApl/CommunicationMessage;](Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)VK(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)VtoString()Ljava/lang/String;bufferLjava/lang/StringBuffer; createMsgId SourceFileCommunicationMessage.java %&O PQ  2/ "  ! # $ %,java/lang/StringBuffer[msgid= RS ./,from=,to=,performative=,action=]message-  RTmTripleApl/CommunicationMessagejava/lang/Objectjava/lang/SystemcurrentTimeMillis()Jappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(I)Ljava/lang/StringBuffer;! ! " # $ %&'> **(56 7)  *+%,'***+ +*,*-* * (DEFGH#I)J)>**+*" * *! *# *$ %-'c *+,- ( V W)4 *+   !  #  $ ./' Y L+ Y *W+ Y *W+ Y *W+ Y * W+ Y * W+W+("^_#`>aYbtcde)*+01 2/'4 Y Y`(m3&'((45PK +27+/mTripleApl/CommunicationOutboundInterface.class. process6(Ljava/lang/String;LmTripleApl/CommunicationMessage;)V SourceFile#CommunicationOutboundInterface.java)mTripleApl/CommunicationOutboundInterfacejava/lang/ObjectPK +29k:++mTripleApl/Communicator.class. Dw Cx y Az C{ 8|}~ w  A  C     8  8 8 8 8^ 8w      Aw localAgentsLjava/util/Hashtable;externalAddress processor+LmTripleApl/CommunicationOutboundInterface;()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/Communicator; registerLocal(LmTripleApl/Agent;)VagentLmTripleApl/Agent;registerRemote'(Ljava/lang/String;Ljava/lang/String;)VnameLjava/lang/String;address sendMessage$(LmTripleApl/CommunicationMessage;)Vmessage!LmTripleApl/CommunicationMessage;todomainattachOutboundProcessor.(LmTripleApl/CommunicationOutboundInterface;)VpackXML6(LmTripleApl/CommunicationMessage;Z)Ljava/lang/String; includeHeaderZbufferLjava/lang/StringBuffer; unpackXML5(Ljava/lang/String;)LmTripleApl/CommunicationMessage;XMLformedposStartIposEndtags[Ljava/lang/String;itagvalue SourceFileCommunicator.java JK EF GF ^Xnet communicatorjava/lang/StringBuffer2communicator-exception: TO filed must be declared: mTripleApl/Agentcommunicator-inbounding: , [communicator-outbounding: HIjava/lang/String  9communicator-outbounding-exception: no processor attached J     X   X  X  X  msgidfrom performativeactionmTripleApl/CommunicationMessage<> java/util/HashtablemTripleApl/Communicatorjava/lang/ObjectgetName()Ljava/lang/String;put8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;append,(Ljava/lang/String;)Ljava/lang/StringBuffer;,(Ljava/lang/Object;)Ljava/lang/StringBuffer;toStringtraceOut:(Ljava/lang/String;Ljava/lang/String;ILjava/lang/String;)Vget&(Ljava/lang/Object;)Ljava/lang/Object;receiveMessageindexOf(I)I substring(I)Ljava/lang/String;)mTripleApl/CommunicationOutboundInterfaceprocess6(Ljava/lang/String;LmTripleApl/CommunicationMessage;)V(Ljava/lang/String;)V timestampJ(J)Ljava/lang/StringBuffer;(Ljava/lang/String;)I(II)Ilength()I(II)Ljava/lang/String;trim!CDEFGFHIJKL3*M 'N OP QRL; **WM 3 4N  ST UVLB *+WM = >N WX YX Z[Lh*L+! Y  * +M,2 Y  ,  * ,*w Y  * L*N--*@!**@:N-* MBFH I'M2P6Q]TeY[]^_`dglN4\]^X2ST8YX _X `aL3*M uvN HI bcLL YM , W, W, W,*!"W,# W,$ W,*% W,& W,' W,* W,( W,) W,** W,+ W,, W,*- W,. W,/ W,*0 W,1 W,2 W,Mb #,3:CJQZahqxN \]de fg hiLLY3SY4SY5SY6SY7S:*8Y9L6 Y : 2 ; ::*<="*<`=>*>`?:@:QL"+4=F+*$+%++- +0Y+Mf!%-3QT[`jxNRjXk][lmjunm!op0qmQrXT~sXtKL9AYBAYBM) *+uvPK +2(? "mTripleApl/DeliberativeAgent.class. $PQ R #ST U #V $W X Y Z [ \ ] #^ _` $a #bc Rd e fg hi jk l m $n ho $m mpqprankerLmTripleApl/PlanRanker;currentUtilitiesLjava/util/Vector;(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/DeliberativeAgent;nameLjava/lang/String;getCurrentPlanBaseUtilities()Ljava/util/Vector;setCurrentPlanBaseUtilities(Ljava/util/Vector;)VdeliberationReset()VsetCost(Ljava/lang/String;I)V actionStrcostIgetCost(Ljava/lang/String;)IgetCosts()[Ljava/lang/String;setWorthworthgetWorth getWorthsexternalAnalysis nextGoalsplanBaseLmTripleApl/PlanBase;itoString()Ljava/lang/String;bufferLjava/lang/StringBuffer; SourceFileDeliberativeAgent.java )rjava/util/Vector )7 '(mTripleApl/PlanRanker )* %& 67 89 => ?@ A9 C> D@ st uvtapl wx 01java/lang/StringBufferplan-classified: ( yz y{)= | }~ y : utility= JK mTripleApl/DeliberativeAgentmTripleApl/Agent(Ljava/lang/String;Z)VgetCurrentPlanBase()LmTripleApl/PlanBase;rank)(LmTripleApl/PlanBase;)Ljava/util/Vector;isTraceEnabled(Ljava/lang/String;I)Zappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(I)Ljava/lang/StringBuffer;mTripleApl/PlanBasegetPlan(I)LmTripleApl/Plan;,(Ljava/lang/Object;)Ljava/lang/StringBuffer; elementAt(I)Ljava/lang/Object;traceOut:(Ljava/lang/String;Ljava/lang/String;ILjava/lang/String;)Vsize()I!#$%&'( )*+^*+*Y*Y+,4,56-./0123+/*,=- ./45+>*+, EF-./'(67+B*Y*,L MN- ./89+L *+ , W X-  ./ :1 ;<=>+= *+ ,a- ./ :1?@+2* ,k- ./A9+L *+ , u v-  ./ :1 B<C>+= *+ ,- ./ :1D@+2*,- ./E5+g*M**,O>B*Y`,*, ,[f-*g./gF(bGHJI<JK+b"YL+*!W+*"W+,-"./LMNOPK +200mTripleApl/Goal.class.] ; <= > ? @ A B CD EFGH I J K LMN O >PactionLmTripleApl/Action;MARKLmTripleApl/Goal;(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisgoalStrLjava/lang/String;termLmProlog/PrologTerm;(LmProlog/PrologTerm;)V(LmTripleApl/Action;)VisMark()Z isCapability getAction()LmTripleApl/Action;equals(Ljava/lang/Object;)ZotherLjava/lang/Object;match((LmTripleApl/Goal;)[LmProlog/PrologTerm;simplify(([LmProlog/PrologTerm;)LmTripleApl/Goal;subst[LmProlog/PrologTerm;toString()Ljava/lang/String;()V SourceFile Goal.java 8 QRmTripleApl/Action $   +, 56S TUV WXmTripleApl/GoalmProlog/PrologTerm /Y 1Z % &'!# [\java/lang/Objectcreate((Ljava/lang/String;)LmProlog/PrologTerm;java/lang/StringcharAt(I)Cjava/lang/Character isUpperCase(C)Z*(LmTripleApl/Action;)[LmProlog/PrologTerm;?([LmProlog/PrologTerm;Ljava/util/Hashtable;)LmTripleApl/Action; createAtom((Ljava/lang/Object;)LmProlog/PrologTerm;!  `*+M*Y,/0 12  ! "#$M**Y+9:;"#%F **+BC D  &'8*L ('9* U )*/*^ +,T+ *+ ijl-./0Q+ *+ vw z-12E Y*+3456D**  78( Y(9:PK +2nmTripleApl/GoalBase.class.s > ?@ > A B CDE >F G H H IJ K LM NO P Q R S TU VW TXYZgoalListLjava/util/Vector;idLjava/lang/String;(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/GoalBase;size()Iadd(LmTripleApl/Goal;)VgoalLmTripleApl/Goal; addInFrontreset()Vselect()LmTripleApl/Goal;droptoString()Ljava/lang/String;bufferLjava/lang/StringBuffer;enLjava/util/Enumeration; SourceFile GoalBase.java #2 !"java/util/Vector  *+ [\tapljava/lang/StringBuffer goal-add: ]^ 67_ `a b/ cdgoal-add-in-front: efmTripleApl/Goal gh ij kl mno pf q+ rlmTripleApl/GoalBasejava/lang/Object addElement(Ljava/lang/Object;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;mProlog/Tracertrace:(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)VMARKinsertElementAt(Ljava/lang/Object;I)V firstElement()Ljava/lang/Object;removeElementAt(I)V elementAt(I)Ljava/lang/Object;isMark()Zelements()Ljava/util/Enumeration;java/util/Enumeration nextElementlengthhasMoreElements! !"#$%U**+*Y&34 56'()!"*+%2*&>' (),-%e)*+* Y  + &GH(I')())./0-%q1+,*+* Y  + &QRS0U'1()1./12%: *Y& [ \'  ()34%EL*:*L*** *+&de fgj;lCo'E()C./52%=L*L+**++ *&& wxyz{x)4<'=();./67%I Y L*M+,N+ + W+- W+ W,+&* $+4;D'*I()A899:;./<=PK +2()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/Plan;!(LmTripleApl/SequenceOfActions;)VB(LmTripleApl/Goal;LmTripleApl/Wff;LmTripleApl/SequenceOfActions;)VgetGoal()LmTripleApl/Goal; getActions ()LmTripleApl/SequenceOfActions;getNumberActions()I getAction(I)LmTripleApl/Action;indexIresolveC(LmTripleApl/BeliefBase;[LmProlog/PrologTerm;)[LmProlog/PrologTerm;bbLmTripleApl/BeliefBase;substsolution resolveNext()[LmProlog/PrologTerm;toString()Ljava/lang/String;bufferLjava/lang/StringBuffer; SourceFile Plan.java #$  !"   ] ^1 23_ `a ;7b cd e=java/lang/StringBufferf >? gh <- TRUE | mTripleApl/Planjava/lang/ObjectmTripleApl/SequenceOfActionssizemTripleApl/Wffcopy()LmTripleApl/Wff;mProlog/PrologTermappendListSubstA([LmProlog/PrologTerm;[LmProlog/PrologTerm;)[LmProlog/PrologTerm; nextSolutionmTripleApl/Goalappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;! !" #$%E***&3- .4' ()#*%j******+&;- .<=>?'()#+%~****+*,*-&H- .IJKL'*(),-%/*&T' ()./%/*&]' ()01%2*&f' ()23%= *&p' () 4567%+** *,*+* N-,- &{ |~'*+()+89+:";"<=%b"** L+ *+ & '"();">?%W YL+* *W+W+* *W+W+*W+& '?FR'W()O@ABCPK +2D mTripleApl/PlanBase.class. (\ ']^ \ '_ '` a bc de bf g hi j 'k l m n opq \r s t t uv wxyz { |} ~ |planListLjava/util/Vector;idLjava/lang/String;P(Ljava/lang/String;[LmTripleApl/Plan;LmTripleApl/Goal;LmTripleApl/BeliefBase;Z)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/PlanBase; planRules[LmTripleApl/Plan;goalLmTripleApl/Goal;bbLmTripleApl/BeliefBase;multipleZ setPlanList(Ljava/util/Vector;)V generatePlans>([LmTripleApl/Plan;LmTripleApl/Goal;LmTripleApl/BeliefBase;Z)ViIplanRuleLmTripleApl/Plan;varsGoal[LmProlog/PrologTerm;solutionnewPlansize()IgetPlan(I)LmTripleApl/Plan;indexadd(LmTripleApl/Plan;)Vplanremoveselect()LmTripleApl/Plan;resulttoString()Ljava/lang/String;bufferLjava/lang/StringBuffer;enLjava/util/Enumeration; SourceFile PlanBase.java - +,java/util/Vector )* >? 67 mTripleApl/Plan  - MN HI tapljava/lang/StringBufferplanbase-add: TU planbase-remove: planbase-result: NONE  I  . mTripleApl/PlanBasejava/lang/Object()VmTripleApl/Goalmatch((LmTripleApl/Goal;)[LmProlog/PrologTerm;resolveC(LmTripleApl/BeliefBase;[LmProlog/PrologTerm;)[LmProlog/PrologTerm;simplify(([LmProlog/PrologTerm;)LmTripleApl/Goal;actionsLmTripleApl/SequenceOfActions;mTripleApl/SequenceOfActions5([LmProlog/PrologTerm;)LmTripleApl/SequenceOfActions;B(LmTripleApl/Goal;LmTripleApl/Wff;LmTripleApl/SequenceOfActions;)V resolveNext()[LmProlog/PrologTerm; elementAt(I)Ljava/lang/Object; addElement(Ljava/lang/Object;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;mProlog/Tracertrace:(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)V removeElement(Ljava/lang/Object;)Zelements()Ljava/util/Enumeration;java/util/Enumeration nextElement()Ljava/lang/Object;lengthhasMoreElements()Z!'()*+, -./**+*Y*,-089 :;<1>23+,456789:;<=/>*+0 DE123)*>?// s6h+2::,:- :: Y,   : *  ::̄+0>QR UVW"[,\1`KeQhVi`lcohQrr1f s23s45s67s89s:;p@A \BCYDE,<FEKGC HI/2*0z1 23JK/@ * 01 23 LAMN/m-++*+*Y+0 ,1-23-OCPN/n.+,*+W*Y+0 -1.23.OCQR/E** L*Y+++0C1E23+SCTU/PYL* M2,! N+" +#W+$W+-W+%W,&+0. $+2;BK1*P23HVW@XY%OCZ[PK +2_~mTripleApl/PlanRanker.class. : 9 9  9 9          9  9 9 9 9 * *     * UNKNOWN_ZEROI ConstantValue UNKNOWN_FAIL COST_UNKNOWN WORTH_UNKNOWNidLjava/lang/String; operationMode costTableLjava/util/Vector; worthTable(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/PlanRanker;setCost(Ljava/lang/String;I)V actionStrcostnotFoundZacLmTripleApl/Action;ielemLmTripleApl/TableElement;getCost(LmTripleApl/Action;)Iaction(Ljava/lang/String;)IgetCosts()[Ljava/lang/String;result[Ljava/lang/String;setWorthworthgetWorth getWorths calculateCost!(LmTripleApl/SequenceOfActions;)IseqLmTripleApl/SequenceOfActions;nActionsacCostcalculateWorthacWorthcalculateUtility(LmTripleApl/Plan;)IplanLmTripleApl/Plan;goalLmTripleApl/Goal;rank)(LmTripleApl/PlanBase;)Ljava/util/Vector;planBaseLmTripleApl/PlanBase;sizeclassifiedArray utilitiesutilityappendedj storedUtilityLjava/lang/Integer;toString()Ljava/lang/String;bufferLjava/lang/StringBuffer; SourceFilePlanRanker.java J F< DEjava/util/Vector GH IHmTripleApl/Action JK mTripleApl/TableElement ^X < z J tapljava/lang/StringBufferplanranker-setcost: =  \]java/lang/Stringplanranker-setworth: f]  hi  ni pqjava/lang/Integer J  planrankerplanranker-dropping  : utility=  COSTSBASE: .   WORTHBASE: mTripleApl/PlanRankerjava/lang/Object()V elementAt(I)Ljava/lang/Object;equals(Ljava/lang/Object;)Zvalue()I(LmTripleApl/Action;I)V addElement(Ljava/lang/Object;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(I)Ljava/lang/StringBuffer;mTripleApl/AgenttraceOut:(Ljava/lang/String;Ljava/lang/String;ILjava/lang/String;)VmTripleApl/SequenceOfActions getAction(I)LmTripleApl/Action;mTripleApl/Plan getActions ()LmTripleApl/SequenceOfActions;getGoal()LmTripleApl/Goal;mTripleApl/Goal()LmTripleApl/Action;mTripleApl/PlanBasegetPlan(I)LmTripleApl/Plan;(I)VintValueinsertElementAt(Ljava/lang/Object;I)V,(Ljava/lang/Object;)Ljava/lang/StringBuffer; setPlanList(Ljava/util/Vector;)V(C)Ljava/lang/StringBuffer;(I)Ljava/lang/String;!9:;<=>?<=@A<=BC<=BDEF<GHIHJKLm%***+*Y*YM91 :;<$=N%OP%DEQRL>Y+ :6)* :  >** Y*Y+M2 FG IJ K-L3M5IDPHQYTVNHOPSET<~UV tWXqY< Z[\]L1="* N- + -*M_`ab!_/eN*1OP1^X/Y<Z[\_LQY+ M*,M o pN OPSE WX`aL1*L=* N+- S++My z{|&z/~N*1OP &bc $Y< Z[dRL>Y+ :6)* :  >** Y*Y+M2   -35DHYNHOPSEe<~UV tWXqY< Z[f]L1="* N- + -*M!/N*1OP1^X/Y<Z[f_LQY+ M*,M  N OPSE WXgaL1*L=* N+- S++M &/N*1OP &bc $Y< Z[hiLC+ =>61+!:*6 `>*> M2  #+358ANHCOPCjk>l<<b< 9Y<#WXm<niLC+ =>61+!:*6 `>*> M2  #+358ANHCOPCjk>l<<b< 9Y<#WXo<pqL-*+"#=>+$:*%Y> *+"&>dM     )N4-OP-rs $T< "e<tuvwL +'=YNY:6+(:*)6-*Y+66 7 *:  ,- -*Y+ -6  -*Y+).Y/017+-2Mf  $!,$2':(@)Q.T/Z0f1p2x34/789@FINp OPxyz< {H|HY<$rs,}<Tb~VW_< f% L^YL+3W=8* N+- W+=4W+-5W+6W*+7W+8W>;* :+ W+=4W+5W+6W*+7W+MRRTUV W,X3Y?ZFUT\[^b_g`tabcd_fgN>OPY< &Z[dRY<t(Z[PK +2cw} } mTripleApl/PlanRuleBase.class.| E FG E H I JKL EM N O O PQ R STU V WXY Z[ P\] S^ _ `abcdplanListLjava/util/Vector;idLjava/lang/String;(Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/PlanRuleBase;size()Iadd(LmTripleApl/Plan;)VplanLmTripleApl/Plan;reset()VfindPlansMatchGoal%(LmTripleApl/Goal;)[LmTripleApl/Plan;goalLmTripleApl/Goal;planBaseenLjava/util/Enumeration;subst[LmProlog/PrologTerm; planArray[LmTripleApl/Plan;toString()Ljava/lang/String;bufferLjava/lang/StringBuffer; SourceFilePlanRuleBase.java %3 #$java/util/Vector !" ,- eftapljava/lang/StringBufferplanrule-add: gh ?@i jk lmn opmTripleApl/Plan 67q rsplanrule-find-selected: ( gt) uvplanrule-find-rejected: wx yz {- .mTripleApl/PlanRuleBasejava/lang/Object addElement(Ljava/lang/Object;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;mProlog/Tracertrace:(Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Velements()Ljava/util/Enumeration;java/util/Enumeration nextElement()Ljava/lang/Object;mTripleApl/Goalmatch((LmTripleApl/Goal;)[LmProlog/PrologTerm;(I)Ljava/lang/StringBuffer;enabled(Ljava/lang/String;I)ZhasMoreElements()ZcopyInto([Ljava/lang/Object;)Vlength! !"#$%&'U**+*Y(23 45)*+#$,-'2*(=) *+./'m-++*+* Y  + (FG H,J)-*+-0123': *Y( P Q)  *+45'^YM*N-::+:9,* Y  ,  -$* Y   -l,:,(BZ\]^a!b)c4gAhGiwmn]vwx)H*+678"9:01!;< =>?@'I Y L*M+,N+ + W+- W+ W,+(* $+4;D)*I*+AAB99:01CDPK +2e}__mTripleApl/Sensor.class.\ = > ? @ A BC =D E F8 GH H IJ IK IL IM INOPidLjava/lang/String; currentBelief attachedAgentLmTripleApl/Agent;sendNotificationZ()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/Sensor; collectData()Ljava/lang/Object;register(Ljava/lang/String;)Vreset attachToAgent((Ljava/lang/String;LmTripleApl/Agent;Z)VagentsendGoalNotificationgetId()Ljava/lang/String;getAttachedAgent()LmTripleApl/Agent;rundataLjava/lang/Object; newBeliefStr newBeliefLjava/lang/StringBuffer;array[Ljava/lang/Object;iI SourceFile Sensor.java      $%java/lang/StringBuffersensor( QR QST U.V W' X' Y' Z[ 1mTripleApl/Sensorjava/util/TimerTaskappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(C)Ljava/lang/StringBuffer;java/lang/ObjecttoStringmTripleApl/Agent removeBelief addBeliefaddGoal isRunning()Z!8 ** &-!  "#$%&'()*d*+*,* ST UV!*"#+,-./* ^! "#/0/* g! "#1*LM+YN- W-" W-* W-" W+ ?+ :6(-, W-" W-2 W-" W֧!-, W-" W-+ W-" W-) W-M*A***,+*,**,* **, !pst uvw!x*y1{8|>}D~KR_f}t{!>"#23456>378A09:;()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/SequenceOfActions;copy ()LmTripleApl/SequenceOfActions;newSeqenVLjava/util/Enumeration;acCopyLmTripleApl/Action;add(LmTripleApl/Action;)V actionElement(ZLmProlog/PrologTerm;I)VnegationZterm operationNextI(ZLjava/lang/String;I)V actionStrLjava/lang/String;simplify5([LmProlog/PrologTerm;)LmTripleApl/SequenceOfActions;subst[LmProlog/PrologTerm; newActionsenacnewActlinkLast(I)V operation lastActiongetEnumeration()Ljava/util/Enumeration;size()I getAction(I)LmTripleApl/Action;indextoProlog()LmProlog/PrologTerm;elementsenActac1term1orTermseqElemsitoString(Z)Ljava/lang/String;literalSeparatorsbufferLjava/lang/StringBuffer; previousOpsaction()Ljava/lang/String; SourceFileSequenceOfActions.java 34java/util/Hashtable /0java/util/Vector -. 12mTripleApl/SequenceOfActions bZ mTripleApl/Action : F o2 HI AB AD M [\ notjava/lang/Object ormProlog/PrologTerm java/lang/StringBuffer YZ AND ,  OR  NOT ip ijjava/util/Enumeration nextElement()Ljava/lang/Object;*(Ljava/util/Hashtable;)LmTripleApl/Action; addElement(Ljava/lang/Object;)VhasMoreElements()Zsignalcreate=(Ljava/lang/String;Ljava/util/Hashtable;)LmProlog/PrologTerm;?([LmProlog/PrologTerm;Ljava/util/Hashtable;)LmTripleApl/Action; lastElement elementAt(I)Ljava/lang/Object; createClause;(Ljava/lang/Object;[Ljava/lang/Object;)LmProlog/PrologTerm;createSequenceActions+([LmProlog/PrologTerm;)LmProlog/PrologTerm;append,(Ljava/lang/String;)Ljava/lang/StringBuffer;! -./012 345Z **Y*Y*6345677  89:;5> Y LYM* N-  ,:+-+6"?@BCD*E3C<G74>896<9./0&=>* ?@AB5J**+6PQ R789C@AD5'* Y:,*6\]^_` a&b74'89'EF'G2'HIC@AJ5m,*:*6l mn7489EFKLHI G2MN5CYM Y N* :  :+,:--6& wxyz{(|1}7zA7HC89COP;/03Q9*R>(S@1T@UV5n *** M,67  89 WIX@YZ52* 67 89[\52*67 89]^5@ * 67 89 _I`a5*лYL* M,  N- -Y-S:-O,  : YS:YSYS:+ +,v+ N6-+ S-*-!*6N$DLWz7f 89b.c>$zS@DZG2W>d@ze2f2%gP"hIij5 ~"Y#M*$N6`-  :,%&'W,(&'W ,)'W*:,'W6-,+6B #6<LT[bipy7H~89~kFvlm qR>nnIRo@bKLip50*,67 89qrPK +2 TTmTripleApl/TAplCompiler.class.S b    a            !  a !    . . . - a  6 8  a a @ 6 F H H H H  H             -REMARKC ConstantValue#CTX_OUTI CTX_PROGRAMCTX_CAPABILITY CTX_PLANRULE CTX_BELIEFCTX_GOAL()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/TAplCompiler; preFormat&(Ljava/lang/String;)Ljava/lang/String;stringLjava/lang/String; getAction<(Ljava/lang/String;Ljava/util/Hashtable;)LmTripleApl/Action;varDictLjava/util/Hashtable;signalZtermLmProlog/PrologTerm;*(ZLmProlog/PrologTerm;)LmTripleApl/Action;actionLmTripleApl/Action;getSequenceOfActionsG(Ljava/lang/String;Ljava/util/Hashtable;)LmTripleApl/SequenceOfActions;resultLmTripleApl/SequenceOfActions;parserLmProlog/PrologParser;termStrgetWff9(Ljava/lang/String;Ljava/util/Hashtable;)LmTripleApl/Wff;LmTripleApl/Wff; separatorAndposPreviousSeparator posSeparatorposOrSeparator Exceptions compileBelief((Ljava/lang/String;)LmProlog/PrologTerm; compileGoal%(Ljava/lang/String;)LmTripleApl/Goal;compileCapability+(Ljava/lang/String;)LmTripleApl/Capability;posFirstBracketposSecondBracketheadStrwffposPreviousSecondBracket actionStrbodyStrbody compilePlan%(Ljava/lang/String;)LmTripleApl/Plan;goalLmTripleApl/Goal;guardWffposGoalSeparatorgoalStrposGuardSeparatorguardStr loadProlog*(LmTripleApl/Agent;Ljava/io/InputStream;)VagentLmTripleApl/Agent;streamLjava/io/InputStream;lineLmProlog/Parser;loadlineUpcontexterrorLjava/lang/Error; SourceFileTAplCompiler.java tu   .  ! "NOT #$ % &' mTripleApl/Action (SKIPmProlog/PrologTerm )* STOPTRUE mTripleApl/SequenceOfActionsmProlog/PrologParser t+ ,- ./ 0d 12 34mTripleApl/WffAND 56OR  .7 58 - 94 :java/lang/Errorjava/lang/StringBufferRInvalid Wff format. You cant enter a rule in the Wff.Use AND or OR as separators. ;< t= {| &mTripleApl/Goaljava/util/Hashtable 5>Invalid Capability format: 5? mTripleApl/Capability t@<-Invalid Plan format: tA|mTripleApl/Plan tBmProlog/Parser tC Du EF G= HIPROGRAM J!tapl Kloading LM CAPABILITIES BELIEFBASEGOALBASERULEBASE COMPILING: N= O= P= Q= EXCEPTION: RmTripleApl/TAplCompilerjava/lang/Objectjava/lang/Stringtrim()Ljava/lang/String;length()I substring(II)Ljava/lang/String;endsWith(Ljava/lang/String;)Z toUpperCaseequals(Ljava/lang/Object;)Z(I)Ljava/lang/String;create=(Ljava/lang/String;Ljava/util/Hashtable;)LmProlog/PrologTerm;toString createClause;(Ljava/lang/Object;[Ljava/lang/Object;)LmProlog/PrologTerm;(Ljava/lang/Object;)VgetTerm()LmProlog/PrologTerm;add(LmTripleApl/Action;)Vcurrentadvance()ChasNext()ZindexOf(Ljava/lang/String;)I(ZLmProlog/PrologTerm;I)V(Ljava/lang/String;I)IisRulegetArityappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(Ljava/lang/String;)V(I)I(II)ID(LmTripleApl/Wff;LmTripleApl/Action;LmTripleApl/SequenceOfActions;)V(LmProlog/PrologTerm;)VB(LmTripleApl/Goal;LmTripleApl/Wff;LmTripleApl/SequenceOfActions;)V(Ljava/io/InputStream;)VspacegetLinemTripleApl/Agent addPrologcharAt(I)C startsWithgetNametraceOut:(Ljava/lang/String;Ljava/lang/String;ILjava/lang/String;)V addCapability addBeliefaddGoal addPlanRule getMessage!abcdefgheijheklhemnheopheqrhes tuv3*w ,x yz {|v`&*K**dK* **w=>?>$Ax &}~ v7=*K** =* K*+ N- wLMP R"S+W1Xx*7}~751 v^ YM,+N- ,4- ,- ,,+,w. cd ghi+k4lDoMpWs\ux*^^VL}~ vYYMY*N?6-:: -:6, -,-W- ,w:$.47BKPWxHY}~YQH93$,~ v !Y"M>6*#$6*%$66>}* * ::+&:,'`6>*#(6*%(6 6>* :) L+&:*+**,-Y.Y/01*123,',wn /38PW_vxf }~    hhhP~_SA- v8 *4K*5w x  }~- v<*4K6Y*7w x }~- v 8Y9L*4K*{:=*}:>-Y.Y/;1*123*`:+<:6*{==*}=>-Y.Y/;1*123*`: Y>:*`:  +?: @Y AwJ %@JRU]eo  xp }~hhJv~RnUkh+~ ~  - v û8Y9L*4KMN*B$6-Y.Y/C1*123*:6Y+ DM*E(6-Y.Y/C1*123*`: +?@AB f fCDEFGHIJK 1LMNOPQR -ST z }UVWREMARKC ConstantValue#CTX_OUTI CTX_PROGRAMCTX_CAPABILITY CTX_PLANRULE CTX_BELIEFCTX_GOAL()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/TAplJavaCompiler; preFormat&(Ljava/lang/String;)Ljava/lang/String;stringLjava/lang/String; getAction<(Ljava/lang/String;Ljava/util/Hashtable;)LmTripleApl/Action;varDictLjava/util/Hashtable;signalZtermLmProlog/PrologTerm;*(ZLmProlog/PrologTerm;)LmTripleApl/Action;actionLmTripleApl/Action;getSequenceOfActionsG(Ljava/lang/String;Ljava/util/Hashtable;)LmTripleApl/SequenceOfActions;resultLmTripleApl/SequenceOfActions;parserLmProlog/PrologParser;termStrgetWff9(Ljava/lang/String;Ljava/util/Hashtable;)LmTripleApl/Wff;LmTripleApl/Wff; separatorAndposPreviousSeparator posSeparatorposOrSeparator Exceptions compileBelief((Ljava/lang/String;)LmProlog/PrologTerm; compileGoal%(Ljava/lang/String;)LmTripleApl/Goal;compileCapability+(Ljava/lang/String;)LmTripleApl/Capability;posFirstBracketposSecondBracketheadStrwffposPreviousSecondBracket actionStrbodyStrbody compilePlan%(Ljava/lang/String;)LmTripleApl/Plan;goalLmTripleApl/Goal;guardWffposGoalSeparatorgoalStrposGuardSeparatorguardStrconvert(Ljava/io/InputStream;)VstreamLjava/io/InputStream;linelineUpcontextLmProlog/Parser;nameerrorLjava/lang/Error; createHeader(Ljava/lang/String;)V createFootermain([Ljava/lang/String;)Vargs[Ljava/lang/String;fileLjava/io/FileInputStream;X SourceFileTAplJavaCompiler.java Y Z[ \] ^_. `a b[NOT cd ^e fg mTripleApl/Action h[SKIPmProlog/PrologTerm ij TRUE mTripleApl/SequenceOfActionsmProlog/PrologParser k lm no p qr stmTripleApl/WffAND uvOR nw ux fmTripleApl/Goal java/util/Hashtable uyjava/lang/Errorjava/lang/StringBufferInvalid Capability format: z{ u| mTripleApl/Capability }<-Invalid Plan format: ~|mTripleApl/Plan mProlog/Parser  [ PROGRAM a;'"  CAPABILITIES BELIEFBASEGOALBASERULEBASE  ag.addCapability("");  ag.addBelief(" ag.addGoal(" ag.addPlanRule("tapl EXCEPTION: [  package mTripleApl.test;import mTripleApl.*;/** * Code generated from PROGRAM ' * * @timestamp java/util/Date7 * @project 3APL-M: Platform for lightweight BDI agents: * Institute of Information and Computer Sciences! * University of Utrecht */public class Generated {&public static void main(String[] arg){ // create agent Agent ag = new Agent(" ag.setTrace(3);  // load knowledge // deliberate ag.deliberate();}Incorrect usage. Syntax:>java -cp taplm-j2se.jar mTripleApl.TAplJavaCompiler {FileName} java/io/FileInputStream mTripleApl/TAplJavaCompilerjava/lang/Objectjava/lang/Exceptionjava/lang/Stringtrim()Ljava/lang/String;length()I substring(II)Ljava/lang/String;endsWith(Ljava/lang/String;)Z toUpperCaseequals(Ljava/lang/Object;)Z(I)Ljava/lang/String;create=(Ljava/lang/String;Ljava/util/Hashtable;)LmProlog/PrologTerm;toString createClause;(Ljava/lang/Object;[Ljava/lang/Object;)LmProlog/PrologTerm;(Ljava/lang/Object;)VgetTerm()LmProlog/PrologTerm;add(LmTripleApl/Action;)Vcurrentadvance()ChasNext()ZindexOf(Ljava/lang/String;)I(ZLmProlog/PrologTerm;I)V(Ljava/lang/String;I)I(I)Iappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(II)ID(LmTripleApl/Wff;LmTripleApl/Action;LmTripleApl/SequenceOfActions;)V(LmProlog/PrologTerm;)VB(LmTripleApl/Goal;LmTripleApl/Wff;LmTripleApl/SequenceOfActions;)VspacegetLinecharAt(I)C startsWithjava/lang/SystemoutLjava/io/PrintStream;java/io/PrintStreamprintln getMessagemTripleApl/AgenttraceOut:(Ljava/lang/String;Ljava/lang/String;ILjava/lang/String;)Vexit(I)V!}~3*   `&*K**dK* **'()($+ & 7=*K** =* K*+ N- 67: <"=+A1B*7751 E YM,+N- ,- ,,+,& MN QRS+U4V>YC[*EE=3 YYMY*N?6-:: -:6, -,-W-,:hiklno$p.q4r7tBvKwPkW{HYYQH93$,  Y!M>6*"#6*$#66>}* * ::+%:,&`6>*"'6*$'6 6>* :( +%:,&,f /38PW_vf   P_S0 8 *)K**   0 <*)K+Y*,  0  -Y.L*)K*{/=*}/>0Y1Y234*456*`:+7:6*{8=*}8>0Y1Y234*456*`: Y9:*`:  +:: ;Y <J %@JRU]eop JvRnUk+   0  û-Y.L*)KMN*=#60Y1Y2>4*456*:+Y+ ?M*@'60Y1Y2>4*456*`: +7N*` :+:: AY,- BN :F N \flf F}f]- 0 >CY*D:EWFGL+M+H#y,IJx+ :K d:L Md:LJ MJ  :N,OJ>,PJ>,QJ>,RJ>$S1Y2T4+4U45Vr$S1Y2W4+4U45VL$S1Y2X4+4U45V&!S1Y2Y4+4U45V':Z(1Y2[4\45]F^h_0**+ ,-/0 1%326;7F8Z9i;}<>?ACDFGIJLMORSUV8X=Y^[c\^_`ad/ghH % Fg"0 GղS`VSaVSbVS1Y2c4*4L45VSdVS1Y2e4fYgh45VSiVSjVSkVSdVSlVSmVSnVSoVS1Y2p4*4U45VSqVSrSsVNopqr6s>t`uhvpwxxyz{|}~  S'SrStVSuVSvVSvV& 0*SwVSxVSryzY*2{L+|" +/0+PK +2HKmTripleApl/TableElement.class.   actionLmTripleApl/Action;valueI(LmTripleApl/Action;I)VCodeLineNumberTableLocalVariableTablethisLmTripleApl/TableElement;ac SourceFilePlanRanker.java    mTripleApl/TableElementjava/lang/Object()V    Y**+* st uv  PK +2Ϻ mTripleApl/Wff.class._ => = ? @ A BC = D E F GH IJ KL KM NOactionsLmTripleApl/SequenceOfActions; prologQueryLmProlog/PrologQuery;()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/Wff;(ZLmProlog/PrologTerm;)VnegationZvalueLmProlog/PrologTerm;(ZLjava/lang/String;)VLjava/lang/String;copy()LmTripleApl/Wff;newWffadd(IZLmProlog/PrologTerm;)VoperatorIterm(IZLjava/lang/String;)V(ZLmProlog/PrologTerm;I)V(ZLjava/lang/String;I)VsolutionC(LmTripleApl/BeliefBase;[LmProlog/PrologTerm;)[LmProlog/PrologTerm;bbLmTripleApl/BeliefBase;subst[LmProlog/PrologTerm; queryTerm nextSolution()[LmProlog/PrologTerm;toString()Ljava/lang/String; SourceFileWff.java mTripleApl/SequenceOfActions   (. (/mTripleApl/Wff %P QR STU VWX YZ[ 08 \] 9^java/lang/Object ()LmTripleApl/SequenceOfActions;linkLast(I)VtoProlog()LmProlog/PrologTerm;mProlog/PrologTermcreateSimplified?(LmProlog/PrologTerm;[LmProlog/PrologTerm;)LmProlog/PrologTerm;mTripleApl/BeliefBase createQuery+(LmProlog/PrologTerm;)LmProlog/PrologQuery;mProlog/PrologQuerypossibleMoreSolutions()Z(Z)Ljava/lang/String;! K**Y*0*+1 m**Y**,9*+:;  !"#m**Y**,C*+DE  !$%&QY L+* +MNO '()c* *-Z[\**+ ,"(-c* *-fgh**+ !$(.W *, r s*    ," *+(/W *, } ~*    !$ *+01s* N-, N*+-**23456"78Q** * 9:3 *  ;? @ ABC D E F GHI 9 JK L M NOP QR STUVWXY NZ N[ M N\]^()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/pac/PacTest001;main([Ljava/lang/String;)Vargs[Ljava/lang/String; numberLevelsI showAgentZagLmTripleApl/Agent;statsLjava/util/Hashtable; SourceFilePacTest001.java $%_ `amTripleApl/Agentpac $b{} Print(X) {} cbd efplan1 gb h% ijk lmjava/lang/StringBuffer no, np qrs tb runningtimeu vw nx prologtime deliberations unifications planrulesbeliefsmemused ty z% zbmTripleApl/pac/PacTest001java/lang/Objectjava/lang/IntegerparseInt(Ljava/lang/String;)I(Ljava/lang/String;)V addCapabilitymTripleApl/pac/PlanRuleBaseTreeload*(LmTripleApl/Agent;IIILjava/lang/String;)VaddGoal deliberate getStatistics()Ljava/util/Hashtable;java/lang/SystemoutLjava/io/PrintStream;append(I)Ljava/lang/StringBuffer;,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/io/PrintStreamprintjava/util/Hashtableget&(Ljava/lang/Object;)Ljava/lang/Object;,(Ljava/lang/Object;)Ljava/lang/StringBuffer;(Ljava/lang/Object;)Vprintln!"#$%&3*' <( )* +,&=<*=* *2<YN--- - - : Y Y Y Y Y Y Y    - !'^$#*$2%8(<+B,[-z./0123"4(7,829<;(4=-.;/0/12$34B5678PK +2WIRmTripleApl/pac/PacTest002.class.t "678 9 :; <= >? @ A B CDE 6F GH IJ K L MNOPQRST MU MV L MWXY()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/pac/PacTest002;main([Ljava/lang/String;)Vargs[Ljava/lang/String;agLmTripleApl/DeliberativeAgent;iIstatsLjava/util/Hashtable; SourceFilePacTest002.java #$mTripleApl/DeliberativeAgentpac #Z [\{} Print(X) {} ]Zplan1^ _` aZ b$ cde fgjava/lang/StringBuffer runningtimeh ij kl, km nop qZ prologtime deliberations unifications planrulesbeliefsmemused qr s$ sZmTripleApl/pac/PacTest002java/lang/Object(Ljava/lang/String;)VsetTrace(I)V addCapabilitymTripleApl/pac/PlanRuleBaseTreeload*(LmTripleApl/Agent;IIILjava/lang/String;)VaddGoal deliberate getStatistics()Ljava/util/Hashtable;java/lang/SystemoutLjava/io/PrintStream;java/util/Hashtableget&(Ljava/lang/Object;)Ljava/lang/Object;append,(Ljava/lang/Object;)Ljava/lang/StringBuffer;,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/io/PrintStreamprint(Ljava/lang/Object;)Vprintln!!"#$%3*&  ,' () *+%YL+W+=+ `='+ + + N Y- Y- Y- Y- Y- Y- -   + &R $17;@^ |!"#$%&) *+'*,-  ./01@2345PK +25iimTripleApl/pac/PacTest003.class.P '() *+ ,- . / 01 23 45 672 89:;()VCodeLineNumberTableLocalVariableTablethisLmTripleApl/pac/PacTest003;main([Ljava/lang/String;)Vargs[Ljava/lang/String;agLmTripleApl/Agent;iI Exceptions< SourceFilePacTest003.java mTripleApl/Agentiyad =resolve <- TRUE | resolve. >=resolve ?= @AB CD EFmemusedG HIJ KLM NOmTripleApl/pac/PacTest003java/lang/Objectjava/lang/Exception(Ljava/lang/String;)V addPlanRuleaddGoaldeliberationStep()Zjava/lang/SystemoutLjava/io/PrintStream; getStatistics()Ljava/util/Hashtable;java/util/Hashtableget&(Ljava/lang/Object;)Ljava/lang/Object;java/io/PrintStreamprintln(Ljava/lang/Object;)Vjava/lang/Threadsleep(J)V!3* "  @YL++= + W +  ߱&   /5?! @ 6 (!"#$%&PK +2ș$mTripleApl/pac/PjavaPacTest001.class. 'C DEFG HI J KLM N OPQ RS T UV C WX Y Z [\ ]^ _`abcde f gh $ijk()VCodeLineNumberTableLocalVariableTablethis LmTripleApl/pac/PjavaPacTest001;main([Ljava/lang/String;)Vargs[Ljava/lang/String; numberLevelsI showAgentZagLmTripleApl/Agent;fileLjava/io/FileOutputStream;outLjava/io/PrintStream;statsLjava/util/Hashtable;exLjava/lang/Exception; SourceFilePjavaPacTest001.java ()l mnmTripleApl/Agentpac (o{} Print(X) {} poq rsplan1 to u)java/io/FileOutputStreampac.txt (vjava/io/PrintStream (w xyjava/lang/StringBuffer z{, z| }~ o runningtime z prologtime deliberations unifications planrulesbeliefsmemused  )java/lang/Exception )mTripleApl/pac/PjavaPacTest001java/lang/Objectjava/lang/IntegerparseInt(Ljava/lang/String;)I(Ljava/lang/String;)V addCapabilitymTripleApl/pac/PlanRuleBaseTreeload*(LmTripleApl/Agent;IIILjava/lang/String;)VaddGoal deliberate(Ljava/lang/String;Z)V(Ljava/io/OutputStream;)V getStatistics()Ljava/util/Hashtable;append(I)Ljava/lang/StringBuffer;,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;printjava/util/Hashtableget&(Ljava/lang/Object;)Ljava/lang/Object;,(Ljava/lang/Object;)Ljava/lang/StringBuffer;(Ljava/lang/Object;)VprintlnprintStackTrace!&'()*3*+ ?, -. /0* D<*=* *2<YN--- - Y :Y:-:YYYYYYY !"# :%<69$+j$#*$2%8(<,H-S/Y0q123456%718699:;;@<C>,RD12B34656$ 78H9:S;<Y=>;?@ABPK +2U11%mTripleApl/pac/PlanRuleBaseTree.class.L 4 5 6 78 40 9 :;< = >?@ABC()VCodeLineNumberTableLocalVariableTablethis!LmTripleApl/pac/PlanRuleBaseTree;power(II)InumberIresulticalculateBaseNumbernumberChildrenleveldeltaload(LmTripleApl/Agent;I)VagLmTripleApl/Agent; numberLevels*(LmTripleApl/Agent;IIILjava/lang/String;)V startCounterbasePlanLjava/lang/String;thisBaseNumbernextBaseNumber levelCounternodeplancounter SourceFilePlanRuleBaseTree.java  #(  java/lang/StringBuffer DE DF<- TRUE | Print() GHI JK <- TRUE |, mTripleApl/pac/PlanRuleBaseTreejava/lang/Objectappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;(I)Ljava/lang/StringBuffer;toString()Ljava/lang/String;mTripleApl/Agent addPlanRule(Ljava/lang/String;)V!3* m  m=> h="#$ #&* =>6`>h=012 34264 !" #$A * AB %& ' #( 66`666 1*Y `   `   Y ` : Y  : 6 N` dh` `6 Y  :  Y  :  *  `-NOPQR T'W-X[]}^`abcd`gTOk %& ')*+!,- .$/ }s0+ Z 71 23PK +2META-INF/MANIFEST.MFPK +2sKKKmProlog/ChoicePoint.classPK +2VjmProlog/Parser.classPK +24_n;$;$mProlog/PrologEngine.classPK +2k77gAmProlog/PrologParser.classPK +2HvR!R![mProlog/PrologQuery.classPK +2i:i:_}mProlog/PrologTerm.classPK +2n~G G mProlog/PrologTermList.classPK +2-A mProlog/Tracer.classPK +2sB99rmTripleApl/Action.classPK +2]"mTripleApl/ActuatorInterface.classPK +2˴;3KK mTripleApl/Agent.classPK +2Nq q +*mTripleApl/BeliefBase.classPK +2_,,7mTripleApl/Capability.classPK +2 :>mTripleApl/CapabilityBase.classPK +2sa?ZZ#4EmTripleApl/CapabilityExternal.classPK +2%GmTripleApl/CommunicationMessage.classPK +27+/OmTripleApl/CommunicationOutboundInterface.classPK +29k:++8PmTripleApl/Communicator.classPK +2(? "`mTripleApl/DeliberativeAgent.classPK +200kmTripleApl/Goal.classPK +2n tmTripleApl/GoalBase.classPK +2