Совсем недавно я начал играть с таблицами в Prolog; некоторые эксперименты, которые я сделал с b-prolog и xsb, можно найти in this question.Ограниченный табуляции
Когда таблицы становятся все больше и больше, я понял, что мне нужно найти некоторые параметры/параметры табуляции, которые позволят мне ограничить объем памяти, предназначенной для табуляции.
До сих пор я не нашел в руководстве по эксплуатации yap, b-prolog и xsb.
Не могли бы вы рассказать мне какую-нибудь полезную информацию?
B-Prolog разделяет виртуальную машину с Picat, поэтому, возможно, она поддерживает режимы на аргументах ... – CapelliC
@CapelliC. Я попробовал объявления ': - table posInt_CollatzSteps/2.',': - table posInt_CollatzSteps (+, -). 'И': - таблица posInt_CollatzSteps (+, -): 10000.', но не оказала заметного влияния на потребление памяти , – repeat
Что касается Yap, возможно, вы хотите связаться с [email protected], который является автором расширения своей таблицы. – migfilg