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"
pdf
owner:
piotr.wasik - (no access) - Leon_Sterling_Ehud_Shapiro_The_Art_of_Prolog.pdf, p85
Summary
| status | not read | | reprioritisations | |
|---|
| last reprioritisation on | | | suggested re-reading day | |
|---|
| started reading on | | | finished reading on | |
|---|
Details