[SOLVED] prolog CompSci 367/761 Appendix 1 : fluentsOutFrom/2

CompSci 367/761 Appendix 1 : fluentsOutFrom/2
1 fluentsOutFrom(+Conditions, -Fluents)
Fluents are all the fluent predicates from Conditions and only those conditions. The Conditions is a list of objectLevel primitive predicates which may be either static or fluent or some combination of the two. This is what you use in solu- tion/5 to filter out the static predicates found in the problems initial state to create the state description used in the open list for the initial node.
For example, if the problems initial state is [at(a), unvisited(b), edge(a,b,3), edge(b,c,5), unvisited(c)], then we use fluentsOutFrom/2 to filter out the 2 edge/3 static predicdates to create the initial state for the initial state open node which would be [at(a), unvisited(b), unvisited(c)]. So, if Fluents were unbound when the following prolog code is called, e.g., fluentsOutFrom([at(a), unvis- ited(b), edge(a,b,3), edge(b,c,5), unvisited(c)], Fluents), then when fluentsOut- From exits, Fluents would be bound to [at(a), unvisited(b), unvisited(c)].
1