Web Directory
 

Qu-Prolog

  Link Details for: Qu-Prolog
Link Title: Qu-Prolog Open in a new window
Link URL: http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
Link Details: 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
Category: Top : Computers : Programming : Languages : Prolog : Implementations
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Qu-Prolog