Add search into the core library.

[hzhangxyz]

TODO

• C++ lib
• Python lib
• Javascript lib
• C++ test
• Python test
• Javascript test

[Copilot]

Pull Request Overview

This PR adds search functionality to the core library, enabling automated theorem proving and rule-based inference across C++, Python, and JavaScript implementations. The search functionality allows users to add rules and facts, then execute inference searches with customizable callbacks.

Key changes:

• Implemented a complete search system with cycle-based inference tracking
• Added bindings for all three target languages (C++, Python, JavaScript)
• Updated example files to demonstrate the new search API instead of manual rule matching

Reviewed Changes

Copilot reviewed 11 out of 11 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
include/ds/search.hh	Header file defining the search_t class interface and documentation
src/search.cc	Core C++ implementation of the search functionality with rule/fact management
tsds/ds.cc	JavaScript/Emscripten bindings for the search class
tsds/tsds.mts	TypeScript wrapper class providing a clean API for search functionality
pyds/ds.cc	Python/pybind11 bindings for the search class
pyds/search_t.py	Python wrapper class with type hints and clean interface
pyds/init.py	Export the Search class in the Python module
package.json	Updated emcc command to use C++20 standard
examples/.	Updated example files to use the new search API