Я хотел бы найти способ профилировать использование памяти предикатом (огромным), который я написал в прологе. В настоящее время я использую его с swi и yap и по потреблению памяти этими процессами я вижу, что выделяется большой кусок памяти....

Я использую треп. Предположим, у меня есть такой сценарий: p(x,y) :- q(x), f(x,y), g(x). Мне нужно поместить тело предиката в список с помощью команды листинг (p) . Ожидаемый результат должен быть: [q, f, g]. Как я могу это сделать?

Мне нужно (для выбора дизайна) получить список, который соответствует следующему шаблону: Uses = ['foo\/1', 'foobar\/2']. Я могу создать шаблон имени/номера: all((P\/A), (rule(X, Ux, _, Module), member(U, Ux), U = (P/A)), Uses). где...

При выполнении следующей программы на Прологе с YAP вывод всегда один и тот же, а именно целое число 233. :- use_module(library(random)). x:- random(1,1000,X), writeln(X). Например, если я выполняю следующий сценарий bash, вывод всегда...

Как усечь число с плавающей запятой до N знаков после запятой в Прологе? Есть ли встроенный инструмент для этого?