Description:
This exciting text is the first to make it possible to teach the foundations of logic programming and Prolog programming in the same course. This approach examines how the theory of logic programming can be applied to verify Prolog programs.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Please Wait