Title: The mechanism and freedom of logic
First published: 1993
Subjects: Prolog (Computer program language), Logic, PROLOG (Programmiersprache), Computer, Mathematische Logik, Logische Programmierung, Prolog (computer program language)
LC classification: BC108 .H36 1993