RIF + WASP
distributed logic programming
-- uniform platform
agent technology
-- subsumes multi-user server