diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

small fixes

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1436 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2005-11-01 18:54:06 +00:00
parent 399029b063
commit 5d04ca9766
4 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
LGPL/chr/chr.yap
View File

@ -1,5 +1,5 @@
:- ensure_loaded(library(swi)).
:- load_files(library(swi),[silent(true),if(not_loaded)]).
:- include('chr.pl').

3
LGPL/clpr/clpr.pl
View File

@ -1,4 +1,4 @@
/* $Id: clpr.pl,v 1.2 2005-11-01 18:43:09 vsc Exp $
/* $Id: clpr.pl,v 1.3 2005-11-01 18:54:06 vsc Exp $
Part of CPL(R) (Constraint Logic Programming over Reals)
@ -97,7 +97,6 @@ user:portray_message(warning,import(_,_,clpr,private)).
prolog:message(query(YesNo,Bindings)) --> !,
{ dump_toplevel_bindings(Bindings,Constraints)},
{ dump_format(Constraints,Format) },
{ write( vsc:Format),nl },
Format,
'$messages':prolog_message(query(YesNo,Bindings)).

4
LGPL/clpr/clpr.yap
View File

@ -1,7 +1,5 @@
:- load_files(library(swi),[silent(true)]).
:- yap_flag(unknown,error).
:- load_files(library(swi),[silent(true),if(not_loaded)]).
:- include('clpr.pl').

7
pl/errors.yap
View File

@ -11,8 +11,11 @@
* File: errors.yap *
* comments: error messages for YAP *
* *
* Last rev: $Date: 2005-10-29 01:28:37 $,$Author: vsc $ *
* Last rev: $Date: 2005-11-01 18:54:06 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $
* Revision 1.68 2005/10/29 01:28:37 vsc
* make undefined more ISO compatible.
*
* Revision 1.67 2005/10/28 17:38:50 vsc
* sveral updates
*
@ -269,7 +272,7 @@ print_message(Level, Mss) :-
'$do_print_message'(declaration(Args,Action)) :- !,
format(user_error,'declaration ~w ~w.', [Args,Action]).
'$do_print_message'(defined_elsewhere(P,F)) :- !,
format(user_error, 'predicate ~q previously defined in file ~a.',[P,F]).
format(user_error, 'predicate ~q previously defined in file ~w'',[P,F]).
'$do_print_message'(import(Pred,To,From,private)) :- !,
format(user_error,'Importing private predicate ~w:~w to ~w.',
[From,Pred,To]).