2012年に宣言通りブランド廃止・生産終了とされたマイバッハだったが、2014年にロサンゼルスで開催のロサンゼルスオートショーにて、メルセデスのサブブランド「メルセデス・マイバッハ」(Mercedes-Maybach) として復活した。実質的な2代目モデルとなる。2016年現在で用意されている車種は「メルセデス・マイバッハS500」「メルセデス・マイバッハS500 4MATIC」「メルセデス・マイバッハS600」の3モデルである。なお「S500」は、日本市場向けには「S550」に名称を変更し販売されている。各車種ともにSクラス（W222・ロングホイールベース車）の後席部分を約200mm延長したモデルであり、車体前後のデザインは変えておらず、事実上Sクラスのストレッチリムジン版である。2015年のジュネーヴ・ショーでは、さらにホイールベースを1,053mm伸ばし、全高も約100mm高くし、対面式4座の後席を持つ「メルセデス・マイバッハ・プルマン」が発表された。販売開始は2016年から、価格は50万ユーロからと公表された。メルセデス・マイバッハのモデルには、通常のモデルとともに、攻撃や爆発などからの乗員保護を目的に特別設計された要人向けの防弾車も用意されており、2016年2月に「メルセデス・マイバッハS600」をベースにした「メルセデス・マイバッハS600ガード」が発表され、9月には「メルセデス・マイバッハ・S600プルマン」をベースにした「メルセデス・マイバッハ・S600プルマン・ガード」も発表された。なお、サブブランド化に際し、ノーズにはベースとなったSクラス同様にスリーポインテッドスターが装着され、マイバッハのエンブレムはCピラーに配される。また、リアの左側に「MAYBACH」の、右側にはモデル名のエンブレムが配されている。なおこれはAMG GT以降のモデルにおけるメルセデスAMGの車種と同様である。2016年には、メルセデスAMG・S65カブリオレをベースとした4座オープンカー、「メルセデス・マイバッハS650カブリオレ」を発表。同年11月16日に開幕されたロサンゼルス・モーターショーにてワールドプレミアされた。これはS65カブリオレの動力系はそのままに、内外装をさらに豪華にしたモデルである。リムジンモデル同様、各所にマイバッハのエンブレムが配される。全世界で限定300台のみの販売とされる。2017年2月、メルセデス・ベンツ・Gクラスをベースとした「メルセデス・マイバッハG650ランドレー」が公表された。メルセデスAMG・G65をベースとし、脚周りにポータルアクスルを採用。地上高を450mmまで上げ、悪路走破性をさらに向上。またホイールベースを60cm延長し、2人掛けとされた後席にはマイバッハのサルーンと同様のリクライニング可能シートが装備されている。前席と後席の間にはガラス製の格納式パーティションを備え、インフォテインメント・システムや後席専用エアコンシステムも装備される。後席の頭上は開閉式電動ファブリックトップとされており、自動車メーカー製高級SUVとしては随一の4座ランドレーとなる。3月に開かれるサロン・アンテルナショナル・ド・ロトで初公開予定。また販売台数は世界限定99台の予定。
初代・新マイバッハのモデル名である「62」や「57」という2桁の数字は、これら車種の想定顧客である富裕層になじみのあるヨット（帆走艇や「プレジャーボート」など）と同様、その全長に基づく。実寸は57が5,723 mm、62が6,165 mm となる。なお、後述する2代目モデルは、ベースとなったSクラスと同様、エンジン排気量のおおよその数値の上3桁の数字で示されている。
C言語など通常のプログラミング言語の変数は値の格納場所であって、計算が進むに従って内容が変化する。Prolog などの論理型言語での変数は数学的な変数に近いもので、何らかの値につけた名前である。値は決まっているか決まっていないか(代入されているか代入されていないか)のいずれかで、一度決まってしまえば値が他の値で置き換わることはない。値が変わるのはバックトラックにより代入が解かれた後に再度値が決まった(代入された)場合のみである。この変数は他のプログラム言語のそれのようにプログラム中に宣言することはできず、述語或いは述語呼び出しの引数の位置にのみ現れる。通常のプログラミング言語の変数と区別するために論理変数と呼ばれることもある。論理変数が述語または質問の引数の位置にのみ現れるという意味を理解しやすくするために以下の例を示す。Y=Y,Y=Z,Z=3.のX,Y,Zは一見プログラムの中に宣言しているように見えるが、全て組込述語=/2の引数である。Prologにおいて=とは単一化を施すという意味である。変数の値の変化の例：?- X=Y, Y=Z, Z=3.X = 3,Y = 3,Z = 3true.?- W=5, W=3.false.論理変数は、格納場所ではなく、質問がなされる度に定義節を写して生成される一時的な論理域に存在するもので、プログラムの他の箇所からその値が参照されることはあり得ない。member(X,[X|_]).member(X,[_|R]) :-        member(X,R).第一節にXが二箇所、第二節にはXとRが二箇所現れている。それぞれの変数が最終的に同一のものに代入されることの宣言である。また上記の定義では第一節と第二節にXという論理変数が現れているが、この二つの論理変数名が同一であることには意味がない。第一節のXに値が代入されて解が得られた後、バックトラックされて第二節に移行したから値が解放されて、Xは代入されていないのではなくて、第二節のXは第一節のXとは元々無関係だから、代入されていないことになる。論理変数の名前が同一であることが意味を持つのは、質問されて、述語のひとつの定義節と融合された時、その融合された定義節側の頭部、本体の中に、同名の論理変数があるかないかだけである。質問した側の副目標の引数の論理変数がどのような表現になっているかについては没交渉である。融合の際の頭部の単一化でさえ、論理変数同士の単一化であっても、ソースプログラムで変数名が同じあるか否かは問われない。この点については、次の節の単一化を参照。ここで起こっている質問としての副目標(または目標)と定義節との融合は、述語定義のコードからは離れて、対応する節がその姿を写されて実行されるのであって、その実行と述語定義のコードは直接的な関係を持たない。したがって、この質問、導出過程で論理変数が束縛されても、述語定義の他の定義節の論理変数に影響を及ぼしようがないのである。