20 lines
332 B
Prolog
20 lines
332 B
Prolog
% Issue 2809
|
|
|
|
:- use_module(library(freeze)).
|
|
|
|
main1 :-
|
|
freeze(Minor,true),
|
|
cbor_minor_value1(Minor, []).
|
|
|
|
main2 :-
|
|
freeze(Minor,true),
|
|
cbor_minor_value2(Minor, []).
|
|
|
|
cbor_minor_value1(24, S0) :- numbytes_number(1, S0).
|
|
|
|
cbor_minor_value2(24, S0) :- S0=S1, numbytes_number(1, S1).
|
|
|
|
numbytes_number(_, []).
|
|
|
|
test_c :- main1.
|