From 23a787bcb3b79fec8edd232f850601c97ed12362 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 6 Jun 2013 19:22:22 -0500 Subject: [PATCH] mlns in PFL --- packages/CLPBN/examples/mln.pfl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/CLPBN/examples/mln.pfl b/packages/CLPBN/examples/mln.pfl index 4c0e473d8..ac892c112 100644 --- a/packages/CLPBN/examples/mln.pfl +++ b/packages/CLPBN/examples/mln.pfl @@ -1,8 +1,8 @@ :- use_module(library(mlns)). -mln_domain(a(domain)). -mln_domain(b(domain)). +mln_domain a(domain). +mln_domain b(domain). mln 10:(a(X) ; b(X)).