User:Felix QW/Logic programming