Simple Logical Programs in Swift Language