2、Prolog Cafe与Turtle++：编程工具的特性与应用

Prolog Cafe与Turtle++：编程工具的特性与应用

Prolog Cafe：Prolog到Java的翻译系统

Prolog Cafe是一个通过Warren抽象机（WAM）将Prolog转换为Java的源到源翻译系统，具备与Java平滑互操作和显式并行性等新特性。

线程操作

在Prolog Cafe中，线程操作通过特定的谓词实现：

start(Goal, Engine) :-
    java_constructor('PrologControl', Engine),
    copy_term(Goal, G0),
    java_wrap_term(G0, G),
    java_method(Engine, setPredicate(G), _),
    java_method(Engine, start, _).
stop(Engine) :- java_method(Engine, stop, _).
join(Engine) :- java_method(Engine, join, _).
sleep(Wait) :- java_method('java.lang.Thread', sleep(Wait), _).

• start(Goal, Engine) ：创建一个线程对象并将其与 Engine 统一，设置 Goal 的副本到 Engine ，然后调用线程对象的 start