raptor如何应用子程序判断区间满足条件

Raptor，通常是指Prolog语言中的"Rapid Prolog"，它是一种基于规则的编程语言。在Prolog中，你可以通过定义子程序（也叫谓词或规则）来应用逻辑判断处理区间。假设你想检查一个区间是否满足特定条件，比如区间长度大于某个值，你可以这样做：

% 定义一个子程序（谓词）
is_long_enough(From, To, MinLength, Result) :-
    To - From >= MinLength,
    % 结果为真（即区间足够长）
    Result is true.

% 测试子程序
test_range(Start, End, MinLength, ShouldSatisfy) :-
    is_long_enough(Start, End, MinLength, Satisfied),
    % 输出结果并询问是否满足预期
    (Satisfied = true -> writeln("Interval satisfies condition.") ; writeln("Interval does not satisfy condition.")),
    % 如果有必要，可以询问用户是否正确
    (ShouldSatisfy == Satisfied ->
        writeln('Your judgment is correct.')
    ;
        writeln('Your judgment is incorrect.')
    ),
    % 提问子问题