Λογικός Προγραμματισμός - Υπολογισμός με Λογική
Ο σκοπός του κεφαλαίου αυτού είναι να γίνει μία εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και να δείξει, αρκετά συνοπτικά, τι είναι οι προτάσεις Horn και πώς χρησιμοποιώντας την αρχή της επίλυσης ή, καλύτερα, μία ειδικότερη μορφή της που εφαρμόζεται στις προτάσεις Horn, τον κανόνα εξαγωγής...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/3588 |
