From d933f00be208a586143b35d06e689f94a6a6f7e6 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Sun, 31 Oct 2021 02:06:07 +0100
Subject: feat(web): client support for transformation rules

---
 language-web/src/main/js/index.tsx | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'language-web/src/main/js/index.tsx')

diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx
index 595498fc..dfecde37 100644
--- a/language-web/src/main/js/index.tsx
+++ b/language-web/src/main/js/index.tsx
@@ -31,6 +31,13 @@ pred invalidTaxStatus(Person p) <->
     parent(p, q),
     !taxStatus(q, retired).
 
+direct rule createChild(p):
+    children(p, newPerson) = unknown,
+    equals(newPerson, newPerson) = unknown
+ ~> new q,
+    children(p, q) = true,
+    taxStatus(q, child) = true.
+
 unique family.
 Family(family).
 members(family, anne).
-- 
cgit v1.2.3-70-g09d2