From 65b8f1d984fe0baabd0c9bad35313fa9ef08f693 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Thu, 15 Nov 2001 17:14:50 +0000
Subject: [PATCH] new file

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@178 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 CLPQR/clpq.yap | 78 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 78 insertions(+)
 create mode 100644 CLPQR/clpq.yap

diff --git a/CLPQR/clpq.yap b/CLPQR/clpq.yap
new file mode 100644
index 000000000..e26c78e06
--- /dev/null
+++ b/CLPQR/clpq.yap
@@ -0,0 +1,78 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%  clp(q,r)                                         version 1.3.3 %
+%                                                                 %
+%  (c) Copyright 1992,1993,1994,1995                              %
+%  Austrian Research Institute for Artificial Intelligence (OFAI) %
+%  Schottengasse 3                                                %
+%  A-1010 Vienna, Austria                                         %
+%                                                                 %
+%  File:   clpq.pl                                                %
+%  Author: Christian Holzbaur           christian@ai.univie.ac.at %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+:- module( clpq, [
+	                {}/1, 
+			maximize/1,
+			minimize/1, 
+			inf/2, inf/4, sup/2, sup/4,
+			bb_inf/3,
+			bb_inf/5,
+			ordering/1,
+			entailed/1,
+			dump/3
+		 ]).
+
+:- multifile
+	user:portray/1,
+	user:portray_message/2.
+
+:- dynamic
+	user:portray/1,
+	user:portray_message/2.
+%
+user:portray( rat(A,B)) :-
+	nonvar( A),				% during debugging ...
+	nonvar( B),
+	portray_rat( A, B).
+
+% Must write a space before negative numbers if called e.g. in the
+% context of writing F=rat(A,B).
+%
+portray_rat(A, B) :-
+	(   A<0, B==1 -> write(' '), write(A)
+	;   B==1 -> write(A)
+	;   A<0 -> write(' '), write(A/B)
+  	;   write(A/B)
+  	).
+
+%
+% Don't report export of private predicates from clpq
+%
+%
+user:portray_message( warning, import(_,_,clpq,private)).
+  
+this_linear_solver( clpq).
+
+:- use_module( 'clpq/arith_q').
+
+:- ensure_loaded( 
+	[
+	    'clpqr/itf3',
+	    'clpqr/store'			% early because of macros
+						% but after itf3
+	]).
+
+:- use_module( 'clpq/geler').
+:- use_module( 'clpq/nfq').
+:- use_module( 'clpq/class').
+
+:- ensure_loaded( 
+	[
+	    'clpqr/project',
+	    'clpqr/bv',
+	    'clpqr/ineq',
+	    'clpqr/redund',
+	    'clpqr/fourmotz',
+	    'clpqr/bb',
+	    'clpqr/dump'
+	]).