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

Tagged:

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.