Trealla Prolog bindings for JS
npm install @gaussylean/treallahttps://esm.sh/trealla@X.Y.Z.
js
import { load, Prolog } from 'https://esm.sh/trealla';
import { load, Prolog } from 'https://esm.run/trealla';
import { load, Prolog } from 'https://unpkg.com/trealla';
import { load, Prolog } from 'https://cdn.skypack.dev/trealla';
`
$3
This package is available on NPM as trealla.
`bash
npm install trealla
`
`js
import { load, Prolog } from 'trealla';
`
Example
$3
`html
`
`javascript
{
"result": "success",
"answer": {"X": 2, "Y": 4},
"stdout": "(2,4)\n"
}
// ...
`
$3
Experimental. With great power comes great responsibility π€
The JS host will evaluate the expression you give it and marshal it to JSON.
You can use js_eval_json/2 to grab the result.
Note that JSON does not handle all types such as undefined.
`prolog
greet :-
js_eval_json("return prompt('Name?');", Name),
format("Greetings, ~s.", [Name]).
here(URL) :-
js_eval_json("return location.href;", URL).
% URL = "https://php.energy/trealla.html"
`
If your evaluated code returns a promise, Prolog will yield to the host to evaluate the promise.
Hopefully this should be transparent to the user.
`prolog
?- js_eval_json("fetch('http://example.com').then(x => x.text());", Src).
Src = "Example page..."
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /></code>js_eval/2<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> works the same but does not attempt to parse the JSON.
<br />If your JS expression returns a Uint8Array, it will be returned as-is instead of JSON-encoded.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">prolog
<br />?- js_eval("return new TextEncoder().encode('arbitrary text');", Result)
<br /> Result = "arbitrary text".
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Multiple queries can be run concurrently. If you'd like to kill a query early, use the </code>return()<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> method on the generator returned from </code>query()<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">.
<br />This is not necessary if you iterate through until it is finished.
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />You can change the output format with the </code>format<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> option in queries.
<br />
<br />The format is </code>"json"<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> by default which goes through </code>library(js)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> and returns JSON objects.
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />You can get pure text output with the </code>"prolog"<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> format.
<br />The output is the same as Trealla's regular toplevel, but full terms (with a dot) are printed.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">javascript
<br />for await (const answer of pl.query(</code>dif(A, B) ; dif(C, D).<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">, {format: "prolog"})) {
<br /> console.log(answer);
<br />};
<br />// "dif:dif(A,B)."
<br />// "dif:dif(C,D)."
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Each Prolog interpreter instance has its own virtual filesystem you can read and write to.
<br />For details, check out the <a href="https://github.com/wasmerio/wasmer-js#typescript-api" class="text-primary hover:underline" target="_blank" rel="noopener noreferrer">wasmer-js docs</a>.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">js
<br />const pl = new Prolog();
<br />// create a file in the virtual filesystem
<br />pl.fs.open("/greeting.pl", { write: true, create: true }).writeString(</code>
<br /> :- module(greeting, [hello/1]).
<br /> hello(world).
<br /> hello(δΈη).
<br /><code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">);
<br />
<br />// consult file
<br />await pl.consult("/greeting.pl");
<br />
<br />// use the file we added
<br />const query = pl.query("use_module(greeting), hello(X)");
<br />for await (const answer of query) {
<br /> console.log(answer); // X = world, X = δΈη
<br />}
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h2 class="text-xl font-semibold mt-5 mb-3">Javascript API</h2>
<br />Approaching stability.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">typescript
<br />declare module 'trealla' {
<br /> // Call this first to load the runtime.
<br /> // Must be called before any interpreters are constructed.
<br /> function load(): Promise<void>;
<br />
<br /> // Prolog interpreter.
<br /> // Each interpreter is independent, having its own knowledgebase and virtual filesystem.
<br /> // Multiple queries can be run against one interpreter simultaneously.
<br /> class Prolog {
<br /> constructor(options?: PrologOptions);
<br />
<br /> // Run a query. This is an asynchronous generator function.
<br /> // Use a </code>for await<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> loop to easily iterate through results.
<br /> // Exiting the loop will automatically destroy the query and reclaim memory.
<br /> // If manually iterating with </code>next()<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">, call the </code>return()<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> method of the generator to kill it early.
<br /> // Runtimes that support finalizers will make a best effort attempt to kill live but garbage-collected queries.
<br /> public query<T = Answer>(goal: string, options?: QueryOptions): AsyncGenerator<T, void, void>;
<br /> // Runs a query and returns a single solution, ignoring others.
<br /> public queryOnce<T = Answer>(goal: string, options?: QueryOptions): Promise<T>;
<br />
<br /> // Consult (load) a Prolog file with the given filename.
<br /> public consult(filename: string): Promise<void>;
<br /> // Consult (load) a Prolog file with the given text content.
<br /> public consultText(text: string | Uint8Array): Promise<void>;
<br />
<br /> // Use fs to manipulate the virtual filesystem.
<br /> public readonly fs: any; // wasmer-js filesystem
<br /> }
<br />
<br /> interface PrologOptions {
<br /> // Library files path (default: "/library")
<br /> // This is for use_module(library(...)).
<br /> library?: string;
<br /> // Environment variables.
<br /> // Accessible with the predicate getenv/2.
<br /> env?: Record<string, string>;
<br /> // Quiet mode. Disables warnings printed to stderr if true.
<br /> quiet?: boolean;
<br /> // Manually specify module instead of the default.
<br /> module?: WebAssembly.Module;
<br /> }
<br />
<br /> interface QueryOptions {
<br /> // Mapping of variables to bind in the query.
<br /> bind?: Substitution;
<br /> // Prolog program text to evaluate before the query.
<br /> program?: string | Uint8Array;
<br /> // Answer format. This changes the return type of the query generator.
<br /> // "json" (default) returns Javascript objects.
<br /> // "prolog" returns the standard Prolog toplevel output as strings.
<br /> // You can add custom formats to the global FORMATS object.
<br /> // You can also pass in a Toplevel object directly.
<br /> format?: keyof typeof FORMATS | Toplevel<any, any>;
<br /> // Encoding options for "json" or custom formats.
<br /> encode?: EncodingOptions;
<br /> }
<br />
<br /> type EncodingOptions = JSONEncodingOptions | PrologEncodingOptions | Record<string, unknown>;
<br />
<br /> interface JSONEncodingOptions {
<br /> // Encoding for Prolog atoms. Default is "object".
<br /> atoms?: "string" | "object";
<br /> // Encoding for Prolog strings. Default is "string".
<br /> strings?: "string" | "list";
<br />
<br /> // Functor for compounds of arity 1 to be converted to booleans/null/undefined.
<br /> // e.g. "{}" to turn {true} into true ala Tau, "@" for SWI-ish behavior.
<br /> booleans?: string;
<br /> nulls?: string;
<br /> undefineds?: string;
<br /> }
<br />
<br /> interface PrologEncodingOptions {
<br /> // Include the fullstop "." in results.
<br /> // True by default.
<br /> dot?: boolean;
<br /> }
<br />
<br /> // Answer for the "json" format.
<br /> interface Answer {
<br /> result: "success" | "failure" | "error";
<br /> answer?: Substitution;
<br /> error?: Term;
<br /> stdout?: string; // standard output text (user_output stream in Prolog)
<br /> stderr?: string; // standard error text (user_error stream in Prolog)
<br /> }
<br />
<br /> // Mapping of variable name β Term substitutions.
<br /> type Substitution = Record<string, Term>;
<br />
<br /> /*
<br /> Default encoding (in order of priority):
<br /> string(X) β string
<br /> is_list(X) β List
<br /> atom(X) β Atom
<br /> compound(X) β Compound
<br /> integer(X) β BigInt if necessary
<br /> number(X) β number
<br /> var(X) β Variable
<br /> */
<br /> type Term = Atom | Compound | Variable | List | string | number | BigInt;
<br />
<br /> type List = Term[];
<br />
<br /> class Atom {
<br /> functor: string;
<br /> readonly pi: string; // predicate indicator ("foo/0")
<br /> toProlog(): string;
<br /> }
<br />
<br /> // String template literal for making atoms: atom</code>foo<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> = 'foo'.
<br /> function atom([functor]): Atom;
<br />
<br /> class Compound {
<br /> functor: string;
<br /> args: List;
<br /> readonly pi: string; // predicate indicator ("foo/N")
<br /> toProlog(): string;
<br /> }
<br />
<br /> class Variable {
<br /> var: string; // variable name
<br /> attr?: List; // residual goals
<br /> toProlog(): string;
<br /> }
<br />
<br /> // Convert Term objects to their Prolog text representation.
<br /> function toProlog(object: Term): string;
<br />
<br /> // Parse JSON representations of terms.
<br /> function fromJSON(json: string, options?: JSONEncodingOptions): Term;
<br />
<br /> // Convert Term objects to JSON text.
<br /> function toJSON(term: Term, indent?: string): string;
<br />
<br /> const FORMATS: {
<br /> json: Toplevel<Answer, JSONEncodingOptions>,
<br /> prolog: Toplevel<string, PrologEncodingOptions>,
<br /> // add your own!
<br /> // [name: string]: Toplevel<any, any>
<br /> };
<br />
<br /> interface Toplevel<T, Options> {
<br /> // Prepare query string, returns goal to execute.
<br /> query(pl: Prolog, goal: string, bind?: Substitution, options?: Options): string;
<br /> // Parse stdout and return an answer.
<br /> parse(pl: Prolog, status: boolean, stdout: Uint8Array, stderr: Uint8Array, options?: Options): T;
<br /> // Yield simple truth value, when output is blank.
<br /> // For queries such as </code>true.<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> and </code>1=2.<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">.
<br /> // Return null to bail early and yield no values.
<br /> truth(pl: Prolog, status: boolean, stderr: Uint8Array, options?: Options): T | null;
<br /> }
<br />}
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br />
<br /><h1 class="text-2xl font-bold mt-6 mb-4">Predicate reference</h1>
<br />
<br /><h2 class="text-xl font-semibold mt-5 mb-3">library(js)</h2>
<br />
<br />Module </code>library(js)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> is autoloaded. It provides predicates for calling into the host.
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Load Prolog code from URL.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">prolog
<br />%! http_consult(+URL) is det.
<br />% Downloads Prolog code from URL, which must be a string, and consults it.
<br />http_consult(URL).
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Fetch content from a URL.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">prolog
<br />%! js_fetch(+URL, +Options, -Content) is det.
<br />% Fetch URL (string) and unify the result with Content.
<br />% This is a friendly wrapper around Javascript's fetch API.
<br />% Options is a list of options:
<br />% - as(string): Content will be unified with the text of the result as a string
<br />% - as(json): Content will be parsed as JSON and unified with a JSON term
<br />% - headers(["key"-"value", ...]): HTTP headers to send
<br />% - body(Cs): body to send (Cs is string)
<br />js_fetch(URL, Options, Content).
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Evaluate a string of Javascript code.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">prolog
<br />%! js_eval_json(+Code, -JSON) is det.
<br />% Evaluate Code, which must be a string of valid Javascript code.
<br />% Returning a promise will cause the query to yield to the host. The host will await the promise and resume the query.
<br />% Return values are encoded to JSON and returned as a JSON term (see pseudojson:json_value/2).
<br />js_eval_json(Code, JSON).
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Low-level predicate for evaluating JS code.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">prolog
<br />%! js_eval(+Code, -Cs) is det.
<br />% Low-level predicate that functions the same as js_eval_json/2 but without the JSON decoding.
<br />% Returning a Uint8Array in your JS code will bypass the host's default JSON encoding.
<br />% Combined with this, you can customize the host->guest API.
<br />js_eval(Code, Cs).
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h2 class="text-xl font-semibold mt-5 mb-3">library(pseudojson)</h2>
<br />
<br />Module </code>library(pseudojson)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> is preloaded. It provides very fast predicates for encoding and decoding JSON.
<br />Its One Crazy Trick is using regular Prolog terms such as </code>{"foo":"bar"}<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> for reading/writing.
<br />This means that it accepts invalid JSON that is a valid Prolog term.
<br />
<br />The predicate </code>json_value/2<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> converts between the same representation of JSON values as </code>library(json)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">, to ensure future compatibility.
<br />You are free to use </code>library(json)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"> which provides a JSON DCG that properly validates (but is slow for certain inputs).
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Encoding and decoding of JSON strings.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">prolog
<br />%! json_chars(?JSON, ?Cs) is det.
<br />% JSON is a Prolog term representing the JSON.
<br />% Cs is a JSON string.
<br />json_chars(JSON, Cs).
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Relates JSON terms and friendlier Value terms that are compatible with </code>library(json)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">.
<br />
<br />- strings: </code>string("abc")<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />- numbers: </code>number(123)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />- booleans: </code>boolean(true)<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />- objects: </code>pairs([string("key")-Value, ...])<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />- arrays: </code>list([...])<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">prolog
<br />%! json_value(?JSON, ?Value) is det.
<br />% Unifies JSON and Value with their library(pseudojson) and library(json) counterparts.
<br />% Can be used to convert between JSON terms and friendlier Value terms.
<br />json_value(JSON, Value).
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">
<br />
<br /><h2 class="text-xl font-semibold mt-5 mb-3">Implementation Details</h2>
<br />
<br />Currently uses the WASM build from <a href="https://github.com/guregu/trealla" class="text-primary hover:underline" target="_blank" rel="noopener noreferrer">guregu/trealla</a>.
<br />Output goes through the <a href="https://github.com/guregu/trealla/blob/main/library/js.pl" class="text-primary hover:underline" target="_blank" rel="noopener noreferrer"></code>js<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono"></a> module.
<br />
<br /><h3 class="text-lg font-medium mt-4 mb-2">$3</h3>
<br />
<br />Make sure you can build Trealla.
<br />
<br /></code>`<code class="bg-muted px-1 py-0.5 rounded text-sm font-mono">bash
<br /><h1 class="text-2xl font-bold mt-6 mb-4">install deps</h1>
<br />npm install
<br /><h1 class="text-2xl font-bold mt-6 mb-4">build wasm</h1>
<br />npm run compile
<br /><h1 class="text-2xl font-bold mt-6 mb-4">build js</h1>
<br />npm run build
<br /><h1 class="text-2xl font-bold mt-6 mb-4">"test"</h1>
<br />node examples/node.mjs
<br /></code>``
<br />
<br /><h2 class="text-xl font-semibold mt-5 mb-3">See Also</h2>
<br />
<br />- <a href="https://github.com/trealla-prolog/go" class="text-primary hover:underline" target="_blank" rel="noopener noreferrer">trealla-prolog/go</a> is Trealla for Go.
<br />- <a href="http://www.tau-prolog.org/" class="text-primary hover:underline" target="_blank" rel="noopener noreferrer">Tau Prolog</a> is a pure Javascript Prolog.
<br />- <a href="https://swi-prolog.discourse.group/t/swi-prolog-in-the-browser-using-wasm/5650" class="text-primary hover:underline" target="_blank" rel="noopener noreferrer">SWI Prolog</a> has a WASM implementation using Emscripten.
<br />- <a href="https://github.com/ciao-lang/ciaowasm" class="text-primary hover:underline" target="_blank" rel="noopener noreferrer">Ciao</a> has a WASM implementation using Emscripten.
<br /></p></div><div class="flex justify-center absolute inset-x-0 bottom-0 bg-gradient-to-t from-background via-background to-transparent pb-4 pt-16"><button data-slot="button" class="inline-flex items-center justify-center whitespace-nowrap text-sm font-medium transition-all disabled:pointer-events-none disabled:opacity-50 [&_svg]:pointer-events-none [&_svg:not([class*='size-'])]:size-4 shrink-0 [&_svg]:shrink-0 outline-none focus-visible:border-ring focus-visible:ring-ring/50 focus-visible:ring-[3px] aria-invalid:ring-destructive/20 dark:aria-invalid:ring-destructive/40 aria-invalid:border-destructive border bg-background shadow-xs hover:bg-accent hover:text-accent-foreground dark:bg-input/30 dark:border-input dark:hover:bg-input/50 h-8 rounded-md gap-1.5 px-3 has-[>svg]:px-2.5"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-chevron-down mr-1 h-4 w-4"><path d="m6 9 6 6 6-6"></path></svg>Show more</button></div></div></div><template id="P:3"></template><template id="P:4"></template></div></div></div><script>self.__next_f.push([1,"27:[\"$\",\"div\",null,{\"data-slot\":\"card-content\",\"className\":\"px-6\",\"children\":[\"$\",\"div\",null,{\"className\":\"grid gap-1 sm:grid-cols-2 lg:grid-cols-3\",\"children\":[[\"$\",\"$L5\",\"esbuild\",{\"href\":\"/package/esbuild\",\"className\":\"group flex items-center justify-between rounded-md px-2 py-1.5 text-sm transition-colors hover:bg-accent\",\"children\":[[\"$\",\"span\",null,{\"className\":\"flex items-center gap-1.5 truncate font-mono text-foreground\",\"children\":[[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-chevron-right h-3 w-3 text-muted-foreground opacity-0 transition-opacity group-hover:opacity-100\",\"children\":[[\"$\",\"path\",\"mthhwq\",{\"d\":\"m9 18 6-6-6-6\"}],\"$undefined\"]}],\"esbuild\"]}],[\"$\",\"span\",null,{\"className\":\"ml-2 shrink-0 font-mono text-xs text-muted-foreground\",\"children\":\"^0.15.10\"}]]}],[\"$\",\"$L5\",\"node-stdlib-browser\",{\"href\":\"/package/node-stdlib-browser\",\"className\":\"group flex items-center justify-between rounded-md px-2 py-1.5 text-sm transition-colors hover:bg-accent\",\"children\":[[\"$\",\"span\",null,{\"className\":\"flex items-center gap-1.5 truncate font-mono text-foreground\",\"children\":[[\"$\",\"svg\",null,{\"ref\":\"$undefined\",\"xmlns\":\"http://www.w3.org/2000/svg\",\"width\":24,\"height\":24,\"viewBox\":\"0 0 24 24\",\"fill\":\"none\",\"stroke\":\"currentColor\",\"strokeWidth\":2,\"strokeLinecap\":\"round\",\"strokeLinejoin\":\"round\",\"className\":\"lucide lucide-chevron-right h-3 w-3 text-muted-foreground opacity-0 transition-opacity group-hover:opacity-100\",\"children\":[[\"$\",\"path\",\"mthhwq\",{\"d\":\"m9 18 6-6-6-6\"}],\"$undefined\"]}],\"node-stdlib-browser\"]}],[\"$\",\"span\",null,{\"className\":\"ml-2 shrink-0 font-mono text-xs text-muted-foreground\",\"children\":\"^1.2.0\"}]]}]]}]}]\n"])</script><div hidden id="S:3"><div data-state="inactive" data-orientation="horizontal" role="tabpanel" aria-labelledby="radix-_R_aav5ubrb_-trigger-dependencies" hidden="" id="radix-_R_aav5ubrb_-content-dependencies" tabindex="0" data-slot="tabs-content" class="flex-1 outline-none mt-6"></div></div><script>$RS=function(a,b){a=document.getElementById(a);b=document.getElementById(b);for(a.parentNode.removeChild(a);a.firstChild;)b.parentNode.insertBefore(a.firstChild,b);b.parentNode.removeChild(b)};$RS("S:3","P:3")</script><div hidden id="S:4"><div data-state="inactive" data-orientation="horizontal" role="tabpanel" aria-labelledby="radix-_R_aav5ubrb_-trigger-versions" hidden="" id="radix-_R_aav5ubrb_-content-versions" tabindex="0" data-slot="tabs-content" class="flex-1 outline-none mt-6"></div></div><script>$RS("S:4","P:4")</script><script>$RC("B:1","S:1")</script></body></html>