FluentReduce

sealed class FluentReduce: RuleWrapper<ExecutionContext>


fluent_reduce([P, M | X], R) :- !, invoke_method(P, M, P1), fluent_reduce([P1 | X], R). % recursive
fluent_reduce([P | M], R) :- !, invoke_method(P, M, R).                                 % couple
fluent_reduce([R], R) :- !.                                                             % base
fluent_reduce(R, R) :- !.                                                               % trivial

Fields

Name Description
protected R: Var
open body: Term

CompanionObject

FluentReduce

sealed class FluentReduce: RuleWrapper<ExecutionContext>


fluent_reduce([P, M | X], R) :- !, invoke_method(P, M, P1), fluent_reduce([P1 | X], R). % recursive
fluent_reduce([P | M], R) :- !, invoke_method(P, M, R).                                 % couple
fluent_reduce([R], R) :- !.                                                             % base
fluent_reduce(R, R) :- !.                                                               % trivial

Fields

Name Description
const FUNCTOR: String
const ARITY: Int