Loading
times (実行回数の取得)
形式
times( $result)
引数
完了時の動作
- 常に次の述語を実行に移ります。バックトラックしません。
バックトラック時の動作
- 常にバックトラックします。前の述語にバックトラックします。
説明
本述語が呼び出された回数を返します。1からカウントします。
コード例 (lib/times.p)
,counter(1,1,3,$),counter(1,1,2,$),times.prtn,next;
実行例
D:\sample\lib>adp times.p
1
2
3
4
5
6
Powered by ADP.