Resolve source code top-down rather than bottom-up.

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "bfg-prolog"
-version = "0.6.0"
+version = "0.7.0"
 authors = ["Ebrahim Azarisooreh <ebrahim.azarisooreh@gmail.com>"]
 edition = "2018"
 

src/lib.rs

@@ -513,7 +513,7 @@ mod tests {
     #[test]
     fn test_unify_3_succeeds() {
         let x = Term::Var(Var::new("X", 0));
-        let y = Term::Var(Var::new("Y", 0));;
+        let y = Term::Var(Var::new("Y", 0));
 
         let env = Environment::new().unify_terms(&x, &y);
         unification_result(&env.unwrap(), &mut [(Var::new("X", 0), y)]);
@@ -522,7 +522,7 @@ mod tests {
     #[test]
     fn test_unify_4_succeeds() {
         let x1 = Term::Var(Var::new("X", 0));
-        let x2 = Term::Var(Var::new("X", 0));;
+        let x2 = Term::Var(Var::new("X", 0));
 
         let env = Environment::new().unify_terms(&x1, &x2);
         unification_result(&env.unwrap(), &mut []);

src/main.rs

@@ -35,7 +35,10 @@ fn main() {
 
 fn read_source_code(path: &str) -> Vec<Assertion> {
     let s = read_to_string(String::from(path)).unwrap();
-    parse_code(&s)
+    let mut source = parse_code(&s);
+    source.reverse();
+
+    source
 }
 
 fn parse_code(code: &str) -> Vec<Assertion> {