Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm6}} * fejezetek: 3.1.5 * fóliák: I.50-58 ==3.1.5 Operátorok== Az operátorok „szintaktikus édesítőszerek”, mert…”

2012-10-21T20:09:51Z

Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm6}} * fejezetek: 3.1.5 * fóliák: I.50-58 ==3.1.5 Operátorok== Az operátorok „szintaktikus édesítőszerek”, mert…”

Új lap

{{GlobalTemplate|Infoalap|PrologElm6}}

* fejezetek: 3.1.5
* fóliák: I.50-58

==3.1.5 Operátorok==

Az operátorok &bdquo;szintaktikus édesítőszerek”, mert a kifejezés beolvasását követően eltűnnek, a rendszeren belül a kifejezés szabványos alakú lesz. Pl.:

=S1+S2>1000.= hívás alapstruktúra alakja: =>(+(S1, S2), 1000).=

'''Új operátor létrehozása:'''
<pre>
:- op(<prioritás>, <fajta>, <operátornév>).
:- op(500, xfx, --).
</pre>

'''Operátoros kifejezés:'''
<pre>
<összetett kifejezés> ::= <struktúranév> (<argumentum>, ...)
| <argumentum> <operátornév> <argumentum> % infix kifejezés
| <operátornév> <argumentum> % prefix kifejezés
| <argumentum> <operátornév> % posztfix kifejezés

<operátornév> ::= <struktúranév>
</pre>

Az '''operátornév''' tetszőleges névkonstans lehet, egyszerre több (azonos prioritású és fajtájú) operátort is létrehozhatunk: a harmadik paramétert szögletes zárójelbe tesszük és vesszővel választjuk el az operátorokat (pl. <pre>:- op(500, yfx, [+, -]).</pre>).

A '''prioritás''' egy egész szám 1 és 1200 között. A kisebb prioritású operátorok előbb zárójeleződnek mint az ugyanolyan fajtájúak. A 0 prioritás megszünteti az operátort.

A '''fajta''' jellemző azt határozza meg, hogy az azonos prioritású operátorok hogyan zárójeleződjenek.
Az f szemlélteti az operátort,
* x: az adott oldalon nem állhat azonos prioritású operátor zárójelezetlenül
* y: az adott oldalon állhat azonos prioritású operátor zárójelezetlenül

Pl: infix operátorok esetén
* yfx balról jobbra zárójelez, ilyen a + és a - is.
* xfy jobbról balra zárójelez.
* xfx nem engedi egyik oldalt se az azonos precedenciájú zárójelezetlen operátort, ilyen a > és a < is.

A fajta lehetséges értékei: xfx, xfy, yfx (infix), fx, fy (prefix), xf, yf (postfix).

'''A Prolog operátorok előnyei:'''
* lehetővé teszi az ismert matematikai leírásokat
* metaprogramozásra is lehetőséget ad
* könnyen olvashatóvá teszi a kódot

Hátránya viszont hogy az operátor definiciónak nem lokális a hatása (bármikor felüldefiniálható a használt operátor prioritása)

[[Category:Infoalap]]

Operátorok - Laptörténet

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm6}} * fejezetek: 3.1.5 * fóliák: I.50-58 ==3.1.5 Operátorok== Az operátorok „szintaktikus édesítőszerek”, mert…”