deepclause-sdk 0.0.73 → 0.0.74
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/cli/tui.d.ts.map +1 -1
- package/dist/cli/tui.js +45 -7
- package/dist/cli/tui.js.map +1 -1
- package/dist/compaction.d.ts +25 -2
- package/dist/compaction.d.ts.map +1 -1
- package/dist/compaction.js +167 -8
- package/dist/compaction.js.map +1 -1
- package/dist/prolog/bridge.d.ts +16 -0
- package/dist/prolog/bridge.d.ts.map +1 -1
- package/dist/prolog/bridge.js +12 -0
- package/dist/prolog/bridge.js.map +1 -1
- package/dist/prolog-src/deepclause_mi.pl +69 -5
- package/dist/runner.d.ts +10 -5
- package/dist/runner.d.ts.map +1 -1
- package/dist/runner.js +89 -23
- package/dist/runner.js.map +1 -1
- package/dist/system/assets/compactors/default-loop-compactor.dml +15 -5
- package/dist/system/assets/compactors/default-session-compactor.dml +15 -5
- package/dist/system/runtime/conductor.d.ts.map +1 -1
- package/dist/system/runtime/conductor.js +13 -28
- package/dist/system/runtime/conductor.js.map +1 -1
- package/dist/system/runtime/dml-executor.d.ts +2 -5
- package/dist/system/runtime/dml-executor.d.ts.map +1 -1
- package/dist/types.d.ts +3 -6
- package/dist/types.d.ts.map +1 -1
- package/package.json +2 -1
- package/src/prolog-src/deepclause_mi.pl +69 -5
package/dist/types.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC5D,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qCAAqC;IACrC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,kEAAkE;IAClE,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,0GAA0G;IAE1G,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,wEAAwE;IACxE,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAChC;AAED,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AAC7D,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC;AACzD,MAAM,MAAM,iBAAiB,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,aAAa,GAAG,YAAY,CAAC;AAC3G,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC5D,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qCAAqC;IACrC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,kEAAkE;IAClE,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,0GAA0G;IAE1G,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,wEAAwE;IACxE,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAChC;AAED,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AAC7D,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC;AACzD,MAAM,MAAM,iBAAiB,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,aAAa,GAAG,YAAY,CAAC;AAC3G,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE5E,MAAM,WAAW,mBAAmB;IAClC,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,6DAA6D;IAC7D,UAAU,CAAC,EAAE,mBAAmB,CAAC;IACjC,yDAAyD;IACzD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC5D,gGAAgG;IAChG,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,yDAAyD;IACzD,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,sDAAsD;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,KAAK,EAAE,eAAe,CAAC;IACvB,sCAAsC;IACtC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,+DAA+D;IAC/D,SAAS,EAAE,mBAAmB,CAAC;CAChC;AAED,MAAM,WAAW,iBAAiB;IAChC,uDAAuD;IACvD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,oEAAoE;IACpE,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,uDAAuD;IACvD,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,sEAAsE;IACtE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,kCAAkC;IAClC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,oCAAoC;IACpC,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB;yFACqF;IACnF,eAAe,CAAC,EAAE,aAAa,EAAE,CAAC;IACpC,oDAAoD;IACpD,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,GAAG,MAAM,CAAC;IAChE,kCAAkC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,gCAAgC;IAChC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,iCAAiC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,gBAAgB,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,OAAO,GAAG,mBAAmB,CAAC;IACrI,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;IACrB,6EAA6E;IAC7E,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,qEAAqE;IACrE,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,yDAAyD;IACzD,SAAS,CAAC,EAAE,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC5D,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,wEAAwE;IACxE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,6DAA6D;IAC7D,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,+DAA+D;IAC/D,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,iEAAiE;IACjE,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8EAA8E;IAC9E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;IACpB,sCAAsC;IACtC,UAAU,EAAE,UAAU,CAAC;IACvB,mCAAmC;IACnC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC9D;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC9C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,mCAAmC;IACnC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC5D,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6CAA6C;IAC7C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,+CAA+C;IAC/C,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB,mCAAmC;IACnC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,uDAAuD;IACvD,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,wBAAwB;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,+CAA+C;IAC/C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,iDAAiD;IACjD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,yBAAyB;IACzB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,cAAc,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE;QACzB,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC,CAAC;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,8CAA8C;IAC9C,IAAI,EAAE,WAAW,GAAG,WAAW,CAAC;IAChC,kEAAkE;IAClE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;OAKG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IAErE;;;;;OAKG;IACH,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAE1E;;;;OAIG;IACH,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;IAEvD;;;OAGG;IACH,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAExC;;OAEG;IACH,eAAe,IAAI,IAAI,CAAC;IAExB;;OAEG;IACH,aAAa,IAAI,UAAU,GAAG,IAAI,CAAC;IAEnC;;OAEG;IACH,QAAQ,IAAI,MAAM,EAAE,CAAC;IAErB;;;OAGG;IACH,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAElC;;;OAGG;IACH,SAAS,IAAI,aAAa,EAAE,CAAC;IAE7B;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;IACvE,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,YAAY,GAAG,MAAM,GAAG,YAAY,CAAC;IAC3C,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;IACrE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC;CACzB"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "deepclause-sdk",
|
|
3
|
-
"version": "0.0.
|
|
3
|
+
"version": "0.0.74",
|
|
4
4
|
"description": "DeepClause CLI Tool, TUI and Typescript SDK",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "dist/index.js",
|
|
@@ -32,6 +32,7 @@
|
|
|
32
32
|
"examples": "tsx sdk-examples/basic-usage.ts",
|
|
33
33
|
"examples:smoke": "tsx sdk-examples/no-api-key.ts && npm run example && npm run examples && tsx sdk-examples/neurosymbolic.ts 1 && tsx sdk-examples/deep-research.ts \"test topic\"",
|
|
34
34
|
"cli": "tsx src/cli/index.ts",
|
|
35
|
+
"compaction:probe": "tsx scripts/compaction-probe.ts",
|
|
35
36
|
"benchmark:swebench": "node benchmarks/run-swebench-lite.mjs",
|
|
36
37
|
"benchmark:swebench:prefetch": "node benchmarks/prefetch-swebench-lite.mjs",
|
|
37
38
|
"benchmark:swebench:evaluate": "node benchmarks/evaluate-predictions.mjs"
|
|
@@ -17,12 +17,13 @@
|
|
|
17
17
|
|
|
18
18
|
:- module(deepclause_mi, [
|
|
19
19
|
parse_dml/5,
|
|
20
|
-
create_engine/
|
|
20
|
+
create_engine/6,
|
|
21
21
|
step_engine/4,
|
|
22
22
|
destroy_engine/1,
|
|
23
23
|
post_agent_result/4,
|
|
24
24
|
post_exec_result/3,
|
|
25
25
|
post_sample_token_result/3,
|
|
26
|
+
post_llm_result/3,
|
|
26
27
|
provide_input/2,
|
|
27
28
|
mi/3,
|
|
28
29
|
% Tool engine predicates for isolated tool execution
|
|
@@ -48,6 +49,7 @@
|
|
|
48
49
|
:- dynamic session_agent_result/2. % session_agent_result(SessionId, Result)
|
|
49
50
|
:- dynamic session_exec_result/2. % session_exec_result(SessionId, Result)
|
|
50
51
|
:- dynamic session_sample_token_result/2. % session_sample_token_result(SessionId, Result)
|
|
52
|
+
:- dynamic session_llm_result/2. % session_llm_result(SessionId, Result)
|
|
51
53
|
:- dynamic session_trace_log/2. % session_trace_log(SessionId, TraceLog) - accumulated trace entries
|
|
52
54
|
:- dynamic session_trace_enabled/2. % session_trace_enabled(SessionId, true/false)
|
|
53
55
|
:- dynamic session_pending_signal/2. % session_pending_signal(SessionId, Signal) - fallback for engine_fetch
|
|
@@ -462,10 +464,10 @@ process_directive(_, _).
|
|
|
462
464
|
%% Engine Management
|
|
463
465
|
%% ============================================================
|
|
464
466
|
|
|
465
|
-
%% create_engine(+SessionId, +MemoryId, +Args, +Params, -Engine)
|
|
467
|
+
%% create_engine(+SessionId, +MemoryId, +Args, +Params, +InitialMemory, -Engine)
|
|
466
468
|
%% Args is a list of positional arguments for agent_main
|
|
467
469
|
%% Params is a dict of named parameters (already asserted as param/2 facts)
|
|
468
|
-
create_engine(SessionId, _MemoryId, Args, Params, Engine) :-
|
|
470
|
+
create_engine(SessionId, _MemoryId, Args, Params, InitialMemory, Engine) :-
|
|
469
471
|
assertz(session_params(SessionId, Params)),
|
|
470
472
|
determine_agent_goal(SessionId, Args, Goal),
|
|
471
473
|
% Check if tracing is enabled and store in session state
|
|
@@ -474,8 +476,8 @@ create_engine(SessionId, _MemoryId, Args, Params, Engine) :-
|
|
|
474
476
|
assertz(session_trace_log(SessionId, [])),
|
|
475
477
|
% Check for gas limit in params
|
|
476
478
|
(get_dict(gas_limit, Params, GasLimit) -> true ; GasLimit = -1),
|
|
477
|
-
% Create initial state with
|
|
478
|
-
InitialState = state{memory:
|
|
479
|
+
% Create initial state with provided memory, params, context stack, trace depth and gas
|
|
480
|
+
InitialState = state{memory: InitialMemory, params: Params, context_stack: [], depth: 0, gas_remaining: GasLimit},
|
|
479
481
|
% Create the engine - pass SessionId and initial state to mi/3
|
|
480
482
|
engine_create(_,
|
|
481
483
|
deepclause_mi:mi(Goal, InitialState, SessionId),
|
|
@@ -565,6 +567,8 @@ process_engine_result(request_exec(Tool, Args), request_exec, '',
|
|
|
565
567
|
payload{toolName: Tool, args: Args}) :- !.
|
|
566
568
|
process_engine_result(request_sample_token(Prompt, Allowed), request_sample_token, '',
|
|
567
569
|
payload{prompt: Prompt, allowedTokens: Allowed}) :- !.
|
|
570
|
+
process_engine_result(request_llm(Messages), request_llm, '',
|
|
571
|
+
payload{messages: Messages}) :- !.
|
|
568
572
|
%% Tool result from inline tool execution
|
|
569
573
|
process_engine_result(tool_result(Result), tool_result, '',
|
|
570
574
|
payload{result: Result}) :- !.
|
|
@@ -587,6 +591,7 @@ destroy_engine(SessionId) :-
|
|
|
587
591
|
retractall(session_agent_result(SessionId, _)),
|
|
588
592
|
retractall(session_exec_result(SessionId, _)),
|
|
589
593
|
retractall(session_sample_token_result(SessionId, _)),
|
|
594
|
+
retractall(session_llm_result(SessionId, _)),
|
|
590
595
|
retractall(session_trace_log(SessionId, _)),
|
|
591
596
|
retractall(session_trace_enabled(SessionId, _)),
|
|
592
597
|
( current_module(SessionId)
|
|
@@ -633,6 +638,12 @@ post_sample_token_result(SessionId, Status, TokenOrError) :-
|
|
|
633
638
|
assertz(session_sample_token_result(SessionId, result{status: Status, token: TokenOrError})),
|
|
634
639
|
post_signal_to_engine(SessionId, sample_token_done).
|
|
635
640
|
|
|
641
|
+
%% post_llm_result(+SessionId, +Status, +TextOrError)
|
|
642
|
+
post_llm_result(SessionId, Status, TextOrError) :-
|
|
643
|
+
retractall(session_llm_result(SessionId, _)),
|
|
644
|
+
assertz(session_llm_result(SessionId, result{status: Status, text: TextOrError})),
|
|
645
|
+
post_signal_to_engine(SessionId, llm_done).
|
|
646
|
+
|
|
636
647
|
%% provide_input(+SessionId, +Input)
|
|
637
648
|
provide_input(SessionId, Input) :-
|
|
638
649
|
assertz(session_pending_input(SessionId, Input)),
|
|
@@ -821,6 +832,11 @@ handle_signal(SessionId, exec_done, StateIn, StateOut) :-
|
|
|
821
832
|
!,
|
|
822
833
|
handle_agent_signals(SessionId, StateIn, StateOut).
|
|
823
834
|
|
|
835
|
+
handle_signal(SessionId, llm_done, StateIn, StateOut) :-
|
|
836
|
+
% Stale signal - ignore and continue waiting
|
|
837
|
+
!,
|
|
838
|
+
handle_agent_signals(SessionId, StateIn, StateOut).
|
|
839
|
+
|
|
824
840
|
handle_signal(SessionId, _Unknown, StateIn, StateOut) :-
|
|
825
841
|
% Unknown signal - ignore and continue waiting
|
|
826
842
|
!,
|
|
@@ -963,6 +979,8 @@ process_tool_engine_result(request_exec(Tool, Args), request_exec, '',
|
|
|
963
979
|
payload{toolName: Tool, args: Args}) :- !.
|
|
964
980
|
process_tool_engine_result(request_sample_token(Prompt, Allowed), request_sample_token, '',
|
|
965
981
|
payload{prompt: Prompt, allowedTokens: Allowed}) :- !.
|
|
982
|
+
process_tool_engine_result(request_llm(Messages), request_llm, '',
|
|
983
|
+
payload{messages: Messages}) :- !.
|
|
966
984
|
process_tool_engine_result(request_agent_loop(Desc, Vars, Tools, Memory, ToolScope), request_agent_loop, '',
|
|
967
985
|
payload{taskDescription: Desc, outputVars: Vars, userTools: Tools, memory: Memory, toolScope: ToolScope}) :- !.
|
|
968
986
|
%% Legacy 4-arg format (no tool scope)
|
|
@@ -1229,6 +1247,45 @@ wait_sample_token_signal(SessionId) :-
|
|
|
1229
1247
|
; wait_sample_token_signal(SessionId)
|
|
1230
1248
|
).
|
|
1231
1249
|
|
|
1250
|
+
mi_call(llm(Messages, Reply), StateIn, StateOut) :-
|
|
1251
|
+
!,
|
|
1252
|
+
consume_gas(StateIn, State1),
|
|
1253
|
+
mi_call_llm(Messages, Reply, State1, StateOut).
|
|
1254
|
+
|
|
1255
|
+
mi_call_llm(Messages, Reply, StateIn, StateOut) :-
|
|
1256
|
+
get_session_id(SessionId),
|
|
1257
|
+
get_depth(StateIn, Depth),
|
|
1258
|
+
add_trace_entry(SessionId, llm_call, llm, [Messages], Depth),
|
|
1259
|
+
engine_yield(request_llm(Messages)),
|
|
1260
|
+
wait_llm_signal(SessionId),
|
|
1261
|
+
( session_llm_result(SessionId, Result)
|
|
1262
|
+
-> retract(session_llm_result(SessionId, _)),
|
|
1263
|
+
( Result.status == success
|
|
1264
|
+
-> Reply = Result.text,
|
|
1265
|
+
add_trace_with_result(SessionId, exit, llm, [Messages], Reply, Depth),
|
|
1266
|
+
StateOut = StateIn
|
|
1267
|
+
; ( get_dict(text, Result, ErrorMsg), ErrorMsg \= ""
|
|
1268
|
+
-> format(atom(WarnMsg), 'Warning: llm/2 failed: ~w', [ErrorMsg])
|
|
1269
|
+
; format(atom(WarnMsg), 'Warning: llm/2 failed (status=~w)', [Result.status])
|
|
1270
|
+
),
|
|
1271
|
+
add_trace_entry(SessionId, fail, llm, [Messages], Depth),
|
|
1272
|
+
engine_yield(output(WarnMsg)),
|
|
1273
|
+
fail
|
|
1274
|
+
)
|
|
1275
|
+
; add_trace_entry(SessionId, fail, llm, [Messages], Depth),
|
|
1276
|
+
engine_yield(output('Warning: llm/2 failed (no result returned)')),
|
|
1277
|
+
fail
|
|
1278
|
+
).
|
|
1279
|
+
|
|
1280
|
+
wait_llm_signal(SessionId) :-
|
|
1281
|
+
get_next_signal(SessionId, Signal),
|
|
1282
|
+
( Signal == llm_done
|
|
1283
|
+
-> true
|
|
1284
|
+
; Signal = error_signal(_)
|
|
1285
|
+
-> true
|
|
1286
|
+
; wait_llm_signal(SessionId)
|
|
1287
|
+
).
|
|
1288
|
+
|
|
1232
1289
|
%% mi_call_task_n(+Desc, +Vars, +VarNames, +StateIn, -StateOut)
|
|
1233
1290
|
mi_call_task_n(Desc, Vars, VarNames, StateIn, StateOut) :-
|
|
1234
1291
|
!, % Cut to make this predicate deterministic - no backtracking once started
|
|
@@ -1364,6 +1421,11 @@ mi_call(user(Text), StateIn, StateOut) :-
|
|
|
1364
1421
|
interpolate_desc(Text, Params, InterpText),
|
|
1365
1422
|
add_memory(StateIn, user, InterpText, StateOut).
|
|
1366
1423
|
|
|
1424
|
+
%% mi_call(get_memory(Messages), +StateIn, -StateOut)
|
|
1425
|
+
mi_call(get_memory(Messages), StateIn, StateIn) :-
|
|
1426
|
+
!,
|
|
1427
|
+
get_memory(StateIn, Messages).
|
|
1428
|
+
|
|
1367
1429
|
%% ============================================================
|
|
1368
1430
|
%% Output Predicates
|
|
1369
1431
|
%% ============================================================
|
|
@@ -2027,10 +2089,12 @@ is_mi_special_predicate(prompt(_,_)).
|
|
|
2027
2089
|
is_mi_special_predicate(prompt(_,_,_)).
|
|
2028
2090
|
is_mi_special_predicate(prompt(_,_,_,_)).
|
|
2029
2091
|
is_mi_special_predicate(prompt_named(_,_,_)). %% Transformed form of prompt/N
|
|
2092
|
+
is_mi_special_predicate(llm(_,_)).
|
|
2030
2093
|
%% Tool scoping predicates
|
|
2031
2094
|
is_mi_special_predicate(with_tools(_,_)).
|
|
2032
2095
|
is_mi_special_predicate(without_tools(_,_)).
|
|
2033
2096
|
%% Context stack management
|
|
2097
|
+
is_mi_special_predicate(get_memory(_)).
|
|
2034
2098
|
is_mi_special_predicate(push_context).
|
|
2035
2099
|
is_mi_special_predicate(push_context(_)).
|
|
2036
2100
|
is_mi_special_predicate(pop_context).
|