7 lines
74 B
Plaintext
7 lines
74 B
Plaintext
|
|
||
|
|
:- initialization(
|
||
|
|
logtalk_load([
|
||
|
|
solver,
|
||
|
|
proof_tree,
|
||
|
|
tracer])).
|