[mercury-users] Absolute beginner's problem

[Maurizio Colucci]

Hello again,

Am I forced to use the if-then-else notation? The compiler cannot figure out 
this...

:-pred test(float, string).
:-mode test(in, out) is det.
test(F, S):-
	F = 0.0,
	S = "hi".
test(F, S):-
	F \= 0.0,
	S = "there".


174: In `test(in, out)':
174:   error: determinism declaration not satisfied.
174:   Declared `det', inferred `nondet'.
176:   Unification of `F' and `0.00000000000000' can fail.
179:   Negated goal can succeed.
175:   Disjunction has multiple clauses with solutions.


Thanks a lot,

Maurizio
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------