is_list( ?_List_ ) More...

Detailed Description

is_list( ?_List_ )

List must be a list, that is, it must be bound to a true list

The predicate causes an instantiation exception if List is unbound, and fails if Term is bound but not to a list

The documentation for this class was generated from the following file: