start files for lab2

2025-05-04 09:38:01 +02:00
parent 31239a3d63
commit 0671eee0ba
26 changed files with 636 additions and 0 deletions
--- a/lab2/old/wikipedia-2022/Facts.gf
+++ b/lab2/old/wikipedia-2022/Facts.gf
@@ -0,0 +1,19 @@
+abstract Facts = {
+
+flags startcat = Fact ;
+
+cat
+  Fact ;
+  Object ;
+  Attribute ;
+  Value ;
+  Name ;
+
+fun
+  AttributeFact : Attribute -> Object -> Value -> Fact ;
+
+  NameObject : Name -> Object ;
+  NameValue : Name -> Value ;
+  IntValue : Int -> Value ;
+
+}