пролого - аналог отрицания

допустим есть набор некоторых фактов, допустим он обзывается set, в начале программы он пуст, а по ходу необходимо чтобы некотороя функция обрабатывала некоторый факт, если факт есть в set то выдаем no в правтимном случае добовляем этот факт в set и говорим yes.
вот пробывал что-то написать, тока нефига невышло.
:-dynamic(add).

nonexites(X,Y):-add(X,Y),!,true.
nonexites(_,_). /*вот это полная чуш*/

testwp(X,Y):-pehka(X,Y),nonexites(X,Y),asserta(add(X,Y)).