1
Download ciao Reference Manual - pdf
Transcript
604 The Ciao Prolog System get type/2: PREDICATE Usage: get_type(+Constant, Type) − Description: Prolog implementation-specific definition of type retrievals. CIAO Prolog version given here (ISO). − Call and exit should be compatible with: +Constant is any term. (basic_props:term/1) Type is an SQL data type supported by the translator. (sqltypes:sqltype/1) type compatible/2: PREDICATE Usage: type_compatible(TypeA, TypeB) − Description: Checks if TypeA and TypeB are compatible types, i.e., they are the same or one is a subtype of the other. − Call and exit should be compatible with: TypeA is an SQL data type supported by the translator. (sqltypes:sqltype/1) TypeB is an SQL data type supported by the translator. (sqltypes:sqltype/1) type union/3: Usage: type_union(TypeA, TypeB, Union) − Description: Union is the union type of TypeA and TypeB. − Call and exit should be compatible with: TypeA is an SQL data type supported by the translator. TypeB is an SQL data type supported by the translator. Union is an SQL data type supported by the translator. PREDICATE (sqltypes:sqltype/1) (sqltypes:sqltype/1) (sqltypes:sqltype/1) sybasetype/1: SQL datatypes supported by Sybase for which a translation is defined: sybasetype(integer). sybasetype(numeric). sybasetype(float). sybasetype(double). sybasetype(date). sybasetype(char). sybasetype(varchar). sybasetype(’long varchar’). sybasetype(binary). sybasetype(’long binary’). sybasetype(timestamp). sybasetype(time). sybasetype(tinyint). Usage: sybasetype(Type) − Description: Type is an SQL data type supported by Sybase. REGTYPE
