logic, declarative
artificial intelligence, database management, data integration, analysis
weak typing