File: otter_parse_test.txt

package info (click to toggle)
whitedb 0.7.2-1
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 2,452 kB
  • ctags: 2,681
  • sloc: ansic: 31,714; python: 790; lex: 359; java: 277; makefile: 172; yacc: 138; sh: 87; sed: 36
file content (7 lines) | stat: -rw-r--r-- 165 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
 


p(X,f(b)) | -r(X) | -m(X).
p(a,f(b)).
-s(a,2,"2").

% ((("p" "X" ("f" "b")) ("not" ("r" "X")) ("not" ("m" "X"))) (("p" "a" ("f" "b"))) (("not" ("s" "a" 2 "2"))) )