Как просмотреть существующий файл пролога в C ++ и его модуле?

Question

Как просмотреть существующий файл пролога в C ++ и его модуле?

Привет всем, у меня есть простой файл пролога, который вычисляет факториал, я хочу знать, как обратиться к файлу factorial.pl и вызвать его модуль, который назвал факт через C ++.

Вот мой пример кода, но он не работает правильно.

#include <iostream>
using std::cout;
using std::cin;
using std::endl;

#include <SWI-Prolog.h>
#include <SWI-Stream.h>
#include <SWI-cpp.h>

int main(int argc, char **argv)
{
PL_initialise(argc, argv);

predicate_t p_consult = PL_predicate("consult", 1, "database");
term_t t = PL_new_term_refs(3);
PL_put_string_chars(t, "D:\\factorial.pl");
PL_put_integer(t + 1, 5);
PL_put_variable(t + 2);
qid_t query = PL_open_query(NULL, PL_Q_NORMAL, p_consult, t);
int result = PL_next_solution(query);

if (result)
{
int x;
PL_get_integer(t + 2, &x);
cout << "Found solution " << x << endl;
}

PL_close_query(query);

cin.ignore();
return 0;
}

и factorial.pl

fact(N, F) :- N =< 1, F is 1.
fact(N, F) :- N > 1, fact(N - 1, F1), F is F1 * N.

1

c++swi-prolog

Решение

Другие решения

Других решений пока нет …

Источник

Accepted Answer

Я нашел решение, я поставил ответ здесь, может быть, некоторые другие люди имеют такую же проблему.

моя ошибка заключалась в том, что я посоветовался с консалтингом, как я и предполагал, я использую PlCall вместо предиката для обращения к исходному файлу pl, кстати, вы должны поместить исходный файл pl в ту же папку, где находятся файлы cpp.

#include <iostream>
using std::cout;
using std::cin;
using std::endl;

#include <SWI-Prolog.h>
#include <SWI-Stream.h>
#include <SWI-cpp.h>

int main(int argc, char **argv)
{
int n;
cout << "Please enter a number: ";
cin >> n;

PL_initialise(argc, argv);

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

term_t a, b, ans;
functor_t func;

a = PL_new_term_ref();
PL_put_integer(a, n);
b = PL_new_term_ref();
ans = PL_new_term_ref();
func = PL_new_functor(PL_new_atom("fact"), 2);
PL_cons_functor(ans, func, a, b);

int fact;

if (PL_call(ans, NULL))
{
PL_get_integer(b, &fact);
cout << "Result is: " << fact << endl;
}

cin.ignore(2);
return 0;
}

0