Computing with Logic : Logic Programming with Prolog

By R. B. Abhyankar, David Maier, D. Warren, Debra Sloane. 2001

Subfields: Natural Language Processing, Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Natural Language Processing

1. Jiayuan Mao
2. Tian Lin
3. Chong Wang
4. Lihong Li
5. Denny Zhou
6. Honghua Dong
7. Jianfeng Gao

In Program Analysis & Verification

1. Jiayuan Mao

Citations in the corpus

• Neural Logic Machines (2019, background): “As a side note, we impose the restriction that all arguments in the predicates can only be variables or objects ( i.e ., constants) but not function symbols, which follows the setting of Datalog (Maier & Warren, 1988).”