Converts and backconverts Prolog to Starlog, a cross between Haskell and Prolog that flattens nested predicate calls and represents particular commands in the following manner:
- `string_concat(A,B,C)` ⇒ `C is A : B`
- `append(A,B,C)` ⇒ `C is A & B`
- `atom_concat(A,B,C)` ⇒ `C is A • B`
- `string_length(A,B)` ⇒ `B is string_length(A)`
- `atom_length(A,B)` ⇒ `B is atom_length(A)`