SAIL is an ALGOL style language with additions for AI research. The manual is AIM-204, or SAIL.KVL[AIM,DOC]. An incremental manual is available as SAIL.UPD[AIM,DOC] and (usually) as SAIL.XGP[DOC,AIL].