From 026857614235f6a81858b60e2e7c4d5d14d001d5 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 21 Apr 2006 09:14:05 +0000
Subject: embedded haskelle example: query

---
 examples/query/Database.gf | 45 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 examples/query/Database.gf

(limited to 'examples/query/Database.gf')

diff --git a/examples/query/Database.gf b/examples/query/Database.gf
new file mode 100644
index 000000000..2385b8670
--- /dev/null
+++ b/examples/query/Database.gf
@@ -0,0 +1,45 @@
+-- abstract syntax of a small arithmetic query language
+
+abstract Database = {
+
+cat 
+  Query ; S ; Q ; NP ; CN ; PN ; A1 ; A2 ;
+
+fun 
+  QueryS : S -> Query ; 
+  QueryQ : Q -> Query ;
+
+  PredA1  : NP -> A1 -> S ;
+
+  WhichA1 : CN -> A1 -> Q ;
+  WhichA2 : CN -> NP -> A2 -> Q ;
+
+  ComplA2 : A2 -> NP -> A1 ;
+  UseInt  : Int -> NP ;
+
+  Every   : CN -> NP ;
+  Some    : CN -> NP ;
+
+-- lexicon
+
+  Number : CN ;
+  Even,Odd,Prime : A1 ;
+  Equal,Greater,Smaller,Divisible  : A2 ;
+
+-- replies
+
+cat Answer ; ListInt ;
+
+fun
+  Yes,No : Answer ;
+  None : Answer ;
+  List : ListInt -> Answer ;
+  One : Int -> ListInt ;
+  Cons : Int -> ListInt -> ListInt ;
+
+-- general moves
+fun
+  Quit : Query ;
+  Bye : Answer ;
+
+}
-- 
cgit v1.2.3