Comments on "Algorithmic state machine design and automatic theorem proving: dual approaches to the same activity
Louis J. Vroomen, Paul Zsombor-Murray, Paul C. Baracos, R. Hudson · IEEE Transactions on Computers · 1989
For original article see ibid., vol.C-31, no.10, p.853-61, Oct. 1986. Although the P-functions of the original paper are an aesthetically pleasing method for optimizing binary decision programs, existing procedures are probably more efficient. Current research applying Prolog to the automatic design of microprograms is outlined.>