Я очень смущен тем, как CLP работает в Prolog. Мне не только трудно увидеть преимущества (я вижу это в конкретных случаях, но сложно обобщить их), но что еще более важно, я едва ли могу правильно сост
Я запускаю XSB Prolog на моем Mac (El Capitan 10.11.2): XSB Version 3.6. (Gazpatcho) от 22 апреля 2015 года [i386-apple-darwin15.2.0 64 бит; режим: оптимальный; двигатель: slg-wam; планирование: локал
Я работаю над решением проблем неравенства с помощью пролога. Я нашел код и решает уравнения типа ax + b> = 0. Код, который я использовал, является следующим. :-use_module(library(clpr)).
dec_inc(lef