Package org.eclipse.palamedes.gdl.core.resolver.prologprover

Class Summary
EclipseConnector  
FluentAdapter  
GameProlog  
ReasonerAdapter  
TermAdapter