Logic variable
programming
A variable in a logic programming language which is initially undefined (“unbound”) but may get bound to a value or another logic variable during unification of the containing clause with the current goal. The value to which it is bound may contain other variables which may themselves be bound or unbound.
For example, when unifying the clause
sad(X) :- computer(X, ibmpc).
with the goal
sad(billgates).
the variable X will become bound to the atom “billgates” yielding the new subgoal “computer(billgates, ibmpc)”.
(1995-03-14)
Read Also:
- Login
[noun lawg-in, log-; verb lawg-in, log-] /noun ˈlɔgˌɪn, ˈlɒg-; verb ˌlɔgˈɪn, ˌlɒg-/ Digital Technology noun, Also, log-in, 1. the act of logging in to a database, mobile device, or computer, especially a multiuser computer or a remote or networked computer system. 2. a username and password that allows a person to log in to a […]
- Logined
[noun lawg-in, log-; verb lawg-in, log-] /noun ˈlɔgˌɪn, ˈlɒg-; verb ˌlɔgˈɪn, ˌlɒg-/ Digital Technology noun, Also, log-in, 1. the act of logging in to a database, mobile device, or computer, especially a multiuser computer or a remote or networked computer system. 2. a username and password that allows a person to log in to a […]
- Logining
[noun lawg-in, log-; verb lawg-in, log-] /noun ˈlɔgˌɪn, ˈlɒg-; verb ˌlɔgˈɪn, ˌlɒg-/ Digital Technology noun, Also, log-in, 1. the act of logging in to a database, mobile device, or computer, especially a multiuser computer or a remote or networked computer system. 2. a username and password that allows a person to log in to a […]
- Login-name
[yoo-zer-neym] /ˈyu zərˌneɪm/ noun, Computers. 1. Also called login name, logon name, sign-in name, sign-on name. a unique sequence of characters used to identify a user and allow access to a computer system, computer network, or online account. 2. the part of an email address before the @ sign. /ˈjuːzəˌneɪm/ noun 1. (computing) a name […]
- Logion
[loh-gee-on, -jee-, log-ee-] /ˈloʊ giˌɒn, -dʒi-, ˈlɒg i-/ noun, plural logia [loh-gee-uh, -jee-uh, log-ee-uh] /ˈloʊ gi ə, -dʒi ə, ˈlɒg i ə/ (Show IPA), logions. 1. a traditional saying or maxim, as of a religious teacher. 2. (sometimes initial capital letter) Biblical Criticism. /ˈlɒɡɪˌɒn/ noun (pl) logia (ˈlɒɡɪə) 1. a saying of Christ regarded as […]