Is it possible to declare a procure in an interface to a class that returns a compound domain?
Such as:
Code: Select all
interface X
getDates()->dates Dates.
end interface X
Code: Select all
domains
dates = d (integer,integer,integer).
Dave
Code: Select all
interface X
getDates()->dates Dates.
end interface X
Code: Select all
domains
dates = d (integer,integer,integer).
Code: Select all
class dateStore : dateStore
open core
end class dateStore
Code: Select all
implement dateStore
open core
facts
date_fact : ( integer, integer, integer ).
clauses
tryGetDate() = date(M,D,Y) :-
date_fact(M,D,Y),
!.
end implement dateStore
Code: Select all
interface dateStore
open core
domains
dateDOM = date( integer, integer, integer ).
predicates
tryGetDate : () -> dateDOM determ.
end interface dateStore