EMBEDDING BOOLEAN EXPRESSIONS INTO LOGIC PROGRAMMING

被引：48

作者：

BUTTNER, W ^{[1
]}

SIMONIS, H ^{[1
]}

机构：

[1] EUROPEAN COMP RES CTR,D-8000 MUNCHEN 81,FED REP GER

来源：

关键词：

D O I：

10.1016/S0747-7171(87)80065-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：191 / 205

页数：15

共 18 条

[1]

Buttner W., 1986, Journal of Automated Reasoning, V2, P75, DOI 10.1007/BF00246024

[2]

BUTTNER W, 1986, 8TH P INT C AUT DED

[3]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[4]

COLMERAUER A, 1986, NOTES PROLOG, V3

[5]

DERSHOWITZ N, 1983, 8TH P IJCAI KARLSR

[6]

Garey MR., 1979, COMPUTERS INTRACTABI

[7]

HEROLD A, 1985, SEKI85IIIKL U KAIS T

[8] REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS [J].

HSIANG, J .

[9]

Knuth D.E., 1970, COMPUTATIONAL PROBLE

[10]

LIVESEY M, 1976, SEKI76II U KAIS TECH