Merge pull request 'develop' (#27) from develop into master

Reviewed-on: #27

README.md

@@ -0,0 +1,41 @@
+# Obelisk
+
+The Obelisk project is a declarative language designed to help with the implementation of Artificial Intelligence using an easy to use logical programming language.
+
+## Build requirements
+
+ - Meson
+ - Ninja
+ - LLVM 14
+ - sqlite 3
+ - C++ 17
+ - C 17
+
+## Build
+
+```
+meson builddir
+cd buildir
+ninja
+```
+
+This process will generate the binary "obelisk", a shared library "libobelisk.so", and a static library "libobelisk.a".
+
+The binary is used to compile and create obelisk knowledge bases and the the libraries can be linked against to consult the Obelisk knowledge base from any software that can link with the libraries.
+
+## Install
+
+```
+ninja install
+```
+
+This will install the Obelisk cli and the Obelisk library globally. You can also copy the resulting shared and/or static library to a project to link against and use an Obelisk knowledge base.
+
+## License
+
+Obelisk is licensed under the [The 3-Clause BSD License](LICENSE).
+
+## Authors
+
+ - Christopher Cromer
+ - Martín Araneda

meson.build

@@ -1,7 +1,7 @@
 project('obelisk',
     'c',
     'cpp',
-    version : '1.0.1',
+    version : '1.0.3',
     license : 'BSD-3-Clause',
     default_options : [
         'warning_level=3',

src/lib/knowledge_base.cpp

@@ -250,6 +250,7 @@ void obelisk::KnowledgeBase::checkRule(obelisk::Fact& fact)
             auto updateFact = rule.getFact();
             updateFact.setIsTrue(1.0);
             updateFact.updateIsTrue(dbConnection_);
+            checkRule(updateFact);
         }
     }
 }

src/main.h

@@ -15,7 +15,7 @@ namespace obelisk
      *
      */
     std::string usageMessage = R"(Usage: obelisk [OPTION]... [FILE]...
-Compile the obelisk source FILE(s) into knoweldge base and library.
+Compile the obelisk source FILE(s) into knowledge base and library.
 
 Options:
   -h, --help            shows this help/usage message