论文信息 - Distributed Logic Programming

Distributed Logic Programming

This paper describes an implementation of deductive inference in a network programming environment called Net-Clause Language (NCL). NCL is designed for building network models, without centralised con¬trol, using term unification as a basic processing mechanism. The main feature of NCL is distributed and data-driven control, which in turn allows the implementation of data-driven logical inference. The NCL logical inference is applicable to a more general form of formula than the traditional logic programming, and its procedural semantics is expressed in terms of non-clausal resolution.

Christo Dichev | Zdravko Markov | Christo Dichev | Z. Markov

[1] Christo Dichev,et al. The net-clause language—a tool for describing network models , 1990 .

[2] Steve Gregory,et al. Parallel logic programming in parlo9 , 1987 .

[3] Zdravko Markov,et al. An approach to data-driven learning , 1991, FAIR.

[4] Kazunori Ueda,et al. Guarded Horn Clauses , 1986, LP.

[5] Lydia Sinapova,et al. A Network Parsing Scheme , 1990, AIMSA.

[6] Philippe Jorrand. Design and Implementaion of a Parallel Inference Machine for First Order Logic: An Overview , 1987, PARLE.

[7] Neil V. Murray. Completely Non-Clausal Theorem Proving , 1982, Artif. Intell..

[8] Christo Dichev,et al. Logical Inference in a Network Environment , 1990, AIMSA.

[9] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[10] Mark E. Stickel,et al. An Introduction to Automated Deduction , 1985, Advanced Course: Fundamentals of Artificial Intelligence.

[11] Zdravko Markov,et al. Prolog Based Graph Representation of Polyhedra , 1988, AIMSA.

[12] Ehud Shapiro,et al. Concurrent Prolog: A Progress Report , 1985, Computer.

[13] Christo Dichev,et al. Default Reasoning in a Network Environment , 1990, ECAI.

[14] Peter Henderson,et al. A lazy evaluator , 1976, POPL.

[15] Daniel P. Friedman,et al. CONS Should Not Evaluate its Arguments , 1976, ICALP.

[16] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.