	\| Home \| L4US \| Webmaster tools \| Tell a friend \| Contact us \|


		this category only

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.

Using content from DMOZ.org

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor