C# Class Prolog.PrologContext.WokenGoal

Represents a recently woken goal. We keep a saved trace pointer so that if we have to abort the current unification before the goals are run, we can recognize which ones to remove.
Show file Open project: ianhorswill/UnityProlog

Public Properties

Property Type Description
Goal Structure
TracePointer int

Property Details

Goal public property

public Structure Goal
return Structure

TracePointer public property

public int TracePointer
return int