テワンテペク地峡はメキシコの西経94度から96度の部分に位置する。地峡の西側にはベラクルス州とオアハカ州、東側にはタバスコ州とチアパス州がある。メキシコ湾から太平洋までの距離は、最も短い場所で 200 km 程である。南シエラマドレ山脈の東端であり、地峡の部分は比較的なだらかな地形となっている。テワンテペク地峡を横切るテワンテペク鉄道の最高地点の標高は 224 m である。地峡の北側には沼地と熱帯雨林が広がっている。これらはテワンテペク鉄道の建設時に大きな障害となった。1907年に完成した鉄道はカンペチェ湾側のプエルト・メヒコから南にマティアス・ロメロを通り、テワンテペク湾の西側のサリナ・クルスへと続く。
フィボナッチ数を求めるプログラムの例を示す。トップダウンにもボトムアップにも求めることができる。% フィボナッチ数をボトムアップに評価f0-1 @ upto(_) ==> fib(0,1), fib(1,1).fn   @ upto(Max), fib(N1,M1), fib(N2,M2) ==> Max>N2, N2=:=N1+1 |             N is N2+1, M is M1+M2, fib(N,M).% フィボナッチ数をトップダウンに評価f0 @ fib(0,M) <=> M=1.f1 @ fib(1,M) <=> M=1.fn @ fib(N,M) <=> N>=2 |         N1 is N-1, N2 is N-2, fib(N1,M1), fib(N2,M2), M is M1+M2.
エラストテネスのふるいにより素数を求めるプログラムの例を示す。generate0/1の2つのルールはprime(2)、...、prime(N)のデータを生成し、siftルールは素数のみを選び出す。generate0/1ルールとsiftルールは(もし必要であれば)並行して実行することも可能である。% エラストテネスのふるいgenerate0 @ prime(N) <=> N=<2 | fail.generate1 @ prime(N) ==> N> 2 | M is N-1, prime(M).sift      @ prime(X), prime(Y) <=> Y mod X =:= 0 | prime(X).
ユークリッドの互除法を用いて最大公約数を求めるプログラムの例を示す。% 最大公約数gcd(0) <=> true.gcd(N), gcd(M) <=> 0<N, N=<M | L is M mod N, gcd(N), gcd(L).
合流性（Confluence）とは、書き換えが可能な部分式が複数存在する際に、どの書き換え規則をどの部分式に適用して書き換えたとしても最終的な結果が合流する(一意に定まる) という性質のことである。合流性の無いプログラムは、最終的な実行結果が実行ごとに異なる可能性がある。一般的な項書き換えシステムと同様、停止性を持つCHRプログラムの合流性には、決定可能な必要条件と十分条件がある。停止性と合流性を持つCHRプログラムはルールの適応順序によらない一貫性のある論理的な意味を持ち、解くべき問題の異なった部分に対してルールを並列に適用できるような、並行してインクリメンタルに問題を解くアルゴリズムをインプリメントできる。
オクトパスにはICチップが搭載されており、鉄道の自動改札機では、設置されたセンサーにかざす事で通過できる。センサーによる読み取りは、革のかばんやハンドバッグなどの厚めの干渉物を通しても可能である。入場（改札）時には入場記録が書き込まれ、出場（集札）時に運賃全額が差し引かれる。バス利用時は乗車時に、トラム利用時は降車時に、運賃全額が差し引かれる。しかし、一部のバス系統は短距離乗車割引がある。その場合は、降車前にもう一度センサーをかざすと、割引金額がカードに戻す。電子マネーとして使用する時もチャージされた金額から、購入した商品あるいはサービスの金額が差し引かれる。金額が使用中に不足する場合は、デポジットの有無に関わらず、残額がマイナス35香港ドルを下回らない場合であれば差し引くことができる。残額が0またはマイナスとなった場合は、チャージして残額がプラスとなるまで支払いはできなくなる。チャージを行うには、香港内の地下鉄と鉄道各駅の乗車券売り場に設置されている「増値機 (Add Value Machine)」と書かれたチャージ専用機を利用するか、有人切符売り場、案内所、市中のコンビニエンスストア等で行える。基本的には、50ドル単位しかチャージできないが、学生オクトパスは10ドル単位でチャージできる。いずれかのカードも残高は最大1000ドル。増値機では現金のみ使用でき、額面が50香港ドルと100香港ドルの紙幣のみ投入可能となっている。（かつて1997年の導入時からキャッシュカード（香港のデビットカードのシステム「EPS」）でのチャージは利用されていたが、2007年にキャッシュカードでのチャージを巡って様々な問題が相次ぎ、同年12月21日をもってキャッシュカードでのチャージサービスは終了となった。）また、香港発行のクレジットカードとのリンクを登録することにより、自動でのチャージも可能で、オクトパスの残高がゼロもしくはマイナスになった状態で利用すると250香港ドルが自動的にチャージされる（一部のクレジット会社では500香港ドルも選択可能）。殆どのクレジットカード会社では、自動チャージによるカード利用に対しても通常のショッピング時と同様にクレジットカードポイントの付与が行われている。なお、深圳、マカオでは自動チャージは有効なものの、現金でチャージできる場所は無い。残高等の確認は、入出場時に改札機の残高表示欄を確認するか、乗車券売り場に設置されている専用の残高確認機で行える。残高確認機では残高の他、利用履歴等が表示される（利用履歴は最新の10〜15件程度で、機器により異なる）。これらは英語または中国語で表示されるが、その選択言語はカードに設定されており、それは一部の窓口で変更可能である。近年、スマートフォンにおいてNFCに対応する機種が生産されていることに伴い、Octopus Limitedから公式アプリ「OctoCheck」が公開され、一部のスマートフォンからも残高及び直近履歴の参照が可能になった（言語表示はカード設定に依存する）。