GNU Prolog โหวต

มันเป็นอิสระภาษา prologlanguage คอมไพเลอร์กับ constraint องแก้อย่างมา finite โดเมน