RIF + WASP

  • distributed logic programming -- uniform platform
  • agent technology -- subsumes multi-user server