[pacaro]

Prolog uses /\ and \/ for bitwise AND and OR respectively, which certainly tips a hat to one system of logic notation—of course for conjunction and disjunction between clauses it uses , (comma) and ; (semi-colon)