Tempura

Language based on temporal logic. "Executing Temporal Logic Programs", B. Moszkowski, Camb U Press 1986.

Nearby terms:
Tempo « temporal database « temporal logic « Tempura » Ten15 » tendinitis » TenDRA