examples/nlg/Logic.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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;

}