The document presents a recursive function call involving a sum operation. It demonstrates how to evaluate two expressions a1 and b1, resulting in their combined value. The function is structured to recursively compute and combine these values.
Solution is simple.Comments added start with calling a funct.pdf
1. Solution
is simple.
Comments added start with //
//calling a function recursivly.
eva(plus(a1,b1),Value,Sol) :-
eva(a1, val, a2),
eva(b1, val, b2),
Sol is a2+b2.