:- prompt(_, '').
:- use_module(library(readutil)).
a add b.
b add c.
b add d.
main:-
process,
process:-
/* your code goes here */
X add Y,
Y add Z,
false.
process.
:- main.
Oi0gc2V0X3Byb2xvZ19mbGFnKHZlcmJvc2Usc2lsZW50KS4KOi0gcHJvbXB0KF8sICcnKS4KOi0gdXNlX21vZHVsZShsaWJyYXJ5KHJlYWR1dGlsKSkuCgo6LW9wKDYwMCx4ZngsYWRkKS4KYSBhZGQgYi4KYiBhZGQgYy4KYiBhZGQgZC4KCm1haW46LQoJcHJvY2VzcywKCWhhbHQuCgpwcm9jZXNzOi0KCS8qIHlvdXIgY29kZSBnb2VzIGhlcmUgKi8KCVggYWRkIFksCglZIGFkZCBaLAoJd3JpdGUoW1gsWl0pLAoJZmFsc2UuCnByb2Nlc3MuCjotIG1haW4u