• prolog
  • modelogix