gmane.comp.lang.datalog.bddbddb.devel

Basic install problem

Ashley Sterritt — 2011-05-03T18:11:47

Hey guys,
Just ran into a problem while trying to install bddbddb.

1. I downloaded the pre-built JavaBDD binaries for Linux
2. I downloaded (using 'web access' method) and compiled bddbddb, which 
created the .jar
3. I tried running it without setting classpaths explicitly, and it 
failed with:
BDD library is not in classpath!  Cannot find JavaBDD library!

4. I tried various ways of setting the classpath, though the javabdd jar 
is in the same directory, without success
e.g., java -classpath .:javabdd-1.0b2.jar -jar bddbddb.jar

5. I copied the libbuddy.so from the JavaBDD distribution itself into 
the current directory, with the same results.

Am I missing something obvious here?

Thanks,
Ashley

------------------------------------------------------------------------------
WhatsUp Gold - Download Free Network Management Software
The most intuitive, comprehensive, and cost-effective network 
management toolset available today.  Delivers lowest initial 
acquisition cost and overall TCO of any competing sol

where to find fielddomains.pa ?

Su Zhang — 2011-04-04T16:10:30

Hi there,

I downloaded the bddbddb jar file and example datalog input at the official
page. However, while I was running the tool, I got the following error
script. It claims that fielddomains.pa  couldn't be found. However, I
couldn't find the file online.  Could anyone help me out of this trouble?

$ java -jar bddbddb-full.jar input.P
Initializing BDD library (500000 nodes, cache size 125000, min free 0.2%)
buddy.dll is in use, linking temporary copy
/var/folders/gZ/gZFalIWIGEuJUksAjy8KRU+++TM/-Tmp-/buddy2480215492501851966.dll
Could not load BDD package buddy:
/private/var/folders/gZ/gZFalIWIGEuJUksAjy8KRU+++TM/-Tmp-/buddy2480215492501851966.dll:
no suitable image found.  Did find:
/private/var/folders/gZ/gZFalIWIGEuJUksAjy8KRU+++TM/-Tmp-/buddy2480215492501851966.dll:
mach-o, but wrong architecture
Using BDD library JFactory 1.20
No machine learning library found, learning disabled.
Opening Datalog program "input.P"
Exception in thread "main" java.io.FileNotFoundException:
fielddomains.pa(No such file or

bddbddb usage query

WALA Javascript — 2010-11-29T15:12:12

Hi,
       I am planning to use bddbddb for dataflow analysis of Javascript
program. I have already downloaded bddbddb but still not sure how to set it
up and use even after going through  the PLDI tutorial slides(however the
demos were missing there).
      WALA already provide tools to parse the javascript program and express
in its own intermediate format. What I intend to do is - spit out the
fact/predicates such as pointsTo(v5, h1), heapPointsTo(h4, f9, h2) etc. by
WALA say in a txt file and then feed these facts to bddbddb program
containing the inference rules. As far as I understood I can define the
inference rule according to my necessity.  Given a query say pointsTo(v100,
h50), the datalog program should decide whether it is true or false.  Is
this possible ?
        Or the java bytecode has to be provided directly to JOEq compiler
and that would produce the facts/predicates from the input program bytecode?
        I would really appreciate if someone can provide a  detailed
explanation on how the

eBuppies.com - Offers New Online Dating Site forBlack Urban Professionals

ebuppies admin — 2009-12-21T22:28:41


 <http://www.ebuppies.com/tellafriend.php>

 December 18, 2009

 <http://www.ebuppies.com/signup.php>

 Dear Friend, <http://www.ebuppies.com>

 eBuppies.com (www.ebuppies.com <http://www.ebuppies.com/signup.php>
) is a new online dating site that is dedicated to providing singles
from all over with the opportunity to connect with other buppy singles
in their local area or anywhere of their choice. 

 More and more buppy singles are going online to connect with others
because going out week after week to nightclubs and bars can be
tiresome, as well as expensive. eBuppies.com makes dating easy by
hosting hundreds of profiles of different singles looking for love.
Buppies can join on a monthly basis for less than they would probably
pay for one night at a nightclub or bar.

 Buppies who are looking for love, romance or just friendship now have
a unique resource that can help them discover their future soul mate:
eBuppies.com. 

 Although high technology drives eBuppies.com, the online dating site
is simple a