A CLIPS keretrendszer www.ghg.net/clips

CLIPS "C" Language Integration Production System

COOL A CLIPS továbbfejlesztése az objektum orientált paradigmák mentén.

CLIPS 6.23

Dialog Window Ez a CLIPS Shell, itt fogadja a parancsokat. Itt kapjuk a hibajelzéseket, és a megfigyelt objektumok értékeit. Nem tudjuk a sorok tartalmát visszatörlés nélkül javítani!

Menü Execution Gépelés nélkül itt tudunk kiadni parancsokat. Beállíthatjuk a megfigyelni kívánt objektumokat. Futtatás lépésről lépésre….

Menü File Open : megnyitás szerkesztésre. Load : állomány betöltése

CLIPS Shell

Utasítások alakja ( utasítás <paraméter>* ) <paraméter> : lehet egy újabb utasítás

Shell parancsok (clear) – törli az CLIPS környezet beállításait. (reset) – alaphelyzetbe állítja a CLIPS környezet beállításait. (load ”file”) – betölt egy állományt, egy CLIPS nyelven írt szöveges fájlt. (run) – futtatja az előzőleg betöltött programot

Programok javasolt futtatása (clear) (load ”file”) (reset) Esetenként valami kezdő állítás, tény beállítása. (run)

CLIPS – forrás állomány Megjegyzés: bármelyik sorban a ”;” jel utáni karakterek. Nincs program kezdetét ill. végét jelölő elem. Mindig azok a szabályok aktivizálódnak, melyeknél a szabály feltétele igaz.

(defrule) parancs - 1.clp [1] Szabály definiálására használjuk. (defrule <szabály név> [<comment>] [<declaration>] <conditional-element>* => <action>* )

(defrule) parancs - 1.clp [2] <szabály név> - valamilyen azonosító [<comment>] – nem kötelező megjegyzés [<declaration>] – nem kötelező deklaráció

(defrule) parancs - 1.clp [3] <conditional-element>* - feltételek ÉS kapcsolatban <action>* - ha a feltétel teljesül, akkor ez(ek) fut(nak) le. Megj: a szabályok nevét felül definiál- hatjuk. (Az utolsó lesz az érvényes.)

(defrule) példa (defrule hello => (printout t "Hello vilag!" crlf)) hello – a neve Nincs feltétel megadva, mert nem kötelező. Kiírja a „Hello vilag!” szöveget, majd sort emel.

(printout ln kif*) Logikai név Kifejezések – ezek íródnak ki.

(assert fact) Tény megadása Példa (assert (var 12)) – beállítja a var változó értékét 12-re.

2.clp Ez egy fa bejárására készült program. Futtatás előtt meg kell adnunk a volt változó értékét, mint tényt. (assert (volt start)) - legyen a start csúcs a kezdő csúcs.

(deffact név <fact>*) A programban olyan tényeket írhatunk elő ezzel, amelyek minden kiadott (reset) parancs hatására azt az eredményt adják, mintha az (assert <fact1>)….(assert <factn>) parancsokat adtuk volna ki.

(deftemplate név <mező>+) Ezzel egy több mezőből álló struktúrát alakíthatunk ki. <mező> - (slot mezőnév) slot – egyszerű mező

paraméterek ? jellel kezdődő nevek Például: ?x ?y ?valami

3.clp Nézzük meg a 3.clp programot.

Adat típusok definiálása A (deftemplate) utasítással lehet adatszerkezeteket definiálni. Nézzük meg, hogy milyen adat mezőket definiálhatunk a (slot) utasítással.

(slot) (slot név [<típus>] [<tartomány>]) <típus> NUMBER – lehet INTEGER vagy FLOAT is. INTEGER – egész számok FLOAT – lebegőpontos számok STRING - karaktersorozat

(slot) <tartomány> A mező által felvehető értékeket korlátozhatjuk ezzel a funkcióval.

(slot) – Másik alakja (slot név <felvehető értékek> <kezdőérték>) <felvehető értékek> (allowed-values x y z) : x,y,z értékeket veheti fel. <kezdőérték> (default x) : a kezdő értéke legyen x.

(retract xx) Töröl egy tényt a ténylistából.

Aritmetikai Kifejezések (<+|*> <operandus>*) eredménye az operandusok összege, vagy szorzata. Ha INTEGER és FLOAT típust adunk össze, akkor az eredmény FLOAT típusú lesz. (<-|/> <op1> <op2>) eredménye az op1-op2 vagy op1/op2 lesz.

Logikai Kifejezések (not op) (and <op>* ) (or <op>*)

Hasonlítások – minta illesztés Visszatérési érték TRUE vagy FALSE. (eq op1 op2) – bármilyen típusra. (neq op1 op2) – bármilyen típusra. Számtípusokra (= op1 op2), (<> op1 op2) (>= op1 op2), (<= op1 op2) (> op1 op2), (< op1 op2)

Értékadásnál használhatók &:, |:, ~: Példa (y ?y&:(<> ?x (- ?y 1) )) y értéke legyen ?y, felvéve hogy ?x nem egyenlő ?y-1 -el.

4.clp Nézzük meg a 4.clp programot!

(bind változó (read)) Beolvasás konzoltól, és a beolvasott értéket a változóba tároljuk.

Elágazás (if <feltétel> then <utasítás> else <utasítás> ) Nem kötelező else ág.

Ciklus (while <feltétel> <utasítás> ) (loop-for-count (változó kezdő vég) <utasítás> )

Tömb $<név> Változóként: $?<név>

Függvény (deffunction <név> (<param1> <param2> … <paramN>) Utasítások…. (return <változó>) )

Kérdező függvény (deffunction kerdes (?szoveg $?allowed) (printout t ?szoveg crlf) (bind ?v (read)) (if (= (length$ ?allowed) 0) then (return ?v) ) (while (not (member$ ?v ?allowed)) (printout t "Probald megegyszer: " ?szoveg crlf)

Kérdező függvény hívása (bind ?x kerdes ”maga a kérdés” <t>) <t> = valamilyen felsorolás, azok az elemek, amelyek a kérdésre válaszként elfogadhatóak. ?x = ebben a változóban kapjuk meg a választ.

6.clp Az előzőekre példa.

Barát javasló – friend.clp 3 kérdés alapján javasol barátot.

Barát javasló – friend2.clp Az előző rendszer egy másik megvalósítása.

Vége