File: otter_parse_test.txt

package info (click to toggle)
whitedb 0.7.3%2Bgit211004%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 3,244 kB
  • sloc: ansic: 31,363; javascript: 3,299; python: 790; lex: 359; java: 277; makefile: 195; sh: 164; yacc: 138; sed: 41
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"))) )