Similar to 充足可能性問題

• 

  論理プログラミング

  Logic programming