Query regarding the Multi-Digit Addition

[SachinVashisth]

Hi

I am reading about the DeepProbLog programs. In the paper, an experiment regarding multi-digit MNIST addition is mentioned as shown below:

But I am getting slightly confused with the syntax here like what H and T mean here. Here, I am assuming that Acc and Acc2 are accumulator variables that store the intermediate results.
Let's say I supply the following input to this program as shown:

Do H and T mean the first and last elements of the list respectively?
If I have to represent a list with K elements, then how to represent all the elements except the first and the last?
What is the stopping condition in this recursive program? Is it [H|T] that says that only two elements can be present in the list?
Do you have any kind of tutorial apart from the examples provided in the research paper?

[rmanhaeve]

Hi.

This is standard Prolog notation, so for help on this I recommend a Prolog tutorial covering lists. I believe your questions will be covered by this: https://www.tutorialspoint.com/prolog/prolog_lists.htm
The Acc and Acc2 variables are indeed accumulators for the intermediate results.

Hope this helps,
Robin