需要解释此SWI Prolog气泡排序编码吗

需要知道这些L1[H1 | L2]是什么。完全不知道

b排序[]，[]：-！。 b排序[H]，[H]：-！。 bubSortL，SL:-附录L1[H1，H2 | L2]，L，H2 L1：一个逻辑变量，表示一个列表 L1=[H1 | L2]：列表L1将H1作为其头元素，L2是其所有其余元素的列表 附录L1[H1，H2 | L2]，L：列表L由列表L1的元素组成，然后是元素H1，然后是元素H2，然后是列表L2的元素 H2另请参见：

关于什么的解释？冒泡排序算法？其他地方对此有很好的解释。附加谓词？它在SWI Prolog的文档中。附录A、B、C表示B附加到A后是C。或者等效地，A与B相连是C。需要知道这些L1、[H1 | L2]是什么。完全不知道你需要去学一些非常基础的序言。书或教程。L1只是一个变量。在append中使用，它表示一个列表，因为append对列表进行操作。[H1 | L2]是一个带有头H1和尾L2的序言列表。我的回答有用吗？你还有什么问题或顾虑吗？