Implementations of logic programming systemsEvan Tick, Giancarlo Succi · First published 1994Open the Tome
Memory performance of prolog architecturesEvan Tick · First published 1987 · Latest edition 1988Open the Tome