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

• Author(s): João André Martins da Silva
• Date: 2014
• Persistent ID: https://hdl.handle.net/10216/78288
• Origin: Repositório Aberto da Universidade do Porto
• Subject(s): Ciências exactas e naturais; Natural sciences
• Document Type: Master thesis
• Language: English