Proving the correctness of digital hardware design using Prolog (Informatica (Ljubljana), 1988)