Connect 4:

Integration of ILP & ACT