FRL
<A HREF=http://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/kr/systems/frames/frl/0.html >
code and examples
</A>