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]:
TABLOG
A programming language based on {first order
predicate logic} with equality that combines {relational
programming} and functional programming. It has functional
notation and unification as its binding mechanism. TABLOG
supports a more general subset of standard first order logic
than Prolog. It employs the Manna-Waldinger
'deductive-tableau' proof system as an interpreter instead
of resolution.
(1997-06-19)