Qu-Prolog
From MaRDI portal
Software:30419
No author found.
Related Items (12)
Nominal unification ⋮ Unnamed Item ⋮ The Qu-Prolog unification algorithm: formalisation and correctness ⋮ Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology ⋮ Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27--29, 2005. Revised selected and invited papers. ⋮ Multi-threaded Communicating Agents in Qu-Prolog ⋮ Implementing Pheromone-Based, Negotiating Forager Agents ⋮ Unnamed Item ⋮ Multi-threading and message communication in Qu-Prolog ⋮ MACLP: multi agent constraint logic programming ⋮ A functional logic for higher level reasoning about computation ⋮ Unnamed Item
This page was built for software: Qu-Prolog
