Logic programming - Academic Press Clark, K. L (LONDON ACADEMIC PRESS, 1982)
Keywords: LOGIC SYMOLIC AND MATHEMATICAL ELECTRONIC DIGITAL COMPUTERS PROGRAMMING ACC NO-