Method executeQuery

src/ui/repl.js:104–202

()

  }

  executeQuery() {
    let queryText = this.input.value.trim();
    if (!queryText) return;

    // Add to history
    this.history.push(queryText);
    this.historyIndex = undefined;

    // Display query
    const queryDiv = document.createElement('div');
    queryDiv.className = 'repl-query';
    queryDiv.innerHTML = `<span class="repl-prompt">?-</span> ${this.escapeHtml(queryText)}`;
    this.output.appendChild(queryDiv);

    // Clear input
    this.input.value = '';

    try {
      // Normalize query: strip ?- prefix and ensure trailing period
      queryText = queryText.replace(/^\?-\s*/, '').trim();
      if (!queryText.endsWith('.')) {
        queryText += '.';
      }

      // Parse query as a program (treating it as a fact/clause)
      // parseProgram returns an array of clauses directly
      let clauses;
      try {
        clauses = parseProgram(queryText);
      } catch (parseError) {
        this.showError(`Parse error: ${parseError.message}`);
        return;
      }

      if (!clauses || clauses.length === 0) {
        this.showError('Syntax error: Could not parse query (no clauses generated)');
        return;
      }

      // Get goals from query (body of first clause, or head if it's a fact)
      const clause = clauses[0];
      const goals = clause.body && clause.body.length > 0 ? clause.body : [clause.head];

      // Execute query
      const program = this.getProgram();
      const ctx = {
        bpm: 120, // default BPM for built-ins that need it
        stateManager: this.stateManager
      };

      const solutions = [];
      const maxSolutions = 100; // Limit solutions to prevent infinite loops

      for (const env of resolveGoals(goals, {}, program, ctx, this.builtins)) {
        solutions.push(env);
        if (solutions.length >= maxSolutions) {
          this.showWarning(`Showing first ${maxSolutions} solutions (limit reached)`);
          break;