RIF + WASP


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