[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] PVS & Prolog



Hi there!

 

Currently, IĄŻm working on predicate abstraction. I wonder, functionally, does PVS can substitute for Prolog thoroughly? IĄŻll choose one as theorem prover.

 

Thanks in advance to anyone!

 

Changda Wang

School of computer Science, Jiangsu University

30-Jan-08



Express yourself instantly with MSN Messenger! MSN Messenger