Function termToString

src/prolog/terms.js:16–29

(term)

}

export function termToString(term) {
  if (!term) return '∅';
  if (term.type==='num') return String(term.value);
  if (term.type==='atom') return term.name;
  if (term.type==='var') return term.name;
  if (term.type==='list') {
    const base = term.items.map(termToString).join(', ');
    const tail = term.tail ? ` | ${termToString(term.tail)}` : '';
    return `[${base}${tail}]`;
  }
  if (term.type==='expr') return `(${termToString(term.left)} ${term.op} ${termToString(term.right)})`;
  if (term.type==='compound') return `${term.f}(${term.args.map(termToString).join(', ')})`;
  return '';
}

export function renameVars(clause, counter = { current: 0 }) {
  const map = {};