Написание области круга в ECLiPSe-CLP имеет ошибку

Question

Я пишу предикат для расчета площади круга по EClipse-clp.

 circle(R) :- S is 3.14*R^2, write(S).

имеет следующую ошибку:

вызов неопределенного круга процедур (R): - S равно 3,14 * R ^ 2, напишите (S) в модуле Eclipse

Answer 1

Это действительно очень просто. Вы должны различать

• Определения - это код вашей программы, состоящий из определений предикатов , которые, в свою очередь, состоят из фактов и правил, Логично, что именно здесь вы определяете, что является true .
• Запросы - это место, где вы называете свою программу. Логически вы спрашиваете, является ли что-то истинным и как.

Определения обычно загружаются / компилируются из исходного файла. Запросы обычно вводятся в запросе. Похоже, вы вводите определение в запросе.