Writing Domain Rules in Neo4j

Hello Everyone,

There is an effort being made to write Domain Rules in Neo4j so that along with data everything should be in Neo4j, and these rules can then be used for making inference. We can think of it similar to Horn Clause Rules in First-Order Logic where inference can be made using these rules against a knowledge base.

Is there a way to write such Domain Rules in Neo4j - having any sort of equivalent operators like AND, OR, NOT, IMPLIES, DERIVATION etc?

Please share any insights.