rule: Create a rule

Description Usage Arguments

View source: R/types.R

Description

Create a rule

Usage

1

Arguments

head

a head is always a clause

body

a body is a list of clauses or r expressions.


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