The Prolog inspired language for our title project.
Go to file
Chris Cromer 56f9cf6e31
make it clear that it's the sqlite3 library and not the cli
2023-11-14 11:00:01 -03:00
doc update the documentation locations 2023-02-18 20:14:59 -03:00
examples add 2 examples 2023-02-28 22:15:01 -03:00
sqlite Remove SQLite from repo. 2023-05-02 23:21:56 -04:00
src update facts and rules recursively 2023-03-05 23:04:17 -03:00
.clang-format format to 80 columns for terminal display 2023-02-20 22:05:57 -03:00
.gitignore Ignore SQLite source and header files. 2023-05-02 23:23:08 -04:00
.pre-commit-config.yaml add lexer, parser, and ast tree 2022-10-17 22:26:36 -03:00
LICENSE initial commit 2022-10-02 20:30:58 -03:00
README.md make it clear that it's the sqlite3 library and not the cli 2023-11-14 11:00:01 -03:00
meson.build Prepare 1.0.4. 2023-05-02 23:26:01 -04:00
meson_options.txt restructure library location 2023-02-16 02:26:14 -03:00
sqlite.sh Add script and instructions to download SQLite when building. 2023-05-02 23:24:43 -04:00

README.md

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

./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.

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.

Authors

  • Christopher Cromer
  • Martín Araneda