File: t1

package info (click to toggle)
ladr 0.0.200902a-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 11,400 kB
  • ctags: 7,168
  • sloc: ansic: 59,953; perl: 1,006; python: 620; makefile: 403; sh: 86; csh: 58; modula3: 13
file content (12 lines) | stat: -rw-r--r-- 168 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
 
'hi there'.

p( a : b ).

fof(a,b,c <=> (d:e)).

fof(a, b, ( ! a : b )).

fof(subset_union,axiom,
    ( ! [B,C] : 
        ( subset(B,C)
       => union(B,C) = C ) )).