Απορία Prolog

[pbp]

>
suzeuksi(X,Y,0) :- X=0;Y=0.
suzeuksi(X,Y,1) :- X=1,Y=1.

 

Γεια σας,

έχω φτιάξει τον κανόνα της σύζευξης σε prolog και δουλεύει σωστά μονο που όταν πατάω

suzeuksi(0,0,X).

μου βγάζει 2 φορές X=0. και καταλαβαίνω ότι το κάνει γιατί μπαίνει 2 φορές στον πάνω κανόνα.

Μήπως όμως μπορείτε να μου πείτε πως μπορώ να το αποφύγω αυτό?

Ευχαριστώ.

[pbp]

κανεις?

Pls I need help!

[migf1]

Χλωμό να βρεις Prolog εδώ, δοκίμασε σε κάποιο από τα δημοφιλή ξένα φόρουμ.

[georgemarios]

Νομίζω αυτό θες

 

>
suzeuksi(X,_,0) :- X=0, ! .
suzeuksi(_,Y,0) :- Y=0, !.
suzeuksi(X,Y,1) :- X=1,Y=1.

 

Μπορεί να γίνεται και πιο κομψά, έχω αιώνες να ασχοληθώ με προλογκ

[pbp]

Νομίζω αυτό θες

 

>
suzeuksi(X,_,0) :- X=0, ! .
suzeuksi(_,Y,0) :- Y=0, !.
suzeuksi(X,Y,1) :- X=1,Y=1.

 

Μπορεί να γίνεται και πιο κομψά, έχω αιώνες να ασχοληθώ με προλογκ

 

Σε ευχαριστώ πολύ φίλε μου,

Να σαι καλά

[pbp]

Σε ευχαριστώ πολύ φίλε μου,

Να σαι καλά

 

Τώρα που το ξαναβλέπω...

Το θαυμαστικό τι ακριβώς κάνει?

Είναι σα να του λέει σταμάτα τον έλεγχο εδώ?

[georgemarios]

Χονδρικά ναι, ονομάζεται cut/1 predicate και αυτό που κάνει απενεργοποιεί το backtracking από το σημείο που εμφανίζεται και μετά.