Dictionary: A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z


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


Read Also:

  • Temple-terrace

    noun 1. a town in W Florida.

  • Foreign-policy

    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.

  • Foreign-relations

    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.

Disclaimer: Templog definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.