e!hdZddlmZddlZddlZddlmZddlmZddl m Z ddl m Z ddl mZdd lmZdd lmZej$Gd d Zy) z2 ``experta engine`` represents ``CLIPS modules`` )chainN)abstract)Agenda InitialFact)FactList)Rule)DefFacts)watchersceZdZdZddlmZddlmZ dZ e dZ dZ dZed d Zd Zd ZdZdZdZedfdZdZdZdZdZy)KnowledgeEngineag This represents a clips' ``module``, wich is an ``inference engine`` holding a set of ``rules`` (as :obj:`experta.rule.Rule` objects), an ``agenda`` (as :obj:`experta.agenda.Agenda` object) and a ``fact-list`` (as :obj:`experta.factlist.FactList` objects) This could be considered, when inherited from, as the ``knowlege-base``. r) ReteMatcher) DepthStrategycd|_t|_t|_t |j tr;t|j tjr|j ||_ n tdt |jtr:t|jtjr|j|_ytd)NFz)__matcher__ must be a subclass of Matcherz+__strategy__ must be a subclass of Strategy)runningrfactsragenda isinstance __matcher__type issubclassrMatchermatcher TypeError __strategy__Strategystrategyselfs V/var/www/html/diagnosisapp-backend/venv/lib/python3.12/site-packages/experta/engine.py__init__zKnowledgeEngine.__init__#s Z h t'' .t//1A1AB++D1DLGH H t(($ /t00(2C2CD --/DMIJ Jc+K|jD]B\}}|jdr&|ddjrt|dd|f=||fDyw)N_)items startswith isnumericint) modifierskvs r _get_real_modifiersz#KnowledgeEngine._get_real_modifiers4sXOO% DAq||C QqrU__%61QR5z1o%!f  sAAc |j||j}|jt|jdi||j |S)a Modifies a fact. Facts are inmutable in Clips, thus, as documented in clips reference manual, this retracts a fact and then re-declares it `modifiers` must be a Mapping object containing keys and values to be changed. To allow modifying positional facts, the user can pass a string containing the symbol "_" followed by the numeric index (starting with 0). Ex:: >>> ke.modify(my_fact, _0="hello", _1="world", other_key="!") )retractcopyupdatedictr-declare)r declared_factr*newfacts r modifyzKnowledgeEngine.modify<sO$ ]#$$&t4D44AyABC||G$$r"c |j}|jt|jdi||j |S)z'Create a new fact from an existing one.r/)r1r2r3r-r4)r template_factr*r6s r duplicatezKnowledgeEngine.duplicateUsC $$&t4D44AyABC||G$$r"orderc#$KtywNrrs r _declare_initial_factz%KnowledgeEngine._declare_initial_fact]smsc#vKtj|D]\}}t||s||_|ywr?)inspect getmembersrke)r wanted_typer$objs r _get_by_typezKnowledgeEngine._get_by_typeas:((. FAs#{+  s(99c>t|jtS)zReturn the existing rules.)listrGr rs r get_ruleszKnowledgeEngine.get_rulesgsD%%d+,,r"cDt|jtdS)z9Return the existing deffacts sorted by the internal orderc|jSr?r<)ds r z.KnowledgeEngine.get_deffacts..ms r")key)sortedrGr rs r get_deffactszKnowledgeEngine.get_deffactsksd''17HIIr"c\|jj|jjS)z$ Return activations )rchangesrrs r get_activationszKnowledgeEngine.get_activationsos%$t||##TZZ%7%788r"c|jj||js;|j\}}|jj |j ||yy)zr Retracts a specific fact, using its index .. note:: This updates the agenda N)rr0rrTr update_agendar)ridx_or_declared_factaddedremoveds r r0zKnowledgeEngine.retractusO /0||!113NE7 MM ' ' UG Dr"infc d|_d}d}|dkDr|jr|j\}}|jj|j||t j ddr}t|jjD][\}}t jjd||jjdjd|jD]|jj}| d |_y|d z}|d z }t j j#d ||jjdjd |jD|j|fi|j$j'D cic]\}} |j)d s|| c} }|dkDr|jrd |_ycc} }w)z, Execute agenda activations TNrAGENDADEBUGz %d: %r %rz, c32K|]}t|ywr?str.0fs r z&KnowledgeEngine.run..s!.s?c!f?re__F)rrTrrVrr worth enumerate activationsr\debugrule__name__joinrget_nextRULESinfocontextr&r') rsteps activation executionrXrYidxactr+r,s r runzKnowledgeEngine.runs    aiDLL!113NE7 MM ' ' UG D~~h0 )$++*A*A B>HCOO))#)) !<#))!<< >>--/J!"  Q ##$OO,,II?j.>.>?? A  3$.#5#5#;#;#=21all40!t237aiDLLB 2sGcd|_y)NF)rrs r haltzKnowledgeEngine.halts  r"c nt|_t|_|jj g}|j D]}tj|}td|jjDsat|jj}|j|di|jDcic] \}}||vr||c}}|j|di||j t#j$|d|_ycc}}w)ab Performs a reset as per CLIPS behaviour (resets the agenda and factlist and declares InitialFact()) Any keyword argument passed to `reset` will be passed to @DefFacts which have those arguments on their signature. .. note:: If persistent facts have been added, they'll be re-declared. c3jK|]+}|jtjjk(-ywr?)kindrB Parameter VAR_KEYWORD)rbps r rdz(KnowledgeEngine.reset..s-?vv!2!2!>!>>?s13FNr/)rrrrrresetrQrB signatureany parametersvaluessetkeysappendr&_KnowledgeEngine__declarer from_iterabler)rkwargsdeffactsdeffactrargsr+r,s r rzKnowledgeEngine.resetsh Z  ((* 3G))'2I? ) 4 4 ; ; =??9//4467. -1"#t) !!t-./ 1& 12 3 ++H56 -sD1cNtd|Dr tdtd|Dr tdd}|D]}|jj |}|j s:|j \}}|jj|j|||S)zT Internal declaration method. Used for ``declare`` and ``deffacts`` c3<K|]}|jywr?)has_field_constraintsras r rdz,KnowledgeEngine.__declare..s8Qq&&(8z2Declared facts cannot contain conditional elementsc3<K|]}|jywr?)has_nested_accessorras r rdz,KnowledgeEngine.__declare..s8Q&&(8rz;Cannot declare facts containing double underscores as keys.N) rrKeyErrorrr4rrTrrVr)rr last_insertedfactrXrYs r __declarezKnowledgeEngine.__declares 8%8 8DF F 8%8 8MO O!M 9 $ 2 24 8  9<rsD !$%%^&^&r"