Prolog technology as a basis for verification systems
Susan L. Gerhart · ACM SIGSOFT Software Engineering Notes · 1985
Prolog presents an interesting alternative technology to Lisp and Pascal-like languages for implementing verification systems. The AFFIRM Specification and Verification System has been partially re-implemented successfully in Prolog. Experiences and conjectures about the future role of Prolog are discussed.