| Modifier and Type | Class and Description |
|---|---|
class |
Literal
Basic Literal/Atom, building block of rules.
|
class |
Rule
Base logic rule class.
|
| Modifier and Type | Method and Description |
|---|---|
Rule |
Implicative.implies(scala.collection.Seq<AtomContainer> body)
Parent method for head -> body append.
|
| Constructor and Description |
|---|
Rule(scala.collection.immutable.Set<Literal> head,
scala.collection.Seq<AtomContainer> body) |
Copyright © 2013-2014. All Rights Reserved.