请教一个HTML文件代码的问题

各位高手，我在看《爱上 Raspberry》这本书的时候发现其中在介绍web服务器的地方，在html文件中用到了
{% if 表达式 %}
表达式
{% endif %}
的语法，请问这个属于是什么语言的语法？这个问题困惑我好久了。麻烦大家知道的告诉我一下，多谢。