[dlvhex-notify] SF.net SVN: dlvhex:[3576] dlvhex-dlplugin/branches/release2x/examples

[<chr...@us...>]

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.