Description Usage Arguments Examples
Build a database of rules and facts
1 |
... |
your facts and rules |
1 2 3 4 5 6 7 8 | database <- logician_database(
test(1, 2),
test2(2, 3),
test3(X, A, Y) := test(X, A) && test2(A, Y)
)
iter <- logician_query(database, test3(X, 2, 3))
iter$next_value()
|
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.