逻辑推理如何编程求解？ （前件作为输入的一部分）

[wunglee]

例如：前件输入：对部分x部分y有A(x,y)且B(x,y)，对部分x任何y有B(x,y)或C(x,y)，条件输入：xy都成立； 算法求解C(x,y)成立否? 说明：前件不属于固化程序的一部分，而是作为输入参数；

类似的问题如何通过语言求解？

[vive]

通过prolog求解，不要用java了
有个pdc组织，专门发展prolog的，可以下载到新的支持面向对象支持windows gui编程的prolog.只是支持的还是windows 31那样的

[hello_wyq]

to vive(白起):
prolog我在书店里看过，请介绍介绍？