home *** CD-ROM | disk | FTP | other *** search
-
- Listing 1
- Prolog Subset Phrase Grammar
-
-
- Start ááááá-> Prolog
-
- Prolog áááá-> Prolog Clause
- -> Clause
-
- Clause áááá-> Goals '.'
- -> Goals ':-' Goals '.'
-
- Goals ááááá-> Goals ',' Goal
- -> Goal
-
- Goal áááááá-> Predicate '(' Components ')'
-
- Components -> Components ',' Component
- -> Component
-
- Component á-> Functor '(' Components ')'
- -> '<VARIABLE>'
- -> Constant
- -> List
-
- Constant áá-> '<NUMBER>'
- -> '<ATOM>'
-
- Functor ááá-> '<ATOM>'
-
- Predicate á-> '<ATOM>'è
- áááááááááList áááááá-> '[' ']'
- -> '[' Head ']'
- -> '[' Head '|' Tail ']'
-
- Head áááááá-> Components
-
- Tail áááááá-> List
-