% k -clique problem 
% specifying the graph


node(1).
node(2).
node(3).
node(4).
node(5).

edge(1,2).
edge(1,3).
edge(2,3).
edge(2,4).
edge(2,5).
edge(3,4).
edge(3,5).
edge(1,4).

% representing the bi-directed graph

edge(I,J):- node(I), node(J), edge(J,I).

% generating a possible solution

k {clique(I):node(I)} k.

% checking if it is a solution

:- node(I), node(J),
   clique(I), clique(J), neq(I,J), not edge(I,J).

hide node(_).
hide edge(_,_).