employ

n : the state of being employed or having a job; "they are

looking for employment"; "he was in the employ of the

city" [syn: {employment}] [ant: {unemployment}]

v 1: put into service; make work; make use of of employ for a

particular purpose: "use your head!" "I can't make use

of this tool"; "Apply a magnetic field here"; "This

thinking was applied to many projects"; "How do you

utilize this tool?"; "I apply this rule to get good

results" [syn: {use}, {utilize}, {utilise}, {apply}]

2: engage or hire for work; "They hired two new secretaries in

the department"; "How many people has she employed?" [syn:

{hire}, {engage}] [ant: {fire}]

TEMPLOG

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)].