• Title/Summary/Keyword: gprolog

Search Result 1, Processing Time 0.026 seconds

On an Implementation of a Hybrid Solver Based on Warren Abstract Machine and Finite Domain Constraint Programming Solver Structures (워렌 추상기계와 한정도메인 제약식프로그램의 구조를 이용한 혼합형 문제해결기 구현에 대한 탐색적 연구)

  • Kim Hak-Jin
    • Journal of Intelligence and Information Systems
    • /
    • v.10 no.2
    • /
    • pp.165-187
    • /
    • 2004
  • Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

  • PDF