The Prolog inspired language for our title project.

Chris Cromer ba7e0b1203 allow insertion of facts that haven't been proven true yet		2023-02-03 23:16:03 -03:00
doc	update doxygen config	2022-12-10 00:28:13 -03:00
src	allow insertion of facts that haven't been proven true yet	2023-02-03 23:16:03 -03:00
.clang-format	raise character limit to 120	2022-12-13 17:35:14 -03:00
.gitignore	ignore knowledge base files	2022-11-01 01:10:37 -03: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
meson.build	make sure llvm core module is present	2022-12-10 00:57:58 -03:00