Metaglossary.com - Definitions for "{term}"

Keywords: prolog, fork, road, program

a fork-in-the-road to a Prolog program

urbandictionary.com

Keywords: execution, description, point, system

a description of the system's state at a certain point in execution