Question

Consider the rule given below:

test( [ ], 0 ).

test( [ _ | T ], N ) :- test ( T, M ) , N is M+1.

Mark all the TRUE statements.

a) The above rule tests whether N is successor of M and both N and M are positive integers.

b)The above rule computes length of a list.

c)‘is’ operator, in the above program, can be replaced by ‘=’.

d)‘is’ operator evaluates arithmetic expressions

note:choose mutiple answers

Answer 1

the above rule computes the length of a list