ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE
The present article focuses on some events that contributed to the appearance and evolution of formal logic, logic programming and Prolog programming language. The elements of logic programming theory that brought together let us comprehend the basic concepts are given - from alphabet and syntax to...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Moldova State University
2008-01-01
|
| Series: | Studia Universitatis Moldaviae: Stiinte Umanistice |
| Online Access: | https://ojs.studiamsu.md/index.php/stiinte_exacte_si_economice/article/view/312 |
| _version_ | 1797326530861334528 |
|---|---|
| author | USM ADMIN |
| author_facet | USM ADMIN |
| author_sort | USM ADMIN |
| collection | DOAJ |
| description | The present article focuses on some events that contributed to the appearance and evolution of formal logic, logic
programming and Prolog programming language. The elements of logic programming theory that brought together let us comprehend the basic concepts are given - from alphabet and syntax to Horn clause. In some sections of the article, the material is structured and presented in the graphical form or in the form convenient for representation in a, so-called, "matrix of knowledge elements" - the environment for the problem description in structured form and tool for knowledge bases construction, used in programmed training. |
| first_indexed | 2024-03-08T06:24:31Z |
| format | Article |
| id | doaj.art-aeb4eea7f4a241c79251e29fdb552e6e |
| institution | Directory Open Access Journal |
| issn | 1857-2073 2345-1009 |
| language | English |
| last_indexed | 2024-03-08T06:24:31Z |
| publishDate | 2008-01-01 |
| publisher | Moldova State University |
| record_format | Article |
| series | Studia Universitatis Moldaviae: Stiinte Umanistice |
| spelling | doaj.art-aeb4eea7f4a241c79251e29fdb552e6e2024-02-03T15:02:00ZengMoldova State UniversityStudia Universitatis Moldaviae: Stiinte Umanistice1857-20732345-10092008-01-013ASPECTE TEORETICE ALE PROGRAMĂRII LOGICEUSM ADMIN0Studia Universitas MoldaviaeThe present article focuses on some events that contributed to the appearance and evolution of formal logic, logic programming and Prolog programming language. The elements of logic programming theory that brought together let us comprehend the basic concepts are given - from alphabet and syntax to Horn clause. In some sections of the article, the material is structured and presented in the graphical form or in the form convenient for representation in a, so-called, "matrix of knowledge elements" - the environment for the problem description in structured form and tool for knowledge bases construction, used in programmed training.https://ojs.studiamsu.md/index.php/stiinte_exacte_si_economice/article/view/312 |
| spellingShingle | USM ADMIN ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE Studia Universitatis Moldaviae: Stiinte Umanistice |
| title | ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE |
| title_full | ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE |
| title_fullStr | ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE |
| title_full_unstemmed | ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE |
| title_short | ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE |
| title_sort | aspecte teoretice ale programarii logice |
| url | https://ojs.studiamsu.md/index.php/stiinte_exacte_si_economice/article/view/312 |
| work_keys_str_mv | AT usmadmin aspecteteoreticealeprogramariilogice |