% Just to check there is no name conflict with the metainterpreter's tables.

:- topl answer/2.

answer( p( A ), p( a ) ).
answer( p( A ), p( b ) ).

?- answer( p( A ), Ans ).