Perfect Language

Scala with Haskell like typing , Pointers like C and APL like tactic programing

>>19
Prolog just doesn't have any scoping (or variables in the `rest of the world' sense to begin with), thus comes in flag/3, assert/1 and retract/1, etc. This isn't so bad for Prolog since its Prolog, but its probably going to get in the way of any other paradigm...