Merge pull request #2 from cromerc/develop

Develop

.dockerignore

@@ -0,0 +1,10 @@
+README.md
+LICENSE
+.pre-commit-config.yaml
+.gitignore
+.clang-format
+examples
+Dockerfile
+build
+builddir
+out

.gitignore

@@ -4,3 +4,6 @@ builddir
 *.kb
 *.obk
 !examples/*.obk
+sqlite/*.c
+sqlite/*.h
+out

Dockerfile

@@ -0,0 +1,26 @@
+FROM ubuntu:22.04 AS build-prep
+RUN apt update && apt upgrade -y
+RUN apt install -y llvm clangd meson ninja-build pkg-config libsqlite3-dev doxygen graphviz wget unzip
+WORKDIR /obelisk
+COPY . .
+RUN ./sqlite.sh
+
+FROM build-prep AS build-machine
+RUN meson --prefix=/usr build
+RUN cd build && ninja -v
+
+FROM build-machine AS build-machine-intermediate
+RUN cd /obelisk/build/src/lib && rm -rf *.h *.p models
+
+FROM scratch AS obelisk
+COPY --from=build-machine-intermediate /obelisk/build/src /bin/
+COPY --from=build-machine-intermediate /obelisk/build/src/lib /lib/
+COPY --from=build-machine-intermediate /obelisk/build/doc/man /man/
+COPY --from=build-machine-intermediate /obelisk/build/doc/html /doc/
+ENTRYPOINT [ "/bin/obelisk" ]
+
+FROM scratch AS binaries
+COPY --from=obelisk /bin/obelisk /bin/
+COPY --from=obelisk /lib /lib/
+COPY --from=obelisk /man /man/
+COPY --from=obelisk /doc /doc/

README.md

@@ -0,0 +1,52 @@
+# 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 library and headers(in debian libsqlite3-dev)
+ - C++ 17
+ - C 17
+
+## Build
+
+### Normal build
+
+```
+./sqlite.sh
+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.
+
+### Build in docker image
+
+```
+docker build ./ --output=out
+```
+
+This will create a directory called out which will contain the binaries, libraries, and generated documentation.
+
+## 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.4',
     license : 'BSD-3-Clause',
     default_options : [
         'warning_level=3',

sqlite.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+VERSION=sqlite-amalgamation-3410000
+
+pushd sqlite
+wget https://sqlite.org/2023/${VERSION}.zip
+unzip ${VERSION}.zip
+cp ${VERSION}/sqlite3.c .
+cp ${VERSION}/sqlite3.h .
+rm -rf ${VERSION} ${VERSION}.zip
+popd

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