High-Level Constructors for Solution Searching in Or-Parallel Prolog Systems

• Autor(es): João André Martins da Silva
• Data: 2014
• Identificador Persistente: https://hdl.handle.net/10216/78288
• Origem: Repositório Aberto da Universidade do Porto
• Assunto(s): Ciências exactas e naturais; Natural sciences
• Tipo de Documento: Dissertação de mestrado
• Idioma: Inglês