Did you know ... Search Documentation:
pce_type.pl
PublicShow source
Source pce_define_type(+Name, +Type) is det
Create a type alias name, so we can write more readable code. Typical examples make aliases for `name' (name cannot be subclassed), alias for numeric and name-sets. Here are some examples:
:- pce_define_type(rdf_resource, name).
:- pce_define_type(weekday,     {sunday,monday,tuesday,wednesday,
                                 thursday,friday,saturday}).
:- pce_define_type(natural,     '1..').