FRDCSA
Minor
Internal
External
Git
Packages
Cluedo
Brief:
Usage of a Prolog Cluedo solver
Jump To:
Parent Description
Abstracting and reusing epistemic
tools
form the codef or "Reasoning about Knowledge and Action in
cluedo
using Prolog" by Vemund Innvær Aartun