Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.

This chapter presents a general computation model of logic programs. The first section presents a unification algorithm that removes the guess work in determining instances of terms.
If you want to change selection, open document below and click on "Move attachment"


owner: piotr.wasik - (no access) - Leon_Sterling_Ehud_Shapiro_The_Art_of_Prolog.pdf, p85


statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on



Do you want to join discussion? Click here to log in or create user.