Common Predicates

Abstract:
Description of important helper predicates often used in the course.

compose/3
ABSTRACTDUMMY

newvar/1
newvar(-NewVar)

printRepresentations/1
printRepresentations(+Terms)

readLine/1
readLine(-AtomList)

substitute/4
substitute(+Term,+Var,+InFormula,?OutFormula)

vars2atoms/1
vars2Atoms(-Term)

Table of Contents