Logtalk/examples/logic
