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

added example for NLG from logical formula. See examples/nlg

Browse Source
This commit is contained in:
kr.angelov
2011-08-30 14:58:16 +00:00
parent dbe00fd0eb
commit 399d4a60a4
4 changed files with 206 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
examples/nlg/Logic.gf Normal file
View File

@@ -0,0 +1,20 @@
abstract Logic = {
cat
Ind; Prop;
fun
john : Ind;
mary : Ind;
boy : Ind -> Prop;
love : Ind -> Ind -> Prop;
leave : Ind -> Prop;
smart : Ind -> Prop;
exists : (Ind -> Prop) -> Prop;
forall : (Ind -> Prop) -> Prop;
and,or : Prop -> Prop -> Prop;
impl : Prop -> Prop -> Prop;
not : Prop -> Prop;
eq : Ind -> Ind -> Prop;
}