Skip to content

Commit da85120

Browse files
committed
Fix a typo
1 parent 42344c9 commit da85120

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ Rulewerk
66

77
Rulewerk is a Java library based on the [VLog rule engine](https://github.com/karmaresearch/vlog).
88

9-
***Note:*** The recent [Nemo rule engine](https://github.com/knowsys/nemo) also implements support for a Rulewerk-like Datalog-dialect, and might be a good choice for some projects using Rulewerk. Currently, there is no Rulewerk-integration of Nemo yet, but many Rulewerk progams will work in Nemo (or can easliy be adapted), whereas Nemo tends to have more features (e.g., arithmetic built-ins and datatype support).
9+
***Note:*** The recent [Nemo rule engine](https://github.com/knowsys/nemo) also implements support for a Rulewerk-like Datalog-dialect, and might be a good choice for some projects using Rulewerk. Currently, there is no Rulewerk-integration of Nemo yet, but many Rulewerk progams will work in Nemo (or can easily be adapted), whereas Nemo tends to have more features (e.g., arithmetic built-ins and datatype support).
1010

1111
Installation
1212
------------

0 commit comments

Comments
 (0)