ОСОБЕННОСТИ ПОСТРОЕНИЯ ВЫЧИСЛИТЕЛЬНОГО МЕХАНИЗМА ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
n articol sunt analizate elementele logicii, care sunt puse la baza unui deductor automat de interpretare a programelor computaționale scrisă în logică, adica deductor cum în realitate și este interpretorului limbajului de programare Prolog. Sunt descrisă pas cu pas: restricțiile față de disjuncții...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
"Ion Creanga" State Pedagogical University
2019-07-01
|
| Series: | Acta et Commentationes: Ştiinţe Exacte şi ale Naturii |
| Subjects: | |
| Online Access: | https://revistaust.upsc.md/index.php/acta_exacte/article/view/320 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | n articol sunt analizate elementele logicii, care sunt puse la baza unui deductor automat de
interpretare a programelor computaționale scrisă în logică, adica deductor cum în realitate și este
interpretorului limbajului de programare Prolog. Sunt descrisă pas cu pas: restricțiile față de disjuncții a
formei conjuctiv normale cărei poate fi aplicat efectiv principiu de rezoluție; rezoluția și unificația
gestionate în conformitate cu o strategie fixă de cautare a soluției; condiția stabilită apriori pentru alegerea
disjuncților din care să retrage rezolventa în prim pas și în pașii ce urmează în continuare pînă la
interpretarea deplină a formulei logice (program scris în Prolog) și obținerii unui rezultat în formă
acceptabilă pentru utizator. Se face analiza unor funcţii a produsului SPprolog – sistem pentru proiectări
în Prolog cu suport inteligent pentru instruire şi consultare ce ţine de lucrul cu sistemul şi limbajul de
programare în logică.
|
|---|---|
| ISSN: | 2537-6284 2587-3644 |