eyelang 0.1.0

package/examples/output/peasant.pl

@@ -0,0 +1,10 @@
+prod([3, 0], 0).
+prod([5, 6], 30).
+prod([238, 13], 3094).
+prod([8367238, 27133], 227028268654).
+prod([62713345408367238, 40836723862713345], 2561007568948454773873964883391110).
+prod([4083672386271334562713345408367238, 4083672386271334562713345408367238], 16676380158395015918313370200581208707756668987398133546021071748644).
+pow([3, 0], 1).
+pow([5, 6], 15625).
+pow([238, 13], 7861409907565911395902147452928).
+pow([8367238, 2713], 9232045607212052006795246694645720931277949466279701628177907740283538142209103234039439973517187737529281630849057170752784305720492044921879310570197821189938111046880741611757099186209515996545574560595569398421819439327724593883790330554198464119958380253077594176476747486483990058232772330391614523765695590076933329094315903926160289597769818256424419293451613076627508324466360726612186400591843593021231178672747824182045603899165848423037855152265845482950837492362915381074102657811860380193315088111381992883369163984493249061979770577658980276182984413366453224501926276668558570391059133297007461733806379970178451177729443654591147548896171773534035466913353947716920292373556746770210709597354796556198245785294464841029427784489194700756195161952011832934270934818959887313446096063911307313403409406593074480469018845582204848718220812149409978732541417363909693033995650385298289888835192900522879993196481107895143038431062207845467671409292879939993495775794191338994049129251032889407078950814229876697652230493052574335511698335543098672124864569018630506760295111122506445140314839898755383719270725319655624324653729144440668885419886163313402113032552728510164639345415361410433532741555249023965973869142391370132857395337987963613790104142070052402177691750836796141362723112626981402690615399678911240733885693719987133461963485799194537978265131294945084051710190782912037523869473566324564067662402020127129653928235567374270957792629843988690452449502040513392238182577391145569545326772214717486136487306194746864658381436701646272673672612457633580843635990846893525988282282093466920839358262292698962588093070552224508091588014202322431888011997254541356185442670480336382675292780234442420998836454160687713951669966694067789082527623789540493325741322401179285307729734864003865620327018038144251278427904425993839963431858469683642579025539687658707527821874613626906565574468413670320414902322069802809289982509353199027263860384935123762033392474479252822920162146066431070995077991756163501940441486598169760977714217023603171643228693290613825091933153470402008614288027113249817571790573049280856169793563989538663092879420421180211097823999933496099083547524003457897046070188962227737811303557067887562539653015054200031581930142158758651682706407760565111566395197167436716778331449745461773213880175118958247071711120226977343115076634486056288862634416836057993090542460810615795180465257137099539487302977231252633410611087234713363193018194431064477385596193687914609860899819646154234541258374587766469746031309924563268050973709826678072635114137624052372074465835606867867641797613495101553851949062461284718976103071160859786521073486285824956537559335900453036172621923823281897437885918855447442508438811473571004532093737707368850492372158447435664386797009250629905181864516221477057654887607999031943119842220983502364425918535930932664096792924717485823463880563955006251963236229972069382372530859518664887435914735765392364477866917165545798262116641859167876216687936473067421260307308596961793501475146026893251578236059157662198964612144962622999033073992589639544861589580728141516172243800932285688023006999709470217245053378527780724182120910815070866561570949149512494544474202311521764652847613978356283086522899196049238234232353079532310352784234713348573837365057785082577737849218338308467006198602741702149614256721858207668616400361542981566121180010834914431005593156346680447089258659759642006714652445084021218621296680574425003383945892723537234404530084127417129328380262998091118233383126636734301103743003544023439491357785360765916514348826561168250634462186776327578612443050776385746602790785065565625074579032786456011384842603179920952372535766477972557986594260611648084254254973781435906194480015806158205216234419475859657349754201310444279980455201256867208871727394205195927703689583558400125728042058741958776175643909467804052305534511425258126703252211055068005363074326091132645600706591357200350625778365167382833103099508306870067751436708101863531971664207525023545990896709941518325240079664478141353979810713442971539906056744019857418275613892197653313375382754389249315791071450892281011882774320476855407219852116307687771792421911542465087937079448650771626507721547711336762848560509944336367174727959905725047971088214697176796039849687939168565905716614497026641794708224515081332518836736718734272344833370995389033846468551411646577526869132060204040248528016581187098895732644486362322344896226958305925356505796032186058898302694907839960498775089055174750947819914995480730235238347194297192231152299975869624481607192869316127058997700595028994126448504702063114456502903007909266030457673675252210035614599224309622846991456440619848418950320835523122242548983717186702818931632480126600964438729449330425789858190471525892456712359896837117779158807190964727353763206579340379538739340802368199112382926337902711252178657832880738147015729833968615655206820274165657254653390581247258635568333632426810478450420392964072477715425100724376075302865873003496192079652858832726646877919495221020140924637885038196880004845448948760985845164022914491368239592214952043381395434656064547651610637595803306562912531014781573817389722172671719163835359730465784413571435031796035901679842830750408489614367744052739839440947633806376868192573379596445350919637463198732129143563288395253217620348191123621886805143501200536407681391600424097869484448481917153534987888930165734468156327323080141369378990449647609640502564317864413184425795276685084668951548107595882065146877803271684850374309412028294371208572428286827962622658906157579748000820715989372369572434065280362195582281893576951300643504694469969140655738124415880837950788925726406198844131042956608278997619519468516612998238813876435268822514759867836497176632617348780011906302523927924878522899168890212776448145530620418479470113951173371674914615780662301657139236088162600380361306783481603939408842255609933093699389300902560129141423126983893804814013786759932396874638842922139772597177764994343155837800181835648736504589347951342890430132604158202832913017130110276462823182377110373232860779188830226082483373271262070644422794293142839134156243621695491894526749882266106569612334133451641152245411627537901959693282771936966371603154063273751806507963066779141416146179788392778544181271524425809348668223878748380751676686842073539448509706568361017798144420108391278161685517117042692159852119705266946435179666704282725679953329003411496321034542496237598892609036723708215903254351646595992387434094106029974453502635304828550195988020334109848829338936059421457602785403605738695731413192664698795339910723770359104783338396650713562930237165713352852933031364201490836291652695840324383358851345947200861247494781634271602663238185226011528457766966757472328207393117660439768743275520780457354963314402783137581887151714302675427144872457135294959074989839362823280658438307245300024005198496934860891625815588262458462412036777167305084084441937586905199484726977287932935290016316496797364174018606441229120520578833390869277507092449881231708000689958250584468393257236959660603929861031385644907266926646627141645198872774771045880316984592752093208323212724685977968940408644986807835531323622606632004554785437942980330235986226959685485513753147267037636564135073751858213062127337573752625245934898155228194585723654879581467855135204200422740585301078730492966003390522542271744301554392235985282014957623541515202775076289354244057493736657439694929667618560916049568160869306184308987905818394367132458603406310128086069384240734722256488469370368464792081841884558991639164135499845403833551711948956689171438665043328866440505241104741712762062396496344129747898994931659989791470078669318601495080462518413591906969554298443373487025364697391161131507149223029431293737863281210665185481556491149286177497436169458736758568306643586698817958994173061773761826362940194776234330718231450825931969422078146817997485554458510156731403606078336779183413459099438517316651455863716144285822855365655253272340099182509640728400186182180386347540063563620327603569440409652598157127675204412261676855766391638740827818278825395877404093667464202668228286567520662217591282398964724397579102837139978437336480209987586832077896507438720640945341599374231857638645400259668646520831792981033802824467670509078225891396339621538125130754036100825685520007669511330457576183419809140675426736238536148428774372977687493453602292557291553360333291744784377227615036386890766859291167320554532596612430168498152052042760513780975410234536969871199857108220510060279257221963943284492100771660996786169402084094588755519294969504728086903114208096243679815184506455979783966809280469534326955292349607481693325330169048586011253515820995296292015824019421948397731055746966569540669462124766972266046631445298132087740309795367888437084370655348433881077712541951112605341145751568496665195320424043217718250182246013436733815092223288740027737618507093474925387448386269433213468265113693267120840397561272881509219164454955353542073756267041510311999195846457170275010632988113652089113680350385255749579636027461979755116384360391898332125732109221255895726565300634189768944611805272868825608946791566917640854339549429136796841935431631646639673253333111903804505781240621228997045113471677126161987864042165853569298815799264217175249477055241694927185500465814697418373783731711285421398206834571270519870455314193073694038548628714045818896559566352184432393309805210033129551525077029125803923233052529137897512135780750026335773328310023485988784267840304078124650554950463702922449598155949451847174289306175282261600985847050667740150832615907898149210612742055271697654222013473892765727373945974666224878494485300169886761791972431144989307312682159507593525880949223538375003197260168096561455302129228184524671480842058343603942948191475565356131529230189018183171499240131846463217264963531315560760264267960465817683692987954259172163904027575258250080987047195626487889115545984268054509707240807225016859433320402964897231085684514639471476669042878997617840144863047152058655619730522819779528371769672066077368094455294510912530848633599242236832402399826059135561269578411778566840843214006781963673638281315740515861933414690145203058081944772795887541137725796674303449007453909472694610701523305037225556759795716604225960534825551177082491345694180971182693230986719589257554495426032757124605606187476556307486975264449346744722403313295393641574099412009513010672238754222576333273155084845351650958207783871170754198705546174714151203793009475890888853429819858387206790156222412664400830353275548391817864679747022363704903761460537131337660340746198535949147835260181475464507898693321594591327311144444369597587552907247737666841685551185235338321990609666777716727170387123282113156402471327293272454658490900956637104277503284060459335612888018825476564054845877744286808999172445545611628519950147127154046043674028249275783327071274193529816176429506935032311650718610092085875443903280595312660495403842249133031446191562483390936000195289077949592663940210833456822255202277991786553760300836853031815529659401901682556495047804839898973475729887010071174515103660930807024738046893913114724575300298790979978352282963948435527839090683625060184386302485712216293158126264228028910505983203295811751635907557577430370928280072081835631632920614539375103209383733627115617105566340456417118569202108888258916280303936317567655261354860126775463060075541542627676783292446532102582915716172077428949920437746319661944155887256483313190408938846939945331502042591525882663421149367201043585575214354388196521661536471912889850723298503941165196908683901209242053731162464346994917740744139614413723003309738319947990962469167737045204155392611193525521425426016450080242335234066883156448431793163579581428292130911977501010533562700359870297222321520499810781988980427863716359895578528332458732096321894119396238729268860306407882030869109838579260751323260166783964222237783482594723108387089874437627419730642129510692763999550658852752260497693990106358537481168577603762422120894395163341979318001231893148596612122448800472364152360782513637632253256588301482205436462594601830324132211150526625025075205452365790444690491557602002814592445745673174732487402525217996052886641201949036510781238243458523456625477352280267127722245593841203920715608323005958564673704721302531512848964648789339279014635067502188129046021721945882392848492073572882374425758855575190298322349161601942841365242151889703701205865254072007466299704843951887406321996346219991922008918546479651301742580820847583404594451294192273374699760358568985513379415080946845864890477469320128948450385367986463269802991107368620485808926816715422223930689893987576410996377933428149868310379903492271047854169639045038599531763247350938319646344948157859494370816845079293102288575576188229091052330311564100250168710473469012692368361328988116289106921618682257179466649483706380881878014992970223154301585574993624561902404107869064053698016031255189937791438093828315135648995872129904042268400562113284844327854575988206730113481074073819245784134353681327577931922241812952186967974468425725410408007655976849188205971433308713217116821812283201782298628506465209361867971229280777230032674683455757737234795947205328515416099216126062764224431570469504357900045054784028213379557174062980337049225937948617432346751391068157626753581575862697096359938497232945925377863030002392452878273987998001679182131017736083672935631714166745625749789915661189743239934524515609803389418647452112156392316786914853242526675002733869812239552632861187470506140513550690740652682308035915412580501160394839857630652114528152980759653553767053560529836722177296241210230820340818517060573617218530940789305753492627545740585169103421499266888095682329356747509589725051040624688433434138027942555463572603089853184586466657684901478533411603490475460182157426864388557475280018810050405773405284304845195354685540824855390079342126605434777429339598101562900357538501668057044597732947870477656967256437179464367324885279934350255026655332693671341415555222136497930287314793876856094608702531970136965327688584221888939974908109036632758724007972252068428868882496292332342265729456027882657309962092603092817694564562799969190597522832497169741515133378064755633436657931757108842040683811401568832941770609803400717956272567431981923722069188461891542285750307204904205204414534133785627660992081008607377652413199453771213687144439399357965275974539439729024029923364299977081951045588934824272589840384237051965927135966346742605831797076960724519840989469632137752625019956398379858048442741065819650839225477029639404739080700848378668024211472558587104406377105165234406235655896915285098449328423987207371129003246605341959023555788925246834308178128511779072902188655543159852244614580673994047932199092039581951500050042209914496648719140313411424658305091397945968029374793145391827456995913497817493208695899986437060186653504745368970106019243853008256171595987541471164141131765628658340521964084670003467509829797830873372254532710791068666101602921237251076342015595763098308359413073050761536949465266193220477631636129085931950110086794879343925310678333950796405991644884566758341305442899837240339816537573053728589644455509243741168558693421968846045016026576756310231469702455949817287094552275168085555991703097743274053058986635181606036056941045341364481954941338841321463898224976675055210251281115745120511247800209782900796271700165710725353538799726041022603363855091476472472584794695043164671428124956251880247702022593515077402393380101122578294371022042538901051648450183653581797852707782706053991197443174313613798201697137431862909174710977762208616264343601946195795533467556520982795644656805390031425064136707768124137598685756109743909131570570625237827187899815223047624583946948704930436135987496683336383905173035135092991586549655150636295066112227452863013464469246372204722659087694886036877930141495847960368310337594056222729549115599626742144816617554216853506441922474866086400772046001767381807059455608634336194673557511943163416412932537145606213869113397725295956094899357905022083036578844548691919819194084265323512068227158917151576058650700959663928454622927704229278946151328403516655776563626695274064109540763766529847398733749130232173007794186235615933534153794911087504938425864784972002146646376889615055946215955430673729205426023219974269024391413146677467875540368403104385904883965416968221149377679051114905218443586131302536287634772472335280384205713654950713553406925266316508192499868529781311094253634584832514624674760265552984465233516234175313286015477141188438629539171582456376661212689012044665076206925086776150572857684631540669581299917360154178278343422943038298950897341274826595152935691846511758269411890996528390343302452602342273324817900647081421231101597684576113526942207533306224207713154444515779137696713976838894825989985045601291279990921216976118301132045844199635180267794798961815961564777076198912930637484831178846059676415122815265998785179998511147672916641430373708027322847542474922324773136505243234683544277823550837588695028434490229391566031712040113496013017139016182929253609799607296768923108053225283314856415804581537366769520544554858176009456915283566484339276992576228490292183439180209653842930937712475373726903054916886368160347935539828396847834637597635732592578896703600708443821672942396368888197804253342683881577369460648185754807570553026032306461882051924328067921155672392352776429486447417812049905988354935979287938354498050980178898454612634297480410019771423114771799337790074439694078154311051591007362971127515461161513978337302646565055933088649199441896577538606889090972266492412029483856435200741249268589843748997840321708130999210196782674992883798060672385292747263195983610957820412510503741035770773741007849440583251815137511130163803292321126272676509546286067892939190782352342295023338594623143407833243240877140958037336091157366728593341355339980514411104664672883375438193953880661432744764665482407644500717175205659369888335431044744424104859129248895994067991101858383256657024416739404343121823561227714684788372714965963238306138949221250862728496353526572282722656161290216632774117672205113189055147421681029898962453381597132514058906911135757112480673841607490058723637572175910618991844724659518152552228063046646183576521767332477560746893369412649765846639943581405674445617241157425525948915925607413819322279297752781654925328617544641010595728087334395065943588258730783733293378439767792368150857990012928).

package/examples/output/pendulum-period.pl

@@ -0,0 +1,4 @@
+period_s(pendulum1, 2.0).
+periodError_s(pendulum1, 0.0).
+status(pendulum1, within_period_tolerance).
+reason(pendulum1, "small-angle period matches the two-second target").

package/examples/output/polynomial.pl

@@ -0,0 +1,14 @@
+root(real_quartic, [1, 0]).
+root(real_quartic, [2, 0]).
+root(real_quartic, [3, 0]).
+root(real_quartic, [4, 0]).
+root(complex_quartic, [0, 1]).
+root(complex_quartic, [1, 1]).
+root(complex_quartic, [3, 2]).
+root(complex_quartic, [5, 1]).
+reconstructedPolynomial(real_quartic, [[1, 0], [-10, 0], [35, 0], [-50, 0], [24, 0]]).
+reconstructedPolynomial(complex_quartic, [[1, 0], [-9, -5], [14, 33], [24, -44], [-26, 0]]).
+reconstructionMatches(real_quartic, true).
+reconstructionMatches(complex_quartic, true).
+allRootsVerified(real_quartic, true).
+allRootsVerified(complex_quartic, true).

package/examples/output/proof-contrapositive.pl

@@ -0,0 +1,3 @@
+refutes(proof1, raining).
+method(proof1, contrapositive).
+reason(proof1, "if rain implies wet ground and the ground is not wet, then it is not raining").

package/examples/output/quadratic-formula.pl

@@ -0,0 +1,6 @@
+discriminant(eq1, 1.0).
+discriminant(eq2, 64.0).
+root(eq1, 3.0).
+root(eq2, 3.0).
+root(eq1, 2.0).
+root(eq2, -1.0).

package/examples/output/radioactive-decay.pl

@@ -0,0 +1,5 @@
+halfLivesElapsed(iodine_sample, 2.0).
+remainingActivity_Bq(iodine_sample, 20.0).
+decayedActivity_Bq(iodine_sample, 60.0).
+status(iodine_sample, low_activity).
+reason(iodine_sample, "two half-lives leave one quarter of the initial activity").

package/examples/output/reusable-builtins.pl

@@ -0,0 +1,5 @@
+report(normalized_name, "ada lovelace").
+report(unique_tags, ["logic", "math", "programming"]).
+report(tag_label, "logic / math / programming").
+report(score_summary, summary(42, 21, 6.4807406984078604)).
+report(window, [13, 21]).

package/examples/output/riemann-hypothesis.pl

@@ -0,0 +1,12 @@
+rh(scope, finite_catalog_only).
+rh(caveat, "finite catalogue evidence only; this is not a proof of RH").
+rh(status, no_counterexample_in_catalog).
+zero_check(z1, real_part, 0.5).
+zero_check(z2, real_part, 0.5).
+zero_check(z3, real_part, 0.5).
+zero_check(z1, imaginary_part, 14.134725).
+zero_check(z2, imaginary_part, 21.02204).
+zero_check(z3, imaginary_part, 25.010858).
+zero_check(z1, classification, on_critical_line).
+zero_check(z2, classification, on_critical_line).
+zero_check(z3, classification, on_critical_line).

package/examples/output/security-incident-correlation.pl

@@ -0,0 +1,3 @@
+type(inc42, confirmed_compromise).
+status(inc42, escalate_to_incident_response).
+reason(inc42, "privileged credential abuse, malware on a critical endpoint, C2 contact, and exploitable RCE are correlated").

package/examples/output/service-impact.pl

@@ -0,0 +1,11 @@
+impactedByFailureOf(checkout_api, payment_service).
+impactedByFailureOf(risk_rules, payment_service).
+impactedByFailureOf(web_store, payment_service).
+impactedByFailureOf(mobile_app, payment_service).
+impactedByFailureOf(payment_service, payment_service).
+impactedByFailureOf(fraud_service, payment_service).
+status(payment_service, failed).
+businessFunctionAtRisk(place_order, true).
+businessFunctionAtRisk(mobile_checkout, true).
+businessFunctionAtRisk(collect_payment, true).
+businessFunctionAtRisk(screen_fraud, true).

package/examples/output/sieve.pl

@@ -0,0 +1 @@
+primes(1000, [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997]).

package/examples/output/skolem-functions.pl

@@ -0,0 +1,16 @@
+type(skolem_observation(alice, glucose), observation).
+type(skolem_observation(alice, cholesterol), observation).
+type(skolem_observation(bob, glucose), observation).
+type(skolem_alert(alice, glucose), highGlucoseAlert).
+patient(skolem_observation(alice, glucose), alice).
+patient(skolem_observation(alice, cholesterol), alice).
+patient(skolem_observation(bob, glucose), bob).
+test(skolem_observation(alice, glucose), glucose).
+test(skolem_observation(alice, cholesterol), cholesterol).
+test(skolem_observation(bob, glucose), glucose).
+value(skolem_observation(alice, glucose), 6.8).
+value(skolem_observation(alice, cholesterol), 4.2).
+value(skolem_observation(bob, glucose), 5.1).
+about(skolem_alert(alice, glucose), skolem_observation(alice, glucose)).
+sameInputsSameId(skolemDemo, true).
+noObservationClash(skolemDemo, true).

package/examples/output/socket-age.pl

@@ -0,0 +1 @@
+ageAbove(patH, "P80Y").

package/examples/output/socket-family.pl

@@ -0,0 +1,3 @@
+ancestor(pat, jan).
+ancestor(jan, emma).
+ancestor(pat, emma).

package/examples/output/socrates.pl

@@ -0,0 +1,2 @@
+type(socrates, mortal).
+is(test, true).

package/examples/output/statistics-summary.pl

@@ -0,0 +1,4 @@
+mean(scores, 5.0).
+count(scores, 8).
+populationVariance(scores, 4.0).
+populationStddev(scores, 2.0).

package/examples/output/superdense-coding.pl

@@ -0,0 +1,6 @@
+decodesAs(message(1), 1).
+decodesAs(message(3), 3).
+decodesAs(message(0), 0).
+decodesAs(message(2), 2).
+preservesMessage(protocol, true).
+cancelsCrossTalk(protocol, true).

package/examples/output/term-tools.pl

@@ -0,0 +1,6 @@
+report(shape, shape(edge, 3)).
+report(second_argument, b).
+report(parts, parts(edge, [a, b, 3])).
+report(rebuilt, edge(c, d, 5)).
+report(rendered, "edge(a, [b, c])").
+report(all_weights_positive, yes).

package/examples/output/trust-flow-provenance-threshold.pl

@@ -0,0 +1,6 @@
+confidence(message_a, 0.89375999999999989).
+confidence(message_b, 0.41999999999999993).
+trust_flow_state(message_a, fpv_accepted).
+trust_flow_state(message_b, fpv_quarantine).
+status(message_a, fpv_high_trust_flow).
+risk(message_b, risk_low_trust_data_source).

package/examples/output/turing.pl

@@ -0,0 +1,12 @@
+input(case1, [1, 0, 1, 0, 0, 1]).
+input(case2, [1, 0, 1, 1, 1, 1]).
+input(case3, [1, 1, 1, 1, 1, 1]).
+input(case4, []).
+output(case1, [1, 0, 1, 0, 1, 0, #]).
+output(case2, [1, 1, 0, 0, 0, 0, #]).
+output(case3, [1, 0, 0, 0, 0, 0, 0, #]).
+output(case4, [1, #]).
+addsOne(case1, true).
+addsOne(case2, true).
+addsOne(case3, true).
+addsOne(case4, true).

package/examples/output/vector-similarity.pl

@@ -0,0 +1,4 @@
+dotProduct(pair1, 12.0).
+normA(pair1, 3.7416573867739413).
+normB(pair1, 8.7749643873921226).
+cosineSimilarity(pair1, 0.36548694232390361).

package/examples/output/vulnerability-impact.pl

@@ -0,0 +1,20 @@
+uses(webapp, api).
+uses(worker, queue).
+uses(frontend, ui).
+uses(webapp, auth).
+uses(worker, openssl).
+uses(frontend, css).
+uses(webapp, openssl).
+impacted_by(webapp, api).
+impacted_by(worker, queue).
+impacted_by(frontend, ui).
+impacted_by(webapp, auth).
+impacted_by(worker, openssl).
+impacted_by(frontend, css).
+impacted_by(webapp, openssl).
+risk(worker, high).
+risk(webapp, high).
+mitigate(worker, cve_2026_0001).
+mitigate(webapp, cve_2026_0001).
+urgent_patch(webapp, openssl_3_0_14).
+urgent_patch(worker, openssl_3_0_14).

package/examples/output/witch.pl

@@ -0,0 +1,7 @@
+witch(girl).
+burns(duck).
+burns(girl).
+madeOfWood(duck).
+madeOfWood(girl).
+floats(girl).
+is(witchExample, true).

package/examples/output/wolf-goat-cabbage.pl

@@ -0,0 +1,3 @@
+solution(puzzle, [goat, nothing, wolf, goat, cabbage, nothing, goat]).
+solution(puzzle, [goat, nothing, cabbage, goat, wolf, nothing, goat]).
+solved(puzzle, true).

package/examples/output/zebra.pl

@@ -0,0 +1,3 @@
+waterDrinker(zebraPuzzle, norwegian).
+zebraOwner(zebraPuzzle, japanese).
+solved(zebraPuzzle, true).