added prolog facts and new calls
Merge branch 'go-back'

Conflicts:
	cognitive_reasoning/src/prolog.lisp