|
|
|
|
|
|
|
|
|
|
$ ../Devel/tclpchr/bin/tclp append.pl %% tclp 0.3 %% tclp directory: /home/gewurz/coquery/Devel/tclpchr/bin :- typeof append(list(A),list(A),list(A)) is pred. $
|
|
|
|
|
|
|
|
|
|
type | ::= | symbol( type , ... , type ) |
| | symbol | |
| | variable | |
symbol | : | a prolog atom, which corresponds to a type constructor |
variable | : | a prolog variable, which corresponds to a type parameter |
|
|
|
|
|
|
This document was translated from LATEX by HEVEA.