A Prolog programozási nyelv

További információk

Nyelvi specifikáció

<mondat>           ::=  <kifejezés 1200> <záró-pont>
<kifejezés N>      ::=  <op N fx> <köz> <kifejezés N-1>            |
                        <op N fy> <köz> <kifejezés N>              |
                        <kifejezés N-1> <op N xfx> <kifejezés N-1> |
                        <kifejezés N-1> <op N xfy> <kifejezés N>   |
                        <kifejezés N> <op N yfx> <kifejezés N-1>   |
                        <kifejezés N-1> <op N xf>                  |
                        <kifejezés N> <op N yf>                    |
                        <kifejezés N-1>
<kifejezés 1000>   ::=  <kifejezés 999>, <kifejezés 1000>
<kifejezés 0>      ::=  <név>(<argumentumok>)                      |
    {A <név> és a nyitó zárójel közvetlenül egymás után kell álljon}
                        (<kifejezés 1200>)                         |
                        {<kifejezés 1200>}                         |
                        <lista>                                    |
                        <név>                                      |
                        <szám>                                     |
                        <füzér>                                    |
                        <változó>
<op N T>           ::=  <név>
       {ha <név> N prioritású, T típusú operátorként lett deklarlva}
<argumentumok>     ::=  <kifejezés 999>                            |
                        <kifejezés 999>, <argumentumok>
<lista>            ::=  []                                         |
                        [<listakif>]
<listakif>         ::=  <kifejezés 999>                            |
                        <kifejezés 999>,<listakif>                 |
                        <kifejezés 999>                            |
                        <kifejezés 999>
<szám>             ::=  <előjeltelen szám>                         |
                        + <előjeltelen szám>                       |
                        - <előjeltelen szám>
<előjeltelen szám> ::=  <természetes szám>                         |
                        <lebegőpontos szám>

Linkek