(Я являюсь непрямым пользователем библиотеки GMP, главным образом через swi-prolog и yap .Но я очень заинтересован в решении этой проблемы.) При выполнении возведения в степень со смехотворно большими значениями хост-системы или GMP больше не...

Следующая программа noMetagolR приведена в: http://www.doc.ic.ac.uk/~shm/Papers/metagol_gram.pdf стр. 33. parse(S,G1,G2) :- parse(s(0),S,[],G1,G2). parse(Q,X,X,G1,G2) :- abduce(acceptor(Q),G1,G2). parse(Q,[C|X],Y,G1,G2) :- Skolem(P),...

Я пытаюсь создать запрос Prolog для базы данных, которую я перевел с mySql на факты Prolog. Факты Пролога относятся ко многим таблицам, но релевантных для этого запроса только две: actor(ID,firstName,lastName) film_actor(actor_id,film_id)...