|
From: <chr...@us...> - 2012-02-25 16:43:39
|
Revision: 3576
http://dlvhex.svn.sourceforge.net/dlvhex/?rev=3576&view=rev
Author: chrisr86
Date: 2012-02-25 16:43:33 +0000 (Sat, 25 Feb 2012)
Log Message:
-----------
Modified Paths:
--------------
dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh
dlvhex-dlplugin/branches/release2x/examples/wine_count.sh
Modified: dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh
===================================================================
--- dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh 2012-02-25 14:02:18 UTC (rev 3575)
+++ dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh 2012-02-25 16:43:33 UTC (rev 3576)
@@ -45,7 +45,7 @@
notdry(X) :- wine(X), not dry(X).
% Single out the dry wines under default assumption:
- mcdry(\"Dry\", X) :- notdry(X).
+ mcdry(\"DryWine\", X) :- notdry(X).
dry(X) :- wine(X), &dlC[\"wine.rdf\", pcdry, mcdry, prdry, mrdry, \"DryWine\"](X)<fullylinear>.
" > $wd/prog.hex
Modified: dlvhex-dlplugin/branches/release2x/examples/wine_count.sh
===================================================================
--- dlvhex-dlplugin/branches/release2x/examples/wine_count.sh 2012-02-25 14:02:18 UTC (rev 3575)
+++ dlvhex-dlplugin/branches/release2x/examples/wine_count.sh 2012-02-25 16:43:33 UTC (rev 3576)
@@ -11,11 +11,12 @@
#maxint=1000.
wine(X) :- &dlC[\"wine.rdf\", pcwine, mcwine, prwine, mrwine, \"$category\"](X).
- cnt(\"$category\", C) :- C = #count{ X : wine(X) }.
+ dry(X) :- &dlC[\"wine.rdf\", pcwine, mcwine, prwine, mrwine, \"DryWine\"](X), wine(X).
+ cnt(\"$category\", CW, CD) :- CW = #count{ W : wine(W) }, CD = #count{ D : dry(D) }.
" > $wd/prog.hex
- dlvhex2 --silent $wd/prog.hex
+ dlvhex2 --silent --plugindir=../src/.libs/ $wd/prog.hex
done
# cleanup
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|