Lemmalog ihindura ububiko bwa LLM muri moteri ya Datalog

Byagenze bite

Ububiko bwa GitHub Lemmalog yerekana moteri ifunguye Datalog moteri yagenewe gukora nkibikoresho byubaka kubakozi ba LLM. Irabika amakuru yakuweho, itanga imyanzuro ikoresheje amategeko, ikurikirana ibyerekanwe, ishyigikira ivugurura ryiyongera kandi ikagaragaza sisitemu binyuze muri seriveri ya MCP.

Lemmalog yerekanwa nkigisanduku cya Rust, itegeko-umurongo REPL, ubuhanga bwabakozi na seriveri ya MCP kububiko bwa LLM. Igishushanyo mbonera cyacyo gisaba ko kwibuka kwa agent bigomba kwitwara nkububiko bukuraho aho kuba icyegeranyo cyibisobanuro bisa. Sisitemu yemera ibintu bifatika kumupaka wo gukuramo, hanyuma ikurikiza amategeko ya Datalogi kugirango ibone ibitekerezo byigihe gito, abakandida bivuguruzanya, umubano bifitanye isano nindi myanzuro. README isobanura buri kintu nko gutwara ibintu bisubira mu bice, bituma umukozi agenzura impamvu umwanzuro watanzwe.

Ububiko buvuga ko moteri yashyizwe mu bikorwa ikubiyemo Datalog ya Rattime-parsed stratifike, gukemura ibibazo, gusuzuma seminaive fixpoint, kubungabunga delta yiyongera, ibintu bi-byigihe gito hamwe no kwizerwa-byongeye-byerekana. Itondekanya kandi ibiti byerekana ibinyujije mu mpamvu () kubaza, gusoma-kubaza gusa () ibibazo, ibibazo-byibanda kubaza_deep () ibibazo ukoresheje amarozi, gutsimbarara, ibyiciro byateganijwe, ibitekerezo-byo gukemura ibibazo, guteranya hamwe na hypothettike niki-niba ibibazo. Inkomoko ivuga ko gusubira inyuma hamwe n’ibintu byasimbuwe bituma habaho kubara inshuro nyinshi abishingiwe aho kubaka kubaka umubano udafitanye isano.

Umushinga ushyira LLM kumupaka wo gukuramo. Ukurikije README, icyitegererezo cyakiriye gihindura ibikoresho byibiganiro muburyo bushingiye kumurongo nkikintu, isano nibintu bifite agaciro kizere. Lemmalog noneho ikoresha politiki yo kuvugurura ibyemezo: kongeraho ibintu bitagaragara, gufata duplicates nka o-ops, gusimbuza indangagaciro kumibanire yihariye cyangwa kuzamura impinduka zidasobanutse zidasanzwe. Sisitemu kandi yandika imirongo yakuweho cyangwa yahinduwe nabi aho kuyifata bucece nko gufata neza.

Inkomoko itanga raporo nyinshi. Kubibazo 30 LongMemEval ikoresha ukoresheje Claude Opus 4.8, ububiko bwerekana ububiko rusange F1 bwa 0.48 na 0.51 kuburyo bwanditse-bwanditse, mugihe busaba imikorere myiza kubijyanye no kuvugurura ubumenyi hamwe nibintu bito cyane. Kugereranya ibibazo 102 MemEval igereranya, itangaza F1 ya 0.463 wongeyeho cyangwa ukuyemo 0.010 mumirongo itatu hamwe na binarike ya 0.575, ugereranije na 0.197 ivugwa kubikorwa byayo byose. Kuri LoCoMo, itangaza F1 ya 0.533 wongeyeho cyangwa ukuyemo 0.001 mumirongo itatu. Ibi ni ububiko-bwatangajwe ibisubizo, ntabwo byigenga byashizweho.

Ibisobanuro birambuye: github.com ↗

Impamvu ari ngombwa

Umushinga ukemura intege nke zifatika mubikorwa bya AI bimaze igihe kinini: kubika amakuru mugihe ubika ibimenyetso, gutunganya ibishya no kugabanya ingano yimiterere yoherejwe kurugero. Ibipimo byayo byerekana ibisubizo byerekana ubucuruzi bushoboka hagati yubwiza bwibisubizo, ingano yimiterere nigiciro cyo gukuramo.

Abakozi bamara igihe kinini bakeneye gusubiza ibibazo bijyanye namakuru ahinduka mugihe. Igishushanyo cya Lemmalog kireba neza icyo kibazo mugutandukanya ibintu byemejwe nibitekerezo byakomotse. Impinduka nkumukoresha mushya cyangwa umuyobozi birashobora gusimbuza agaciro kare, mugihe amategeko ashobora kubara gusa imyanzuro ishingiye kumibanire yahinduwe. Niba ishyirwa mu bikorwa ryitwaye nkuko byasobanuwe, ibi birashobora gutuma ububiko bwibikorwa byumvikana kandi ntibiterwa no kubaza inshuro nyinshi imvugo yindimi yo kongera kubaka amateka kuva mumyandikire mbisi.

Impano ni irindi tandukaniro rifatika. README ivuga impamvu () igiti gihamya gishobora guhuza ukuri gukomoka kumategeko hamwe nibice bituruka kubishyigikira. Ibyo ntibisobanura ko gukuramo ibyingenzi aribyo, ariko birashobora gutuma amakosa yoroha kubimenya: umwanzuro utari wo ushobora guturuka kubintu bibi, alias idasobanutse, itegeko ridafite inenge cyangwa igice kituzuye. Kuri sisitemu zikoreshwa mubushakashatsi, ibikorwa cyangwa iperereza, uko gutandukana gushobora gufasha abakoresha gusuzuma ibimenyetso aho kwakira ububiko butagaragara.

Raporo yo kuzigama yatangajwe irashobora kuba ingenzi kubiciro no kwizerwa. Ububiko buvuga ko inzira yacyo yo kugarura ikusanya ibintu byibanze ku bintu byakurikiranwe hamwe n'inkomoko y'ibice, aho guta ikiganiro cyose. Itanga amakuru agera kuri 2,300 yo gusubiza-icyiciro cyibibazo kuri LongMemEval ugereranije na 104.000 kumurongo wuzuye, naho hafi 3,200 na 18.900 kuri LoCoMo. Inkomoko irerekana icyitegererezo gihoraho kuri buri kibazo cyikiguzi cyikiganiro gikura, mugihe utuburira ko gukuramo byinshi byongera ubunini bwibuke kandi ko gukuramo ubwabyo bitwara igiciro cyicyitegererezo cyigihe kimwe.

Ibisabwa nabyo bigengwa nibimenyetso byumushinga. README ivuga ko ibibazo byihutirwa byakomeje kuba intege nke, ibitekerezo byigihe gito byaterwaga no gukuramo ibyabaye byombi byerekeranye nitariki, kandi ibisubizo bimwe byamasomo menshi byarananiranye kuko amakuru atigeze akurwa. Iratangaza ko ibipimo ngenderwaho bishobora gutandukana mubintu mugihe ubushyuhe bwo gusubiza ubushyuhe budashobora kugenzurwa. Izi mbogamizi zifite akamaro kuko urwego rwibitekerezo rwikigereranyo rushobora kwemeza guhuzagurika kubintu byabitswe utarinze kwemeza ko amakuru yabitswe yuzuye, yatanzwe neza cyangwa yakuwe neza mururimi karemano.

Ibyo kureba

Ibibazo nyamukuru ni ukumenya niba ibisubizo byatangajwe byororoka hanze yububiko bwibizamini byububiko, imikorere ingahe biterwa nurugero rwakoreshejwe mugukuramo no gusubiza, kandi niba ishyirwa mubikorwa ryumushinga rirakuze bihagije kugirango imirimo yibuke yibikorwa. Inkomoko yatanzwe ntabwo yerekana igihe cyatangajwe neza cyangwa isuzuma ryigenga.

Imyororokere nikibazo cya mbere cyo gukurikirana. Ububiko busobanura ibikoresho byo kugerageza, ibisubizo byakuweho ibisubizo hamwe n'ibipimo ngenderwaho, ariko isoko yatanzwe ntabwo itanga kwigana kwigenga, impapuro zemewe cyangwa itariki yo kurekura bigaragara. Igenzura ry'ejo hazaza rigomba gusuzuma niba ibisubizo byatangajwe F1, ibimenyetso hamwe nubukererwe bifata kuri moderi, imibare yamakuru, ibyuma byogusubiramo hamwe nubushakashatsi bwakorewe hamwe nicyitegererezo.

Urubibi rwo gukuramo rushobora gukomeza kuba sisitemu nyamukuru yo gutsindwa. Moteri ya Lemmalog irashobora gukoresha amategeko kubintu yakiriye, ariko README yerekana neza amakosa menshi kubintu byabuze, umubare utamenyekanye cyangwa gukuramo ibyabaye bituzuye. Ibikorwa bifatika byakenera gupima ibyakuweho, kwibeshya no kugereranya ikizere ukurikije itandukaniro rya moteri ya Datalog.

Imyitwarire yimikorere nakazi nayo irashobora kwitabwaho. Inkomoko ivuga ko gufunga urunigi 500 bifata amasegonda 17 kuri mudasobwa igendanwa ya M, ihinduka ryiyongera rifata milisegonda 50 hamwe n’ifunga ryinshi ryihuta rigera kuri miliyoni 3.9. Itanga ibibazo bisabwa nkuburyo bwo kwirinda guhuma ibintu bifunze, ariko ntibisobanura uburyo gukoresha kwibuka, gutsimbarara, kugera hamwe cyangwa amategeko bigoye bitwara muri sisitemu nini yo gukora.

Hanyuma, abakoresha bagomba kureba uburyo interineti ya MCP nuburyo bwo kwishyiriraho amategeko bigengwa. Ububiko buvuga ko abakozi bashobora gushiraho no gukuramo ibyiciro byateganijwe kandi bagakoresha moteri nkubwonko busanganywe binyuze muri Claude Code cyangwa Kimi CLI. Ibyo bitera guhinduka kwingirakamaro, ariko kandi bitera kwibaza ibibazo byimikorere bitashubijwe mumasoko yatanzwe: ninde wemeza amategeko, uburyo imigambi ivuguruzanya isubirwamo, uburyo ibice byoroshye birinzwe, nuburyo abakoresha batandukanya imvugo yakuwe mubyitegererezo bivuye kumyanzuro yatanzwe.

Ibijyanye nuyobora & ibibazo