Definicja relacji "zastępowanie" SWI-Prolog

Czesc
Mam prosbe,
Nie moge poradzic sobie z jednym zadaniem z Swi prolog.
Zaczalem ponizsze zadanie wykonywac, ale to bzdury.

Zaproponuj definicje relacji
zastap (L1, L2),
prawdziwej gdy lista L2 jest efektem zastapienia w liscie L1 wszystkich liczb przez *(gwiazdke), a pozostale elementy przez stala x.

nalezy przedstawic fragment sesji prologowej oraz opis predykatu

z forum wynika ze znasz sie cos nie cos na prologu, wiec dlatego zglosilem sie do ciebie po pomoc

Czekam na odpowiedz
za udzieloną pomoc zrewanżuję się w innej postaci pomocą

Nie masz nic przeciwko temu że wysłałem link do tego tematu na tego maila który jest tam na dole podany?

Jak zwykle, bez podawania gotowców...

Zaproponuj definicje relacji zastap (L1, L2), prawdziwej gdy lista L2 jest efektem zastapienia w liscie L1 wszystkich liczb przez *(gwiazdke), a pozostale elementy przez stala x.

Robi się z tego prosta relacja rekurencyjna, w pseudokodzie:

zastąp([]) = [] (zastąpienie w pustej liście = pusta lista).
jeśli n to liczba: zastąp([n | reszta]) = ['*' | zastąp(reszta)]
jeśli n nie jest liczbą: zastąp([n | reszta]) = [x | zastąp(reszta)].

Liczę że dasz radę to już samodzielnie skończyć/zrobić.

spróbuje to ogarnąć bo dużo pomogłes,
czymogłbys mi poxniej MSI sprawdzić czy dobrze to zadanie zrobiłem, poprawnie ?

Do MSM

Nie wiem jak to zrobić. Zastąpienie elementu nie jest problemem, ale nie wiem jak bez
predykatów wbudowanych rozpoznać czy element jest liczbą, czy nią nie jest.

Przeszukałem internet i znalazłem tylko to:
http://stackoverflow.com/questions/13261744/check-if-value-is-a-number-in-prolog-manually
a tam pisze ktoś, że tego sie nie da zrobić.

czekam na odpowiedź