clpr

1зной

2ответ

Проблема с мета-интерпретатором XSB Prolog с ограничениями clpr

Я запускаю XSB Prolog на моем Mac (El Capitan 10.11.2): XSB Version 3.6. (Gazpatcho) от 22 апреля 2015 года [i386-apple-darwin15.2.0 64 бит; режим: оптимальный; двигатель: slg-wam; планирование: локал