GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 00:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

examples of dialogue system grammars

Browse Source
This commit is contained in:
aarne
2006-05-16 13:07:41 +00:00
parent e1ea20277c
commit 6bbd4e423a
18 changed files with 304 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
examples/dialogue/Dialogue.gf Normal file
View File

@@ -0,0 +1,27 @@
abstract Dialogue = {
cat
Move ;
Action ;
Kind ;
Object Kind ;
Oper0 ;
Oper1 Kind ;
Oper2 Kind Kind ;
fun
MRequest : Action -> Move ;
MAnswer : Action -> Move ;
MQuery : Kind -> Move ;
AOper0 : Oper0 -> Action ;
AOper1 : (k : Kind) -> Oper1 k -> Object k -> Action ;
AOper2 : (k,m : Kind) -> Oper2 k m -> Object k -> Object m -> Action ;
OAll : (k : Kind) -> Object k ;
OIndef : (k : Kind) -> Object k ;
ODef : (k : Kind) -> Object k ;
}