Arabic has some special syntax features which lead to complex syntax structures. We have developed a formal description of Arabic syntax in Definite Clause Grammar. This grarnrnar is characterized by its high descriptive power due to its dual formulation in terms of functions and in terms of grammatical categories. The developed grammar has a high coverage of Arabic language and has context sensitive capabilities. It is suitable for the advanced applications of natural language processing.