Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
narrowing
Unification followed by unfolding. The
left-hand side of a rule is unified with some term, resulting in
a set of variable bindings. The term is then replaced by the
right-hand side of the rule with values substituted for {bound
variables}.
(2015-01-23)