C is an abstraction over assembly. It is also minimal compared to prolog.