[کامپیوتر] متغیر تک - در زبان Prolog، متغیری که فقط یک بار و در یک واقیعت یا قانون روی می دهد. با توجه به آنکه تمام متغیرها محلی هستند. متغیر تک، اطلاعات را از یک محل به محل دیگر حمل نمی کند، بلکه باید به وسیله ی یک متغیر ناشناس جایگزین شود. نگاه کنید به anonymous variable ; prolog .
