Qu-Prolog
From MaRDI portal
Software:30419
swMATH18583MaRDI QIDQ30419FDOQ30419
Author name not available (Why is that?)
Cited In (12)
- Implementing Pheromone-Based, Negotiating Forager Agents
- Multi-threaded Communicating Agents in Qu-Prolog
- Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27--29, 2005. Revised selected and invited papers.
- Multi-threading and message communication in Qu-Prolog
- Using theory interpretation to mechanise the reals in a theorem prover
- Title not available (Why is that?)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
- Nominal unification
- MACLP: multi agent constraint logic programming
- A functional logic for higher level reasoning about computation
- The Qu-Prolog unification algorithm: formalisation and correctness
- Title not available (Why is that?)
This page was built for software: Qu-Prolog
