Δημοσιεύτηκε: 09 Αύγ 2011, 20:20
Στην ουσία αυτό εδώ
είναι το πρόγραμμά σου. Τώρα αυτό, μπορείς να το ρωτάς διάφορα. (Έτσι γίνεται και στην prolog που το 'πρόγραμμα' είναι η βάση γνώσης σου που της κάνεις ερωτήματα. Στην prolog γράφεις γεγονότα και κανόνες με τους οποίους προκύπτουν συμπεράσματα, βλέπε πχ το γρίφο του Αινστάιν που θα μπορούσες να τον κωδικοποιήσεις με την prolog και να βρει η prolog για σένα την απάντηση)
Έτσι εδώ έχει φτιάξει μια συνάρτηση, που μπορεί να την καλεί από το hugs, και να του υπολογίζει αυτά που μπορεί να υπολογίσει. (η συνάρτηση add που να προσθέτει αριθμούς). Στην ερώτησή μου, για το πως βγαίνεις απο το hugs βγαίνεις γράφοντας
άκυρο για το ! enter, συνεχίζει να τρέχει στο παρασκήνιο η διεργασία, βαριέμαι να το ψάξω θα περιμένω να το διαβάσω από εδώ.
- Κώδικας: Επιλογή όλων
-- Add two integer numbers given
add :: Integer -> Integer -> Integer
add 0 y = y
add x 0 = x
add x y = x+y
είναι το πρόγραμμά σου. Τώρα αυτό, μπορείς να το ρωτάς διάφορα. (Έτσι γίνεται και στην prolog που το 'πρόγραμμα' είναι η βάση γνώσης σου που της κάνεις ερωτήματα. Στην prolog γράφεις γεγονότα και κανόνες με τους οποίους προκύπτουν συμπεράσματα, βλέπε πχ το γρίφο του Αινστάιν που θα μπορούσες να τον κωδικοποιήσεις με την prolog και να βρει η prolog για σένα την απάντηση)
Έτσι εδώ έχει φτιάξει μια συνάρτηση, που μπορεί να την καλεί από το hugs, και να του υπολογίζει αυτά που μπορεί να υπολογίσει. (η συνάρτηση add που να προσθέτει αριθμούς). Στην ερώτησή μου, για το πως βγαίνεις απο το hugs βγαίνεις γράφοντας
- Κώδικας: Επιλογή όλων
!
άκυρο για το ! enter, συνεχίζει να τρέχει στο παρασκήνιο η διεργασία, βαριέμαι να το ψάξω θα περιμένω να το διαβάσω από εδώ.