KR contains no implementation-specific code and should run on all major Common Lisp implementations. It is completely unmaintained, though.
Julian Stecklina has taken this out of the Garnet code, ASDF-ified it and fixed some non-standard code. If you are interested, contact him.
If you are looking for something to use in new code, you might consider David O'Toole's CLON which was inspired by KR.
Another ASDF-ized version of KR as it appears in Garnet 3.0 is available for cloning on GitHub.
KR manual is apparently available in PostScript version (alternately available as kr-manual.pdf).
See Also: PowerLoom
Topics: Public Domain, Knowledge Representation Systems