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
protected A: Var
protected B: Var
open body: Term

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