Qu-Prolog
From MaRDI portal
Cited in
(16)- Implementing Pheromone-Based, Negotiating Forager Agents
- Multi-threaded Communicating Agents in Qu-Prolog
- MACLP: multi agent constraint logic programming
- Using theory interpretation to mechanise the reals in a theorem prover
- Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27--29, 2005. Revised selected and invited papers.
- A functional logic for higher level reasoning about computation
- scientific article; zbMATH DE number 1104384 (Why is no real title available?)
- The Qu-Prolog unification algorithm: formalisation and correctness
- LAILA
- Ergo 6
- Lucid
- KQML
- Nominal unification
- scientific article; zbMATH DE number 970731 (Why is no real title available?)
- Multi-threading and message communication in Qu-Prolog
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
This page was built for software: Qu-Prolog
