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)].
noun 1. a town in W Florida.
noun 1. a policy pursued by a nation in its dealings with other nations, designed to achieve national objectives.
- Foreign relations committee
A committee of the Senate charged with overseeing the conduct of foreign policy.
noun 1. (used with a plural verb) the dealings and relationships between nations. 2. (used with a singular verb) the field of foreign affairs: an expert in foreign relations. 3. (used with a singular verb) the quality or character of foreign affairs as a consequence of foreign policy: a deterioration in their foreign relations.