sealed class PropertyReduce: RuleWrapper<ExecutionContext>
CompanionObject
PropertyReduce
sealed class PropertyReduce: RuleWrapper<ExecutionContext>
property_reduce([A, B | C], O, P) :- !, invoke_method(A, B, B1), property_reduce([B1 | C], O, P). % recursive
property_reduce([A | B], A, B) :- !. % base
Fields
Name | Description |
---|---|
const FUNCTOR: String
|
|
const ARITY: Int
|