Hi, I am trying to complete assignment 4 and questions 3 and 4 both require a not/2 method but Amzi prolog doesn't seem to support it. Does anyone know how to implement this ? Or are you using a different prolog implementation ? Thanks. Chrisby chrisbrat - COS451G
Hi, Has anyone managed to complete assignment 1? I've read the chapters in the book and cant complete questions 2 and 2 because I'm not sure about the symbols in question 2 and the formula in question 3. With question 2 do the 'Y', 'v' and 'w' characters represent another symbol, namely the equivalence symbol ? With question 3 do the # symbolby chrisbrat - COS492R