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

@@ -3,3 +3,7 @@
 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

examples/multi-fact.obk

@@ -0,0 +1,2 @@
+# this is a comment
+fact("chris cromer" and "martin" and "Isabella" can "program" and "speak english");

examples/obelisk.obk

@@ -0,0 +1,19 @@
+// an incomplete rule, this one stays false
+rule("chris" is "happy" if "chris" plays "playstation");
+
+// a rule that gets inserted as true right away
+fact("this" is "madness");
+rule("this" is "sparta" if "this" is "madness");
+
+// a rule that is inserted as false then updated at a later stage
+rule("bruce" is "batman" if "the waynes" are "dead");
+fact("the waynes" are "dead");
+
+// an action that will be false because the fact doesn't exist, should return ignore
+action(if "tom" is "dangerous" then "avoid" else "ignore");
+
+// an action that will be true, should return die
+action(if "this" is "sparta" then "die" else "live");
+
+fact("what" is "love");
+rule("baby" dont "hurt me" if "what" is "love");

meson.build

@@ -1,7 +1,7 @@
 project('obelisk',
     'c',
     'cpp',
-    version : '1.0.0',
+    version : '1.0.4',
     license : 'BSD-3-Clause',
     default_options : [
         'warning_level=3',
@@ -30,4 +30,5 @@ if docs_enabled
     endif
 endif
 
+subdir('sqlite')
 subdir('src')

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

sqlite/meson.build

@@ -0,0 +1,20 @@
+sqlite_sources = files(
+    'sqlite3.c'
+)
+
+sqlite_include_directories = include_directories(['.'])
+
+sqlite_args = [
+    '-DSQLITE_OMIT_DESERIALIZE',
+    '-DSQLITE_OMIT_DEPRECATED',
+    '-DSQLITE_OMIT_JSON',
+    '-DSQLITE_OMIT_LOAD_EXTENSION',
+    '-DSQLITE_OMIT_PROGRESS_CALLBACK',
+    '-DSQLITE_DEFAULT_FOREIGN_KEYS=1',
+    '-DSQLITE_DEFAULT_AUTOVACUUM=1',
+    '-DSQLITE_DISABLE_LFS',
+    '-DSQLITE_OMIT_TEMPDB',
+    '-DSQLITE_OMIT_GET_TABLE',
+    '-DSQLITE_OMIT_COMPLETE',
+    '-DSQLITE_OMIT_COMPILEOPTION_DIAGS'
+]

src/lexer.cpp

@@ -56,10 +56,10 @@ int obelisk::Lexer::getToken()
 
         if (getIdentifier() == "extern")
         {
-            return kTokenExtern;
+            return Token::kTokenExtern;
         }
 
-        return kTokenIdentifier;
+        return Token::kTokenIdentifier;
     }
 
     if (isdigit(lastChar))

src/lexer.h

@@ -80,23 +80,27 @@ namespace obelisk
                  * @brief A fact which is a relationship between 2 entities.
                  *
                  */
-                kTokenFact   = -2,
+                kTokenFact = -2,
+
                 /**
                  * @brief A rule which is a relationship between a new fact a
                  * existing fact.
                  *
                  */
-                kTokenRule   = -3,
+                kTokenRule = -3,
+
                 /**
                  * @brief An action to take if a fact is true.
                  *
                  */
                 kTokenAction = -4,
+
                 /**
                  * @brief A definition of a new function.
                  *
                  */
-                kTokenDef    = -5,
+                kTokenDef = -5,
+
                 /**
                  * @brief An external function that will be linked to.
                  *
@@ -108,16 +112,18 @@ namespace obelisk
                  *
                  */
                 kTokenIdentifier = -7,
+
                 /**
                  * @brief A double floating point value.
                  *
                  */
-                kTokenNumber     = -8,
+                kTokenNumber = -8,
+
                 /**
                  * @brief A string.
                  *
                  */
-                kTokenString     = -9
+                kTokenString = -9
             };
 
             /**

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/lib/meson.build

@@ -16,14 +16,21 @@ obelisk_lib_sources = files(
 )
 
 obelisk_lib_sources += obelisk_model_sources
-
-sqlite3 = dependency('sqlite3')
+obelisk_lib_sources += sqlite_sources
 
 incdirs = include_directories(['.', 'include'])
-lib = library('obelisk',
+
+lib = static_library('obelisk',
     obelisk_lib_sources,
+    c_args : sqlite_args,
+    include_directories: [incdirs, sqlite_include_directories],
+    install : true
+)
+
+shared_library('obelisk',
+    obelisk_lib_sources,
+    c_args : sqlite_args,
     include_directories: incdirs,
-    dependencies : [sqlite3],
     version : meson.project_version(),
     soversion : project_version_lib,
     install : true

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