From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 25 Jun 2008 16:54:35 +0000
Subject: changed names of resource-1.3; added a note on homepage on release

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

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

diff --git a/old-examples/query/Database.gf b/old-examples/query/Database.gf
new file mode 100644
index 000000000..2385b8670
--- /dev/null
+++ b/old-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