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

fixed typo in configure.in

Browse Source 
cleaned up code in lpad.pl


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2043 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rzf 2007-12-11 11:49:36 +00:00
parent 0ba4dd8efd
commit b8f97132d2
4 changed files with 6362 additions and 6397 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12740
configure vendored
View File

File diff suppressed because it is too large Load Diff

4
configure.in
View File

@ -946,8 +946,8 @@ if test ! "$yap_cv_cplint" = "no"
GFLAGS=`glib-config --cflags glib`
CPLINT_LIBS=${CPLINT_LIBS}$GLIBS
CPLINT_CFLAGS=" $GFLAGS "
CPLINT_LDFLAGS=" `echo $GLIBS | awk '{print $1}'` -L/usrl/local/lib/"
LDFLAGS=${LDFLAGS}" `echo $GLIBS | awk '{print $1}'` -L/usrl/local/lib/"
CPLINT_LDFLAGS=" `echo $GLIBS | awk '{print $1}'` -L/usr/local/lib/"
LDFLAGS=${LDFLAGS}" `echo $GLIBS | awk '{print $1}'` -L/usr/local/lib/"
if test ! "$yap_cv_cplint" = "yes"
then
LDFLAGS+=" -L${yap_cv_cplint}/lib"

2
cplint/README
View File

@ -1,7 +1,7 @@
This directory contains the code of the LPAD anc CP-logic interpreter cplint
COMPILATION:
This package requires GLU (a subpackage of VIS) and GLIB.
This package requires GLU (a subpackage of VIS) and GLIB version 1.2.
You can download GLU from http://vlsi.colorado.edu/~vis/getting_VIS_2.1.html
You can download GLIB from http://www.gtk.org/. This is a standard Linux package
so it is easy to install using the package management software of your Linux

13
cplint/lpad.pl
View File

@ -39,7 +39,6 @@
:-use_module(library(ugraphs)).
:-use_module(library(lists)).
:- use_module(library(charsio)).
%:-load_foreign_files(['cplint'],[],init_my_predicates).
:- op(1200,xfx,<--).
@ -127,9 +126,9 @@ solve(Goal,Prob):-
var2numbers(Var,0,NewVar),
(setting(save_dot,true)->
format("Variables: ~p~n",[Var]),
compute_prob1(NewVar,Formula,_Prob,1)
compute_prob(NewVar,Formula,_Prob,1)
;
compute_prob1(NewVar,Formula,Prob,0)
compute_prob(NewVar,Formula,Prob,0)
)
;
format("It requires the choice of a head atom from a non ground head~n~p~n",[L]),
@ -140,7 +139,7 @@ solve(Goal,Prob):-
Prob=0
).
compute_prob1(Var,For,Prob,_):-
compute_prob(Var,For,Prob,_):-
compute_prob_term(Var,For,0,Prob).
compute_prob_term(_Var,[],Prob,Prob).
@ -168,7 +167,7 @@ solve_cond(Goal,Evidence,Prob):-
rem_dup_lists(LDupE,[],LE),
build_formula(LE,FormulaE,[],VarE),
var2numbers(VarE,0,NewVarE),
compute_prob1(NewVarE,FormulaE,ProbE,0),
compute_prob(NewVarE,FormulaE,ProbE,0),
solve_cond_goals(Goal,LE,ProbGE),
Prob is ProbGE/ProbE
;
@ -197,9 +196,9 @@ find_deriv_GE(LD,GoalsList,Deriv):-
call_compute_prob(NewVarGE,FormulaGE,ProbGE):-
(setting(save_dot,true)->
format("Variables: ~p~n",[NewVarGE]),
compute_prob1(NewVarGE,FormulaGE,ProbGE,1)
compute_prob(NewVarGE,FormulaGE,ProbGE,1)
;
compute_prob1(NewVarGE,FormulaGE,ProbGE,0)
compute_prob(NewVarGE,FormulaGE,ProbGE,0)
).