Title: Using prolog to implement expert systems
First published: 1983