Λογική Πρώτης Τάξης
Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώ...
| Main Authors: | , |
|---|---|
| Format: | 7 |
| Language: | Greek |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://localhost:8080/jspui/handle/11419/3593 |
| id |
kallipos-11419-3593 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-35932021-07-11T15:30:38Z Λογική Πρώτης Τάξης Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώσσα προγραμματισμού Prolog. 2016-02-19T11:39:50Z 2021-07-09T20:06:16Z 2016-02-19T11:39:50Z 2021-07-09T20:06:16Z 2016-02-19 7 http://localhost:8080/jspui/handle/11419/3593 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell |
| spellingShingle |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης Λογική Πρώτης Τάξης |
| description |
Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώσσα προγραμματισμού Prolog. |
| format |
7 |
| author |
Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης |
| author_facet |
Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης |
| author_sort |
Stamatopoulos, Panagiotis |
| title |
Λογική Πρώτης Τάξης |
| title_short |
Λογική Πρώτης Τάξης |
| title_full |
Λογική Πρώτης Τάξης |
| title_fullStr |
Λογική Πρώτης Τάξης |
| title_full_unstemmed |
Λογική Πρώτης Τάξης |
| title_sort |
λογική πρώτης τάξης |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/3593 |
| work_keys_str_mv |
AT stamatopoulospanagiotis logikēprōtēstaxēs AT stamatopoulospanagiōtēs logikēprōtēstaxēs |
| _version_ |
1771301278045962240 |
