Optional parameters
Posted: 4 Sep 2019 0:37
Hello Thomas,
in below call to enum/3 the last argument for an [out] parameter cannot (unintentionally?) be skipped (in VIP 902).
in below call to enum/3 the last argument for an [out] parameter cannot (unintentionally?) be skipped (in VIP 902).
Code: Select all
domains
unsigned3Enumerator = (unsigned A [out], unsigned B [out], unsigned C [out]) nondeterm.
class predicates
enum : unsigned3Enumerator.
clauses
enum(1, 2, 3).
enum(4, 5, 6).
clauses
run() :-
List = [ A || enum(A, _B) ], %error c229 : Undeclared identifier 'enum/2', the identifier is known as 'enum/3'
stdIO::write(List).