Keywords

The following strings are reserved words (keywords) in $\alpha$Prolog:

cnst      exists     ff       forall    func       infixl    
infixn    infixr     is       namespace name_type  new      
not       pred       true     tt        type