Research language from around 2010 for knowledge representation and logic stuff. Eventually a strong influence on ErgoAI.
There is a related RIF dialect, RIF-SILK.
I guess this is a predecessor to Rulelog, but Flora-2 is apparently also based on Rulelog, but I think Flora-2 is older than SILK, so… I dunno. Maybe I'm wrong about the timeline
cf SweetRules, an earlier (~2005) Grosof project in a similar vein.