Just found this in my inbox.
Do you still have an interest in COmega? I just wrote a logic programming system (mini-kanren) in comega.http://www.thinkingms.com/pensieve/
Roshan
I definitely still have an interest in COmega and am happy to promote anybody who takes interest enough in branching out their own understanding of Computer Science by developing such applications. If this happens to be you, let me know. BTW... The logic programming system entry is here.
Oh, and also... Roshan's blog is quite good as well. Take a look.