friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
67 stars 14 forks source link

call predicates outside of lpad scope #44

Closed mahyamkashani closed 2 years ago

mahyamkashani commented 2 years ago

Hi Fabrizio,

I started working with your packages recently. I use your package in my local system and would like to import my probabilistic program into my other codes. The document and examples are well defined. However, I was wondering how I can query on facts that I define them into LPAD module. I tried to declare the predicates in the module but it seems it can not get any arguments. sth like :- begin_lpad (test2, [path/2, move/3]). for example, if I want to use my module into other programs, I usually declare the predicates into its module: :- module(test_cplint, [ path/2, move/3 ]).

So, it seems that I cannot call the predicates which I defined neither between begin_lpad and end_lpad nor outside of its scope. What is your suggestion to overcome my problem?

PS. I found how I can use the probability outside of the module.