Skip to content

Commit 0e1f197

Browse files
committed
chore: update website
1 parent a429610 commit 0e1f197

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

docs/src/pages/index.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -220,4 +220,8 @@ Here's a list of prolog builtins available in the library:
220220
`retract/1`, `member/2`, `ground/1`, `append/2`, `call/1`, `once/1`, `not/1`, `functor/3`, `arg/3`, `=../2`,
221221
`findall/3`, `op/3`, `length/2`, `[]/0`,`atom_chars/2`, `number_chars/2`, `!/0`, `repeat/0`, `call/1`, `\\+/1`,
222222
`=\1`, `==/2` (as strictEq), `op/3`, `is/2`, `+/2`, `-/2`, `*/2`, `//2`, `///2`, `mod/2`, `=:=/2`, `=\\=/2`, `</2`, `>/2`,
223-
`>=/2`, `=</2`, `@</2`, `@>/2`, `@=</2`, `@>=/2`
223+
`>=/2`, `=</2`, `@</2`, `@>/2`, `@=</2`, `@>=/2`
224+
225+
### Use cases
226+
227+
* [Chess Project](https://github.com/kelvin-olaiya/PPS-22-prolog-as-scalaDSL-demo) by [@jahrim](https://github.com/jahrim) et al.

0 commit comments

Comments
 (0)