Subiect: Introducere în Visual Prolog. Structura programului pe Prolog. Fapte, reguli, întrebări.
Scop: Aflați cum să lucrați în mediul Visual Prolog.
Partea teoretică
Cunoașterea mediului prolog vizual
Pentru a porni mediul Visual Prolog, apăsați pe pictograma de pe desktop sau selectați „Start \ Programs \ Visual Prolog 5.2 \ Visual Prolog 32» ( «Start \ Programs \ Visual Prolog 5.2 \ Visual Prolog 32" ), iar apoi va apărea o fereastră cu următorul meniu principal și bara de instrumente:
Fig.1. Meniul principal și bara de instrumente VisualProlog.
Creați un fișier nou.
Renunțați la acțiune.
Întoarcerea acțiunilor anulate (Redo).
Rulați proiectul pentru execuție.
Testarea secțiunii programului Obiectiv.
Înainte de a începe să studiați elementele de bază ale programării logice, este recomandabil să vă familiarizați cu ferestrele Visual Prolog:
o fereastră de mesaj (figura 3), în care este posibilă urmărirea operațiunilor efectuate de mediul în ansamblu;
Figura 3. Fereastra de mesaje VisualProlog.
o fereastră pentru emiterea erorilor (figura 4) (dublul clic pe eroare vă permite să mutați cursorul în codul programului în poziția în care a apărut eroarea);
Figura 4. Fereastra de raportare a erorilor VisualProlog.
fereastra de ieșire a rezultatelor (figura 5), unde puteți vedea direct modul în care funcționează programul.
Figura 5. Fereastra pentru afișarea rezultatelor comenzii TestGoal.
Mai întâi, creați un nou document Visual Prolog:
faceți clic pe bara de instrumente sau pe
selectați elementul de meniu Fișier \ Nou.
Ca urmare, va apărea fereastra prezentată în figura 2. Introduceți următorul text în fereastra care apare:
scrie ("Salut lume!"), nl.
Pentru a verifica funcționarea programului, selectați elementul de meniu Project \ Test sau faceți clic pe butonul din bara de instrumente. Imediat fereastra va apărea în figura 5, dacă nu s-au făcut erori, altfel veți vedea fereastra din Fig. Răspunsul este «Da» sistem după emiterea rezultatelor principale este că obiectivul a fost îndeplinit cu succes în secțiunea Goal, în caz contrar Visual Prolog va da rezultatul «Nu». Astfel de răspunsuri sunt asociate în principal cu faptul că în Visual Prolog bazat este logica prima limbă predicatelor de ordinul, care este cunoscut pentru a lucra cu valorile logice ale propozițiilor predicat, cum ar fi „True» sau «fals» ( «Adevărul“ sau «Lie» respectiv).
2. Structura prologului vizual al programului
De obicei, programul Visual Prolog include trei sau patru secțiuni principale. Aceasta este secțiunea expresii clauze, secțiunea predicate predicate, secțiunea de domenii de domenii și secțiunea țintă țintă.
2.1. Clauzele secțiunii
În clauzele secțiunii, programatorul plasează toate faptele și regulile incluse în program.
Expresiile legate de un predicat special trebuie plasate împreună în secțiunea clauzelor. Secvența expresiilor de definire a predicatelor se numește PROCEDURĂ.
Când încercați să atingeți un obiectiv, Visual Prolog funcționează chiar de la începutul secțiunii clauzelor. căutând prin procesul de căutare în mod consecvent orice fapt sau regulă. Pe măsură ce trece prin clauzele secțiunii Visual Prolog stabilește indicii interne după fiecare expresie care satisface sub curent. În cazul în care o astfel de expresie nu face parte din decizia care duce la calea logică, Visual Prolog revine la index set și căutările pentru un alt meci. Acest proces se numește backtracking.
Un fapt este o relație sau o proprietate, despre care se știe că este adevărat. De exemplu:
Regula este o construcție care conține anumite condiții:
pred4 (Arg1, Arg2, ArgN) dacă
pred5 (.) și pred6 (.) și. predN (.).
pred4 (Arg1, Arg2, ArgN): -pre5 (.), pred6 (.). predN (.).
unde ": -" se potrivește "dacă" și "," se potrivesc "și".
În caz contrar, regula este o relație înrudită. Regulile permit Prologului să furnizeze logic o informație de la alta. Regula presupune valoarea "adevăr" dacă se dovedește că setul de condiții dat este adevărat.
Articole similare
Trimiteți-le prietenilor: