| CARVIEW |
Select Language
HTTP/2 200
date: Sun, 12 Oct 2025 03:44:54 GMT
content-type: text/html; charset=UTF-8
server: cloudflare
x-frame-options: DENY
x-content-type-options: nosniff
x-xss-protection: 1;mode=block
vary: accept-encoding
cf-cache-status: DYNAMIC
content-encoding: gzip
set-cookie: _csrf-frontend=8ed1b597a9ad885a61c384533d7f32324ae91d2b5c168f9554fee13d6ff02bf2a%3A2%3A%7Bi%3A0%3Bs%3A14%3A%22_csrf-frontend%22%3Bi%3A1%3Bs%3A32%3A%224MKy_6E8vJJuqsNGwcI7jz188Sqn4PFE%22%3B%7D; HttpOnly; Path=/
cf-ray: 98d399f4aca99dfd-BLR
q10280621600 subst_functor/2 - Pastebin.com
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- subst_functor(X, X) :- atomic(X).
- subst_functor(X, Y) :-
- X =.. [f, ArgX],
- Y =.. [h, ArgY],
- subst_functor_list([ArgX], [ArgY]).
- subst_functor(X, Y) :-
- X =.. [g, ArgX1, ArgX2],
- Y =.. [g, ArgY1, ArgY2],
- subst_functor_list([ArgX1, ArgX2], [ArgY1, ArgY2]).
- subst_functor_list([], []).
- subst_functor_list([H1|T1], [H2|T2]) :-
- subst_functor(H1, H2),
- subst_functor_list(T1, T2).
Advertisement
Add Comment
Please, Sign In to add comment
-
⭐⭐⭐MAKE $500 IN 15 MIN⭐⭐
Java | 5 sec ago | 0.10 KB
-
⭐⭐⭐Instant Profit Method⭐⭐
Java | 30 sec ago | 0.10 KB
-
⭐⭐⭐Make $15OO in 2O minutesV G⭐⭐
Java | 41 sec ago | 0.10 KB
-
⭐✅ Exploit 2500$ in 15 Minutes⭐⭐⭐ G
JavaScript | 50 sec ago | 0.25 KB
-
⭐⭐⭐Crypto Accounts⭐⭐
Java | 52 sec ago | 0.10 KB
-
Free Crypto Method (NEVER SEEN BEFORE)⭐⭐ X
JavaScript | 59 sec ago | 0.25 KB
-
⭐⭐⭐Make $1500 in 20 minutes⭐⭐
Java | 1 min ago | 0.10 KB
-
⭐✅ Swapzone Glitch ✅ Working ⭐⭐ X
JavaScript | 1 min ago | 0.25 KB
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
