datalog

datalog copied to clipboard

This branch implements a more strongly-typed data model. Users can specify a custom type system for relations and ensure at compile time that embedded datalog problems respect that type system....

travitch

looks pretty great / seems buildable, whats blocking a release atm?

cartazio

The tests demonstrate how to make a database from scratch and query it. But what if you wanted to add a relationship to an existing database, or assert that a...

JeffreyBenjaminBrown

Can the same variable not appear twice in a literal?

1

I ask because the README says "Rewrite literals like f(X,X) into f(X,Y), X=Y. A few internals assume that the same variable doesn't appear twice in a literal" -- but it...

JeffreyBenjaminBrown

Add Stack build.

1

epost

Multiple Inference Predicates

3

``` haskell where q = do use

mwillsey

RangeRestrictionViolation for literal in head

2

The following code generates a RangeRestrictionViolation in the MagicSets transformation ``` haskell db2 :: Maybe (Database Text) db2 = makeDatabase $ do stateRel

alanz

You might consider basing a future REPL on the one in https://github.com/pchiusano/datalog-refactoring which is quite modular.

alanz