The Implementation of Prolog

Unpack Prolog’s execution model with a fresh perspective on term encoding, pattern matching, and search control, using illustrative snippets to reveal how logical rules are evaluated step by step.

Brand: Patrice Boizumault
ISBN: 0691637709
Sponsored  This site contains affiliate links for which we may receive compensation. More information