prolog-electric--if-then-else

prolog-electric--if-then-else is a compiled Lisp function in `prolog.el'.

(prolog-electric--if-then-else)

Insert spaces after the opening parenthesis, "then" (->) and "else" (;) branches.
Spaces are inserted if all preceding objects on the line are
whitespace characters, parentheses, or then/else branches.