CiaoPP: computational properties and predicates as arguments

[simonefulvio-rollini]

Hello,

I am trying to perform determinacy checking on the following example:

:- module(test, [p1/2], [assertions,nativeprops]).

:- entry p1(N, Res) : (num(N),var(Res)).
:- check success p1(N, Res) : (num(N),var(Res)) => num(Res).
:- check comp p1(N, Res) : (num(N),var(Res)) + det.

p1(N, Res) :- p3(p2, N, Res).

:- trust pred p3(Pred, N, Res) : (predname(Pred),num(N),var(Res)) => num(Res) + det.
:- impl_defined(p3/3).

:- impl_defined(p2/2).

The use of 'predname' causes an error; I am not sure why, since the argument 'p2' seems a predicate name to me. However, this issue is easily solved by replacing 'predname' with 'atm'.

Given the determinacy assumption on p3, I was expecting p1 to be recognized as det as well, but the tool identifies p1 as semidet.

The tool instead proves p1 as det if the assumption on p3 is modified by instantiating the first parameter:
:- trust pred p3(p2, N, Res) : (num(N),var(Res)) => num(Res) + det.

Can you please help me understand what is the issue in the original precondition?