Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
1035 46 |
Ultima descărcare din IBN: 2024-04-08 12:49 |
SM ISO690:2012 PELIN, Serghei, PELIN, Nicolae. Deducţia logică – mecanism de calcul al limbajului de programare logică
. In: Studia Universitatis Moldaviae (Seria Ştiinţe Exacte şi Economice), 2008, nr. 8(18), pp. 110-116. ISSN 1857-2073. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Studia Universitatis Moldaviae (Seria Ştiinţe Exacte şi Economice) | ||||||
Numărul 8(18) / 2008 / ISSN 1857-2073 /ISSNe 2345-1033 | ||||||
|
||||||
Pag. 110-116 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
Some methodological aspects of logic programming training are analyzed, are described some core functions of SPprolog – a developing environment that represents means for developing applications in Prolog supported by the intellectual training system which provides training for working with the system and logic programming language. |
||||||
|