The following code delivers me a desired objects:
Code: Select all
:- public(new/3). :- mode(new(-object_identifier, +atom, +atom), one). new(Domain, LowBorder, HighBorder) :- self(Self), create_object(Domain, [extends(Self)], ,[lowBorder(LowBorder), highBorder(HighBorder), counter(0)]).
PID_A_FU_DOM = o1
Now is it possible that o1 is the PID_A_FU_DOM ? Because I'd like to write
PID_A_FU_DOM::myClause instead of o1::myClause. At the moment I get
ERROR: Arguments are not sufficiently instantiated
Exception: (10) throw(error(instantiation_error, done)) ?