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