Ha! That explains a lot. I've started looking into Prolog recently, and there were some... familiar echoes in there, reminiscent of Erlang.
But of course, the submarine is like a cigar, not cigar like a submarine.
But of course, the submarine is like a cigar, not cigar like a submarine.