From f46000cd1171ada2b12c1dcabc074983a09f5865 Mon Sep 17 00:00:00 2001 From: Theofrastos Mantadelis Date: Thu, 2 Dec 2010 15:02:49 +0100 Subject: [PATCH] office fix --- packages/ProbLog/problog_examples/office.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/ProbLog/problog_examples/office.pl b/packages/ProbLog/problog_examples/office.pl index 115a22d4a..cc3fdd08d 100644 --- a/packages/ProbLog/problog_examples/office.pl +++ b/packages/ProbLog/problog_examples/office.pl @@ -3,13 +3,13 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % ProbLog program describing an office window % example for using hybrid ProbLog -% $Id: office.pl 4876 2010-10-05 16:15:57Z theo $ +% $Id: office.pl 4970 2010-10-21 08:47:36Z bernd $ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- use_module('../problog'). -width(gaussian(2,1)). -length(gaussian(9,3)). +(W,gaussian(2,1)) :: width(W). +(L,gaussian(9,3)) :: length(L). 0.8 :: office_has_window. 0.001 :: corridor_has_window.