Fix broken link

Author: Y-Nak

book/src/what_is_chalk.md

@@ -41,8 +41,8 @@ and impls, into *logical predicates*. This process is called "lowering", and you
 can learn more about in the [*Lowering to Logic*][lowering-to-logic] and
 [*Lowering Rules*][lowering-rules]) sections.
 
-[lowering-rules]: /clauses/lowering_rules.html
-[lowering-to-logic]: /clauses.html
+[lowering-rules]: ./clauses/lowering_rules.html
+[lowering-to-logic]: ./clauses.html
 
 After lowering to logical predicates, Chalk then deploys a *logical solver* to
 find the answer to the original query; this solver is similar to a Prolog

book/src/what_is_chalk/walkthrough.md

@@ -178,14 +178,14 @@ Likewise, lowering tests use the [`lowering_success!` and
 ## More Resources
 
 * [Chalk Source Code](https://github.com/rust-lang/chalk)
-* [Chalk Glossary](/glossary.md)
+* [Chalk Glossary](../glossary.md)
 
-[goals-and-clauses]: /clauses/goals_and_clauses.html
+[goals-and-clauses]: ../clauses/goals_and_clauses.html
 [HIR]: https://rustc-dev-guide.rust-lang.org/hir.html
-[lowering-forall]: /clauses.html#type-checking-generic-functions-beyond-horn-clauses
-[lowering-rules]: /clauses/lowering_rules.html
-[slg]: /engine/slg.html
-[wf-checking]: /clauses/wf.html
+[lowering-forall]: ../clauses.html#type-checking-generic-functions-beyond-horn-clauses
+[lowering-rules]: ../clauses/lowering_rules.html
+[slg]: ../engine/slg.html
+[wf-checking]: ../clauses/wf.html
 
 [ast]: https://en.wikipedia.org/wiki/Abstract_syntax_tree
 [chalk]: https://github.com/rust-lang/chalk