Logic-based knowledge representation /
Jackson, Peter,1948-
Reichgelt, Han.
Van Harmelen, Frank.
Cambridge, Mass. : MIT Press,
1989.
Includes index.
Bibliography: p.
Expert systems (Computer science)
Logic programming.