Declarativa Declarativa
 

 

Entrada

Produtos

Serviços

Inquiridor
Aplicações internet à medida
Auditoria informática
Subcontratação para I&D

Plataforma de conteúdos

Tecnologia

Web Information Systems
Web Application Maker
InterProlog

A empresa

Apresentação institucional

Package com.declarativa.interprolog

Interface Summary
PrologEngine The heart of InterProlog; a PrologEngine represents a Prolog machine instance.
PrologOutputListener If you're interested in Prolog's textual output, implement this interface on your class and make your object a listener to a SubprocessEngine
TermModelListener If you're interested in knowing that a (Java) term representation has changed implement this.
 

Class Summary
AbstractPrologEngine The heart of InterProlog; a PrologEngine represents a Prolog machine instance.
AllTests  
GNUPeer  
GNUSubprocessEngine A PrologEngine encapsulating a GNU Prolog engine, accessed over TCP/IP sockets.
ObjectExamplePair The class wrapping the information that will allow Prolog to later specify Java objects.
PrologEngineTest  
PrologEngineTest.Loop  
PrologEngineTest.MyClass  
PrologEngineTest.NumberTypes  
PrologImplementationPeer Centers most of the Prolog implementation-dependent information
PrologOperatorsContext Represents a set of Prolog operator declarations, to provide TermModel with knowledge for toString().
SubprocessEngine A PrologEngine implemented over TCP/IP sockets.
SubprocessEngineTest  
SWIPeer  
SWISubprocessEngine A PrologEngine encapsulating a SWI Prolog engine, accessed over TCP/IP sockets.
SWISubprocessEngineTest  
TermModel Represents a Prolog term, as a tree of TermModel objects, each containing a term node and a children list.
XSBPeer  
XSBSubprocessEngine A PrologEngine encapsulating a XSB Prolog engine, accessed over TCP/IP sockets.
XSBSubprocessEngineTest  
XSBSubprocessEngineTest.ConfigurationItem  
YAPPeer  
YAPSubprocessEngine A PrologEngine encapsulating a YAP Prolog engine, accessed over TCP/IP sockets.
YAPSubprocessEngineTest  
 




 Declarativa - Serviços de Informática, Lda.
  www.declarativa.com, info@declarativa.com  fax: +351-22-030-1511  tel: +351-22-030-1580
UPTEC - Parque de Ciência e Tecnologia da Universidade do Porto (GoogleMap)
Rua Actor Ferreira da Silva 100 4200-298 Porto Portugal