:- set_prolog_flag(verbose,silent).
:- prompt(_, '').
:- use_module(library(readutil)).

add_1(X,s(X)).

main:-
	process,
	halt.

process:-
	/* your code goes here */
	L=[add_1,s(0),Y],
	X=..L,
	X,
	write(Y),
	true.

:- main.