Stack Overflow
Stack Overflow

Questions tagged [logicblox]

LogicBlox is a "smart database" that combines transactions, analytics, planning and business logic. LogicBlox applications are primarily written using the LogiQL programming language.

From their website:

LogicBlox is a smart database that combines transactions, analytics, planning and business logic.

24 questions
5
votes
3 answers

What is the difference between Datalog and LogiQL?

The LogicBlox database is programmed using the LogiQL language, which is according to their site some sort of variant of Datalog: Applications are written using the LogiQL language, an extended version of Datalog What exactly are the differences…
Nanne
  • 64,065
  • 16
  • 119
  • 163
3
votes
2 answers

lb web-client export always using /tmp directory

In my lb-web-server.config file I have set the following: [handler:delimited-file] classname = com.logicblox.bloxweb.delim.DelimitedFileHandler tmpdir = /my/temp/dir When I run an export with lb web-client export --no-compress --output…
Angie Merryweather
  • 107
  • 5
3
votes
1 answer

How do I create a autoNumbered predicate in LogiQL?

I'm wondering how to work with autoNumbered refmode predicates in LogicBlox / LogiQL I followed the example in the manual but then am having trouble asserting facts into the entity predicate, the first one would be added but subsequent attempts…
Ryan W Gough
  • 157
  • 7
2
votes
2 answers

How to query logicblox

I have an entity predicate eg. "Person" with related functional predicates storing attributes about the entity. Eg. Person(x), Person:id(x:s) -> string(s). Person:dateOfBirth[a] = b -> Person(a), datetime(b). Person:height[a] = b -> Person(a),…
Jayd
  • 880
  • 1
  • 12
  • 16
2
votes
1 answer

Which LogicBlox time zone spec?

In each distribution of LogicBlox, there are two CSV files pertaining to supported time zones: logicblox-4.x.x | └─share | └─logicblox | └─BlockResources | └─timezone | …
Angie Merryweather
  • 107
  • 5
2
votes
2 answers

How could I encode "implies" logic in LogicBlox?

I would like to encode "implies" logic in LogicBlox. I have a predicate: Number(n),hasNumberName(n:i)->int(i). isTrue[n] = i -> Number(n), boolean(i). And I add some data in that predicate: +Number(1). Now, I want to create number 2 and number 3,…
jitron
  • 135
  • 1
  • 9
2
votes
1 answer

HTTP request equivalent of lb web-client import --full

How can I achieve the same functionality as lb web-client import --import file.csv --full http://service-uri with an HTTP request made with a tool like cURL?
Angie Merryweather
  • 107
  • 5
1
vote
1 answer

How do I use entities that have a constructor predicate in TDX in LogiQL

I want to convert an existing entity that uses a refmode into one that has a multidimensional constructor predicate. However, I am unsure of how to update a TDX service that creates those entities. Attempting to use the service unchanged from when…
Ryan W Gough
  • 157
  • 7
0
votes
1 answer

How to avoid materialization of recursive logical predicates in logicblox/logiQL?

I am trying to play around with the features of LogicBlox as a Datalog solver. I have performance issues and I think I am using LB wrong because it behaves as if it is materializing all relations (which a Datalog solver with e.g. magic sets would…
Louis
  • 133
  • 4
0
votes
1 answer

How to create autonumbered predicates in .logic files in LogiQL?

I am trying to set up a project with autoNumbered predicates. I couldn't use the lang:autoNumbered option in .logic files as it gave me the error that it expected a constraint or a lang:ordered. So I rewrote my code in a .lb file, which worked. The…
D. Miedema
  • 1
  • 3
0
votes
2 answers

How do I combine protobuf services and branch services?

I have a project with a profobuf services, which works fine: jamie@machine:~/imp/lb$ lb delete imp && lb services restart ... jamie@machine:~/imp/lb$ lb create imp && lb compile project ~/imp/lb/imp.project && lb addproject imp ~/imp/lb created…
Jamie Brandon
  • 1
  • 1
0
votes
1 answer

How to query changes to IDB predicates?

I want to make changes to some EDBs and then find out how the IDBs changed as a result. The docs say that the query stage comes after the final stage and "has access to the effects of stage FINAL". But if I run query '_(id) <- ^level(id;…
Jamie Brandon
  • 1
  • 1
0
votes
1 answer

LB 4.1: uid is not installed

I am trying to use the unique id as described in the Reference Manual. However, I get the following error: Error: P2PMapping defined at block_1Z1C1O1V:4(2)--7(73) requests module 'uid', but no module with that name is installed. How do I install…
meow
  • 27
  • 4
0
votes
1 answer

logicblox simple rule intermediate representation

I have a logiql file with many "complicated" rules. Here are some examples: tuple1(x), tuple2(x), function1[y, z] = x <- in_tuple1(x), in_tuple2(x, y), in_tuple3[x, y] = z. tuple1(x,y) <- (in_tuple1(x,z), in_tuple2(y,z)); in_tuple2(x,y) For my…
meow
  • 27
  • 4
0
votes
1 answer

Sets in Logicblox

Is it possible to model sets in Logicblox. Specifically, I want to have a set of Integers, say {1,4,9}, and would like to check if the set is an empty-set, and if some element belongs to the set.
Shambo
  • 898
  • 1
  • 10
  • 17
1
2