ふむ…。
web上にはそれに関するリソース見つけきれないです。
もう少し探してみよう。

検索の過程でなんとなくひっかかった情報達
ttp://mizotec.s27.xrea.com/slang/overview.html
ttp://www.kt.rim.or.jp/〜tyamamot/forth/c4th.html
ttp://homepage2.nifty.com/logic/
ttp://www.kt.rim.or.jp/〜tyamamot/forthj/forthj.html

prologとかなり親和性が高い様な気がするなあ