Περίπτωση 1:
	Ερώτημα same_gen όπου και οι δυο μέλη είναι σταθερές.
	Σε αυτήν την περίπτωση όποιος τρόπος συγγραφής και να επιλεγεί,
	η αποδοτικότητα για την εύρεση του αποτελέσματος θα είναι η ίδια.
Περίπτωση 2:
	Ερώτημα same_gen όπου το το ένα μέλος είναι σταθερά και το άλλο μεταβλητή.
	Σε αυτήν την περίπτωση,το πρόβλημα ανάγεται στην βάση του αναδρομικού ορισμού του
	same_gen/2
	same_gen(X, Y) :-
   		siblings(X, Y).
	όπου το siblings/2 έχει την εξής ιδιαιτερότητα.Αν το πρώτο μέλος
	ειναι σταθερά,τότε η εύρεση γεγονότος για το parent(Z,X) είναι "άμεση"
	ενώ αν το δεύτερο μέλος είναι σταθερά τότε έχουμε μεγάλο παράγοντα διακλάδωσης
	αφού το parent(Z,X) θα ενοποιηθεί και με τα 12 γεγονότα της βάσης γνώσης, 
	οπότε θα προκύψουν 12 κλαδιά με αποτέλεσμα να κάνουμε μεγαλύτερο αριθμό απο backtracks
	κατά την αναζήτηση.
	Γενικότερα δηλαδή αν η ερώτηση είναι μεταβλητή-σταθερά πρέπει να έχουμε
	στο siblings πρώτα το parent(Z,Y) και έπειτα το parent(Z,X)
	ενώ αν έχουμε σταθερά-μεταβλητή πρέπει να έχουμε πρώτα το parent(Z,X) και έπειτα
	το parent(Z,Y). 
	Για τον αναδρομικό ορισμό του same_gen/2:
	same_gen(X, Y) :-
		parent(P, X),
		parent(Q, Y),
		same_gen(P, Q).
	Με οποιονδήποτε και απο τους δύο συνδυασμούς(Χ=μεταβλητη,Υ=σταθερά,Χ=σταθερά,Υ=μεταβλητή)
	δώσουμε την ερώτηση τα κλαδία που θα δημιουργήθουν θα είναι ίδια για την αναζήτηση
	του πατέρα του Χ και του Y.To μόνο που θα αλλάξει είναι το επίπεδο που θα γίνουν περισσότερα
	τα κλαδια.Δηλαδή στην περίπτωση που το Χ ειναι μεταβλητή και το Y είναι σταθέρα,δεδομένου του
	ορισμού που έχει δωθεί,πρώτα θα γίνει η μεγάλη διακκλάδωση για την αναζήτηση της αλήθειας
	μέσω του parent(P,X) (12 κλαδία) και μετά "αμμεση" ταυτοποίηση-ενοποίηση για το parent(Q,Y)
	Στην αντίθετη περίπτωση πρώτα θα γίνει η ταυτοποίηση-ενοποίηση και μετά θα γίνει η διακλάσωση
	για την εύρεση της αλήθειας.

Περίπτωση 3:
	Ερώτημα όπου δίνονται και τα δύο μέλη ως μεταβλητές.
	Σε αυτήν την περίπτωση η prolog είναι αναγκασμένη να ψάξει όλο το χώρο με όλες τις περιπτώσεις
	για να συμπεράνει τα αποτελέσματα της.Το πρόβλημα που υπήρχε στην περίπτωση 2 για τους sibling πλεόν ανάγεται
	,και αυτή, στο επίπεδο που θα γίνει η διακλάδωση το οποίο προφανώς και δεν επηρεάζει την χρονική πολυπλοκότητα
	που θα χρειαστεί το σύστημα για να εξάγει συμπεράσματα,όπως είπαμε πιο πάνω στην περίπτωση του αναδρομίκού ορισμού 
	του same_gen/2.

Το μόνο που δεν έχει ειπωθεί σε όλες τις περιπτώσεις είναι η αναζήτηση μέσα στη βάση γνώσης.
Αν το γεγονός που αληθεύει ένα ερώτημα βρίσκεται χαμηλά στη βάση γνώσης και το σύστημα εξετάζει ένα
προς ένα απο πάνω προς τα κάτω τα γεγονότα τότε υπάρχει μια μικρή χρονική διαφορά απο το να ήταν 
το συγκεκριμένο ερώτημα "ψηλά" στη βάση γνώσης.