[Next] [Up] [Previous] [Contents]
Next: Formulas Up: Abstract Syntax Previous: Terms   Contents

Types

The syntax of $ \alpha $Prolog types is summarized by the following grammar:
$\displaystyle ty$ $\displaystyle ::=$ $\displaystyle \mathsf{unit} \mid \mathsf{int} \mid \mathsf{bool} \mid \mathsf{char} \mid \mathsf{string}$  
  $\displaystyle \mid$ $\displaystyle tc \mid tf ty_1 \cdots ty_n \mid (ty_1,\ldots,ty_n) \mid [ty]\mid A \mid \_$  
  $\displaystyle \mid$ $\displaystyle nty \backslash ty$  


James Cheney 2003-10-23