The token (=>+) means one or more rule application. show path 7 . state 0, Person: person (single, 1) ===] .] ===> state 1, Person: person (single, 2) ===] .] ===> state 7, Person: person (married, 2) As we can see the rule application "birthday" followed by "las-vegas" got us where we wanted.
Το σύμβολο (=>+) σημαίνει μια ή περισσότερες εφαρμογές όρων. show path 7 . state 0, Person: person (single, 1) ===] .] ===> state 1, Person: person (single, 2) ===] .] ===> state 7, Person: person (married, 2) Το επιθυμητό αποτέλεσμα προκύπτει από την εφαρμογή του κανόνα "birthday" και μετά του κανόνα "las-vegas".