Alight spaces between sections
Browse files
README.md
CHANGED
|
@@ -8,7 +8,7 @@ pinned: false
|
|
| 8 |
license: apache-2.0
|
| 9 |
---
|
| 10 |
|
| 11 |
-
|
| 12 |
|
| 13 |
|
| 14 |
|
|
@@ -16,8 +16,6 @@ license: apache-2.0
|
|
| 16 |
<b>Logic Language for LLMs</b>
|
| 17 |
</p>
|
| 18 |
|
| 19 |
-
<br/>
|
| 20 |
-
|
| 21 |
Hallucinations are a major challenge in LLM reasoning because natural language is unstructured. By nature, LLMs are pattern engines that reason more effectively over structured entities and relationships, enabling more reliable, near-deterministic results.
|
| 22 |
|
| 23 |
Nucleoid is designed with a minimally tokenized syntax for logic representation and a declarative execution model, eliminating the need for LLMs to manually manage control flow, state propagation, and other imperative constructs. In addition, Nucleoid is a next-generation logic programming language built on structured objects and their relationships, extending the traditional Knowledge Graph.
|
|
@@ -26,8 +24,6 @@ Nucleoid is designed with a minimally tokenized syntax for logic representation
|
|
| 26 |
- **Logic Graph:** Executable knowledge graph.
|
| 27 |
- **Explainability:** Transparent, traceable decisions.
|
| 28 |
|
| 29 |
-
<br />
|
| 30 |
-
|
| 31 |
<div align="center">
|
| 32 |
<table>
|
| 33 |
<tr>
|
|
@@ -52,8 +48,6 @@ Nucleoid is designed with a minimally tokenized syntax for logic representation
|
|
| 52 |
</table>
|
| 53 |
</div>
|
| 54 |
|
| 55 |
-
<br />
|
| 56 |
-
|
| 57 |
### Hello World
|
| 58 |
|
| 59 |
**Socrates is mortal without being told so**
|
|
@@ -73,8 +67,6 @@ socrates = Human("Socrates")
|
|
| 73 |
assert(socrates.mortal, true)
|
| 74 |
```
|
| 75 |
|
| 76 |
-
[Nucleoid Chat Video](https://github.com/NucleoidAI/Nucleoid/assets/54210920/813c14fe-43f3-445e-91d8-907433d513de)
|
| 77 |
-
|
| 78 |
---
|
| 79 |
|
| 80 |
## Language Reference
|
|
|
|
| 8 |
license: apache-2.0
|
| 9 |
---
|
| 10 |
|
| 11 |
+
<h1 align="center">Nucleoid</h1>
|
| 12 |
|
| 13 |
|
| 14 |
|
|
|
|
| 16 |
<b>Logic Language for LLMs</b>
|
| 17 |
</p>
|
| 18 |
|
|
|
|
|
|
|
| 19 |
Hallucinations are a major challenge in LLM reasoning because natural language is unstructured. By nature, LLMs are pattern engines that reason more effectively over structured entities and relationships, enabling more reliable, near-deterministic results.
|
| 20 |
|
| 21 |
Nucleoid is designed with a minimally tokenized syntax for logic representation and a declarative execution model, eliminating the need for LLMs to manually manage control flow, state propagation, and other imperative constructs. In addition, Nucleoid is a next-generation logic programming language built on structured objects and their relationships, extending the traditional Knowledge Graph.
|
|
|
|
| 24 |
- **Logic Graph:** Executable knowledge graph.
|
| 25 |
- **Explainability:** Transparent, traceable decisions.
|
| 26 |
|
|
|
|
|
|
|
| 27 |
<div align="center">
|
| 28 |
<table>
|
| 29 |
<tr>
|
|
|
|
| 48 |
</table>
|
| 49 |
</div>
|
| 50 |
|
|
|
|
|
|
|
| 51 |
### Hello World
|
| 52 |
|
| 53 |
**Socrates is mortal without being told so**
|
|
|
|
| 67 |
assert(socrates.mortal, true)
|
| 68 |
```
|
| 69 |
|
|
|
|
|
|
|
| 70 |
---
|
| 71 |
|
| 72 |
## Language Reference
|