Halite is a highly experimental general purpose language that mixes elements of logical and functional programming. Its syntax is remarkably similar to that of Haskell, yet its semantics are thoroughly unique, requiring a completely new way of thinking about programming. Whereas other languages rely on the programmer explicitly defining values and giving implementations of algorithms, Halite only needs to know the relations and properties that objects have.