Lotus Formelsprache ist eine spezifische Makro-Programmiersprache (4GL) für Entwicklungen in Lotus Notes von der Firma Lotus Notes (übernommen von der Firma IBM), in der sog. @-Befehle und @-Funktionen verwendet werden.