S式

基本的にはペア(リストを表現するための最小単位)とアトムの二つの型から成り立っており(物によってはベクターなども扱えるが一旦置いておく)、ペアの要素としてペアを含むことが可能なため再帰的な構造をしている

アトムは内部にS式を含んでいない型で、初期のLISPにはシンボルしかなかった