Robert Kowalski
Inventor of
Prolog
Lately working on
Logic Production Systems
, I think?
Notes that link to this note
The rise and fall of the legal expert system