5 lines
120 B
Plaintext
5 lines
120 B
Plaintext
:- use_module(library(clpz)).
|
|
:- use_module(library(lists)).
|
|
:- use_module(library(reif)).
|
|
:- use_module(library(dif)).
|