added wikipedia lab

2022-05-30 15:01:30 +02:00
parent 01a52021b2
commit 1332d550cd
19 changed files with 3174 additions and 0 deletions
--- a/lab2/wikipedia/Facts.gf
+++ b/lab2/wikipedia/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 ;
+
+}