fork(6) download
  1. author(dijkstra, algol).
  2. author(ritchie, unix).
  3. author(wirth, pascal).
  4. author(kernighan, awk).
  5. author(backus, fortran).
  6. author(kernighan, unix) .
  7. author(backus, algol) .
  8. author(kernighan, awk).
  9. author(ritchie, plan9).
  10. author(ritchie, c).
  11. author(torvalds, linux).
  12. author(corbato, multics).
  13. author(aho, awk).
  14. author(thompson, c).
  15. author(straustrup, cpp).
  16. author(hubbard, freebsd).
  17.  
  18. basedOn(linux, unix).
  19. basedOn(pascal, algol).
  20. basedOn(plan9, unix).
  21. basedOn(unix, multics).
  22. basedOn(awk, c).
  23. basedOn(inferno, plan9).
  24. basedOn(limbo, c).
  25. basedOn(cpp, c).
  26. basedOn(freebsd, c).
  27. basedOn(openbsd, freebsd).
  28.  
  29. derivedFrom(X, Y) :- basedOn(X, Y).
  30. derivedFrom(X, Z) :- basedOn(X, Y), basedOn(Y, Z).
  31.  
  32.  
Success #stdin #stdout #stderr 0.02s 6204KB
stdin
author(X, Y), derivedFrom(Y, unix).
stdout
Standard output is empty
stderr
X = ritchie,
Y = plan9 
EOF: halt