Allow underscores in asserted predicates (#93)

robsimmons · Dec 27, 2024 · 444331b · 444331b
1 parent 0ce4e23
commit 444331b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/client.ts b/src/client.ts
@@ -144,9 +144,9 @@ export class Dusa {
 
     let arity = this.prog.arities[fact.name];
     if (!arity) {
-      if (!fact.name.match(/^[a-z][A-Za-z0-9]*$/)) {
+      if (!fact.name.match(/^[a-z][A-Za-z0-9_]*$/)) {
         throw new DusaRuntimeError(
-          `Asserted predicates must start with a lowercase letter and include only alphanumeric characters, '${fact.name}' does not.`,
+          `Asserted predicates must start with a lowercase letter and include only alphanumeric characters and underscores, '${fact.name}' does not.`,
         );
       }
       arity = { args: nArgs, value: hasValue };