Home >
domains >
www.itee.uq.edu.au
Qu-Prolog
The Software Verification Research Centre (Univ. of Queensland) extended version of Prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient higher-order programming and logic programming of interactive applications.
|
Keyword |
Results for this URL |
Total searches |