Logic programming on the HEP (1985)

by John Gabriel, Tim Lindholm, E L Lusk, R A Overbeek
Venue:Parallel MIMD Computation: The HEP Supercomputer and Its Applications