[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


Express yourself instantly with MSN Messenger! MSN Messenger