logician_database: Build a database of rules and facts

Description Usage Arguments Examples

View source: R/database.R

Description

Build a database of rules and facts

Usage

1

Arguments

...

your facts and rules

Examples

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()

dirkschumacher/logician documentation built on June 13, 2020, 5:11 p.m.