Skip to content

Commit 18cc512

Browse files
committed
Fix bullets
1 parent a569252 commit 18cc512

File tree

1 file changed

+4
-3
lines changed
  • src/app/docs/unification-of-variables-in-datalog

1 file changed

+4
-3
lines changed

src/app/docs/unification-of-variables-in-datalog/page.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -50,9 +50,10 @@ All solutions that are possible are brought by the engine, and this enables some
5050
### How Variables Get Their Values
5151

5252
Variables obtain concrete values through three primary mechanisms:
53-
* From equations - Direct assignments or comparisons
54-
* From consequences of predicates
55-
* From predicate definitions - Through pattern matching against existing data in the graph
53+
54+
* From equations - Direct assignments or comparisons
55+
* From logic constraints applied to values of variables
56+
* From predicate definitions - Through pattern matching against existing data in the graph
5657

5758
## Unification in WOQL Context
5859

0 commit comments

Comments
 (0)