Εξωλογικά Χαρακτηριστικά της Prolog
Το κεφάλαιο παρουσιάζει τα λεγόμενα εξωλογικά χαρακτηριστικά της γλώσσας Prolοg τα οποία, αν και ξεφεύγουν της κατηγορηματικής λογικής πρώτης τάξης (εξω-λογικά), είναι απαραίτητα για την ανάπτυξη πρακτικών εφαρμογών. Η παρουσίαση ξεκινά με την υπόθεση του κλειστού κόσμου, η οποία επιτρέπει την υλοπο...
| Κύριοι συγγραφείς: | , , , , , , , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/786 |
