SAIL is an ALGOL style language with additions for AI research. The manual is AIM-204, or SAIL.KVL[AIM,DOC].