Prolog variables are immutable by default. Data structures are the same as the immutable functional programming counterparts (no arrays, and tree based everythi

Prolog variables are immutable by default. Data structures are the same as the immutable functional programming counterparts (no arrays, and tree based everything). Recursion is the only way to loop. Map, filter, fold(l/r), reduce, accumulate, etc, are staple predicates. As I said, 80% of your code, or more, will look just like a functional programme.