follow Dictionary.com

What is the X in X-mas?

templog

templog in Technology


Extension of Prolog to handle a clausal subset of first-order temporal logic with discrete time. Proposed by M. Abadi and Z. Manna of Stanford University.
["Temporal Logic in Programming", M. Abadi et al, INtl Symp Logic Prog pp.4-16 (1987)].

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for templog

0
0
Scrabble Words With Friends