IF Computer > IF/Prolog > Manuals > IF/Prolog V4.1 マニュアル > IF/Prolog Interfaces > IF/PrologからC言語へのインタフェ−ス > バックトラックするProlog述語をC言語で書く > バックトラックをし、Epilogを持つプログラム例

バックトラックをし、Epilogを持つプログラム例

IF/Prolog by Siemens
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

次の例は、必要でなくなったファイルを閉じる時に、epilogの機能がどのように使われるかを示しています。”readatom”という関数は、第１引数で指定されるファイルをオ−プンし、ファイルの最初の行を第２引数と単一化したアトムとして返します。バックトラックがおきると、第２引数を２，３，４行目と次々に単一化します。述語は、以下のように呼び出されます。（file１の内容は下に示してあります）

　?- readatom(file1, P). 　epilog enabled 　P = 12345678; 　P = abcdefghij; 　P = 987654321; 　start of epilog 　file closed by epilog 　no 　?- readatom(file1, P), write(P), nl, !, fail. 　epilog enabled 　123456789 　start of epilog 　file closed by epilog 　no 　?-

file１の内容: 12345678 abcdefghij 987654321

document: http://www.ifcomputer.co.jp/IFProlog/Manuals/v4.1/advanced_feature/c_interface/cpredbw/exampbe/print_de.html
published 2008/11/17 update 1995/11/6 (c) 1996-2006 IF Computer Japan
IF Computer 5-28-2 Sendagi, Bunkyo-ku Tel +81-3-5814-3352 start (AT) ifcomputer.com
Customer Support Tokyo 113-0022 Japan   http://www.ifcomputer.com
Back> managed with ubiCMS