1

数の階乗を計算したいと思います。私の階乗規則は Prolog ファイルにあり、それを C++ ファイルに接続しています。C++ から Prolog へのインターフェイスの何が問題なのか、誰か教えてもらえますか?

my factorial.pl file:

factorial( 1, 1 ):-
    !.
factorial( X, Fac ):-
    X > 1,
    Y is X - 1,
    factorial( Y, New_Fac ),
    Fac is X * New_Fac.



my factorial.cpp file:

headerfiles

term_t tf;
term_t tx;
term_t goal_term;
functor_t goal_functor;

int main( int argc, char** argv )
{
    argv[0] = "libpl.dll";

    PL_initialise(argc, argv);

    PlCall( "consult('factorial.pl')" );

    cout << "Enter your factorial number: ";
    long nf;
    cin >> nf;

    tf = PL_new_term_ref();
    PL_put_integer( tf, nf );
    tx = PL_new_term_ref();

    goal_term = PL_new_term_ref();
    goal_functor = PL_new_functor( PL_new_atom("factorial"), 2 );
    rval = PL_cons_functor( goal_term, goal_functor, tf, tx );

    PL_halt( PL_toplevel() ? 0 : 1 );
}

Prolog プロンプトが表示されます。これは、最後の行が行うことです。しかし、次のような階乗計算の結果は得られません。

?-  factorial( 5, X ).
X = 120
true

私は何が欠けていますか？

ありがとう、

4

2 に答える 2

1 
# include files

term_t tf;
term_t tx;
term_t goal_term;
functor_t goal_functor;

int main( int argc, char** argv )
{
    argv[0] = "libpl.dll";
    PL_initialise( argc, argv );

    PlCall( "consult( swi( 'plwin.rc' ) )" );
    PlCall( "consult( 'factorial.pl' )" );

    cout << " Enter your factorial number: ";
    long nf;
    cin >> nf;

    tf = PL_new_term_ref();
    PL_put_integer( tf, nf );
    tx = PL_new_term_ref();
    goal_term = PL_new_term_ref();
    goal_functor = PL_new_functor( PL_new_atom("factorial"), 2 );
    PL_cons_functor( goal_term, goal_functor, tf, tx );

    int fact;
    if( PL_call(goal_term, NULL) )
        {
            PL_get_integer( tx, &fact );
            cout << fact << endl;
        }
    else
        {
            PL_fail;
        }

    PL_halt( PL_toplevel() ? 0 : 1 );
}
于 2010-04-06T20:36:22.853 に答える
0

私は SWI Prolog と C/C++ の橋渡しについてはあまり詳しくありませんが、用語を定義すると、クエリを開始していないように見えます。SWI-Prolog に渡す前に、PL_callorを使用して結果を出力する必要があります。PL_open_query

    PL_cons_functor( goal_term, goal_functor, tf, tx );
int nfactorial;
if (PL_call(goal_term, NULL)) {
    PL_get_integer(tx, &nfactorial);
    std::cout << "X = " << nfactorial << " ." << std::endl;
} else {
    PL_fail;
}
    PL_halt( PL_toplevel() ? 0 : 1 );

goal_termトップレベルのクエリとして設定できるかどうかはわかりません。への呼び出しによってクエリを実行する場合はPL_toplevel、クエリを文字列として作成し、引数ベクトルの「-t」引数として に渡すことができますPL_initialize。

于 2010-04-06T00:34:52.910 に答える