mklist/2 (i,io) ND
The mklist predicate assembles ("makes") a Prova list from a rest-free Prova list and a variable representing the list rest. The predicate follows the convention of the functional extensions to Prova to enclose the inputs in a list in the first parameter and produce the resulting list in the second. The first parameter is a list with two lists inside: a Prova list without a tail and a free variable that represents a list tail. It outputs the list composed of the first list together with the supplied rest.
This example shows how this works.
Labels: