List view

• Create clause based goal type

  Create a goal type based around Prolog clauses, supporting pattern matching, highlighting related hypothesis/facts and, importantly, being extendable with support for definition.

  No due date

  •3/5 issues closed
  60% complete2 open3 closed