| ?- class::new(Instance, 1).
Instance = o1
yes

| ?- o1::method(Value).
Value = 1
yes