Define the relation :ada at end ist Item, Newilist)to add Item at the end of List producing Newlist. Let both lists be represented by defference pairs.
The relation is a function that takes two input lists (represented by difference pairs) and adds an item at the end of the first list to produce a new list. The new list, representing the updated version of the first list, is the output of the function.
The relation is a function that takes two input lists (represented by difference pairs) and adds an item at the end of the first list to produce a new list. The new list, representing the updated version of the first list, is the output of the function.