StackExchange 站点的命令行搜索工具是怎么样的

# search using default configuration$ so how do i reverse a list in python
# search for a latex solution$ so --site tex how to put tilde over character
# use google to search stackoverflow.com, askubuntu.com, and unix.stackexchange.com$ so -e google -s askubuntu -s stackoverflow -s unix how do i install linux

use canrun::{Goal, both, unify, var, example::I32};
let x = var();let y = var();let goal: Goal = both(unify(x, y), unify(1, x));let result: Vec<_> = goal.query(y).collect();assert_eq!(result, vec![1])