Menu

Tree [39a11c] master /
 History

HTTPS access


File Date Author Commit
 clpq 2012-08-01 Vítor Santos Costa Vítor Santos Costa [23a8bc] Merge branch 'master' of git://www.swi-prolog.o...
 clpqr 2012-02-12 Vítor Santos Costa Vítor Santos Costa [88a03a] Merge branch 'master' of git://www.swi-prolog.o...
 clpr 2014-09-13 Vítor Santos Costa Vítor Santos Costa [f086a9] documentation updates
 .fileheader 2012-02-12 Vítor Santos Costa Vítor Santos Costa [88a03a] Merge branch 'master' of git://www.swi-prolog.o...
 .gitignore 2012-03-27 Vítor Santos Costa Vítor Santos Costa [8ff716] Merge branch 'master' of www.swi-prolog.org:/ho...
 ChangeLog 2010-01-15 Vitor Santos Costa Vitor Santos Costa [0072de] Merge branch 'master' of git://prolog.cs.vu.nl/...
 Makefile.in 2014-02-13 Vítor Santos Costa Vítor Santos Costa [4aa1c2] big makefile cleanup
 Makefile.mak 2011-02-05 Vitor Santos Costa Vitor Santos Costa [f71221] Merge branch 'master' of git://www.swi-prolog.o...
 README 2006-03-03 Jan Wielemaker Jan Wielemaker [278dfd] * Replaced CLPR by CLPQR
 clpq.pl 2012-02-12 Vítor Santos Costa Vítor Santos Costa [88a03a] Merge branch 'master' of git://www.swi-prolog.o...
 clpr.pl 2014-09-13 Vítor Santos Costa Vítor Santos Costa [f086a9] documentation updates
 configure.in 2014-10-25 Vitor Santos Costa Vitor Santos Costa [39a11c] typos
 install-sh 2006-03-03 Jan Wielemaker Jan Wielemaker [278dfd] * Replaced CLPR by CLPQR

Read Me

			    SWI-Prolog CLP(Q,R)
			    -------------------

Author: Leslie De Koninck, K.U.Leuven

This software is based  on  the   CLP(Q,R)  implementation  by Christian
Holzbauer and released with permission from  all above mentioned authors
and Christian Holzbauer under the   standard  SWI-Prolog license schema:
GPL-2 + statement to allow linking with proprietary software.

The sources of this  package  are   maintained  in  packages/clpr in the
SWI-Prolog  source  distribution.  The  documentation    source   is  in
man/lib/clpr.doc as part of the overall SWI-Prolog documentation.

Full documentation on  CLP(Q,R) can be found at

	http://www.ai.univie.ac.at/cgi-bin/tr-online?number+95-09