Jekejeke Minlog 0.5: First Extension Module

Date: July 24th, 2012

1 Introduction

2 Forward Chaining

3 Chart Parser

4 Constraint Solver

5 Outlook