The following pages link to Qu-Prolog (Q30419):
Displayed 12 items.
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- The Qu-Prolog unification algorithm: formalisation and correctness (Q1349886) (← links)
- MACLP: multi agent constraint logic programming (Q1857098) (← links)
- Nominal unification (Q1882909) (← links)
- Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27--29, 2005. Revised selected and invited papers. (Q2505592) (← links)
- (Q2703760) (← links)
- Multi-threaded Communicating Agents in Qu-Prolog (Q3623971) (← links)
- Implementing Pheromone-Based, Negotiating Forager Agents (Q3623986) (← links)
- (Q4370265) (← links)
- Multi-threading and message communication in Qu-Prolog (Q4452632) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)
- (Q5688920) (← links)